КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Смаллиан Р. Вовеки неразрешимое. Путь к Геделю через занимательные загадки
Id: 174812
 
1799 руб.

Вовеки неразрешимое. Путь к Геделю через занимательные загадки
Smallyan Raymond "Forever Undecided. A Puzzle Guide to Godel". (In Russian).

2013. 304 с. Твердый переплет. ISBN 978-5-88373-081-7.

Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.