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