середу, 4 червня 2014 р.

Чи є Бог Даосом? Реймонд М. Смалліан. Переклад.

Маленька передмова до перекладу (але її можна сміливо пропустити; ви помітите, де починеться текст).
Перша книга Реймонда М. Смалліана, з якою мені пощастило познайомитись називається “Як називається ця книга”. Виявилось, що доволі недорогий трюк з назвою - це лише на перший погляд доволі недорогий трюк з назвою. Книга - збірка логічних задач і, одночасно, вступ до тієї частини математики, яку охоплює теорема Гьоделя про неповноту. Власне, назва книги - один з прикладів того, як діє теорема Гьоделя.
Зацікавившись задачами, я захотів дізнатись про Смалліана більше. Виявилось, що професор математики є також