Voveki nerazreshimoe. Put k Gedelju cherez zanimatelnye zagadki

Вовеки неразрешимое. Путь к Геделю через занимательные загадки

• Tekijä(t): Smallian R.
• Kieli: Venäjä
• Kustantaja: Kanon
• Ilmestymisvuosi: 2021
• Sidosasu: Kova kansi
• Sivumäärä: 304
• ISBN: 978-5-88373-682-6

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