Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
Найти похожие
на AliExpress
в Джум
+
Книга "Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан"
Авторы: Рэймонд Смаллиан
Издатель: Лори
Год издания 2018
Страниц: 312
ISBN: 978-5-8558-2335-6
Описание
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Характеристики
- Наименование Вовеки разрешимо Головоломное руководство по Геделю (м) Смаллиан
- Категория Книги/Нехудожественная литература/Философия/Отдельные философские науки
- Авторы Рэймонд Смаллиан
- Издатель Лори
- Год издания 2018
- Всего страниц 312
- ISBN 978-5-8558-2335-6
- Способ получения Доставка, самовывоз
- Тип Книга
- Продавец Читай-город
- Актуальность 05.11.2026
Обновлено: 05.11.2026
Еще в этой категории
Другие интернет-магазины
