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

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