Смаллиан Р.: Вовеки неразрешимое: Путь к Геделю через занимательные загадки
Скачать книгу (размер 1 544 Kb , формат fb2, страниц 304) Аннотация: Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вере и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет…