"Книга Рэймонда Смаллиана ""Вовеки неразрешимое. Путь к Геделю через занимательные загадки"" представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте. Книга Рэймонда Смаллиана посвящается всем непротиворечивым мыслителям, которые никогда не смогут узнать, что они непротиворечивы. Возможно ли для рационального человека находиться в таком состоянии, когда он не может поверить в свою соб­ственную непротиворечивость, не теряя в то же время этой самой непротиворечивости? Это одна из главных тем данной книги. Она смоделирована на знаменитом открытии Курта Геделя (так называемая Вторая Теорема о Неполно­те), что любая достаточно сильная непротиворечивая ма­тематическая система, известная как элементарная арифме­тика, подвержена удивительному ограничению, суть кото­рого в том, что она не может доказать своей собственной непротиворечивости" Это и многое другое вы найдете в книге Вовеки неразрешимое. Путь к Гегелю через занимательные загадки (М. Смаллиан Рэймонд)