Теорема Гёделя, как и энтропия, вошла в общественное сознание в виде
базовой метафоры. Вряд ли можно это изменить - можно только находить в
этом маленькие радости. Ниже перевод фрагментов забавного текста Roger Engfuge: Неосуществленная проповедь 1327 года с комментариями логика из 1931 г. 1. Проповедь начинается словами «Возлюбленные дети, говорю вам: Бог - это предложение, который не может доказать самого себя.» Крестьяне благоговейно кивают, не подозревая, что их только что втянули в метаматематику. 2. Экхарт продолжает «В глубине души живет неразрешимое ядро. Не называйте его Богом. Не называйте его не-Богом. Назовите его: аксиома без свойств.» Приор падает в обморок. Молодой монах неправильно списывает 'аксиома' и позже основывает схоластику. 3. Гёдель фигурирует как примечание. Путешествующий во времени логик бормочет: «В этом как раз заключается суть. Каждая система содержит в себе свою бездну.» Экхарт улыбается: «Я называю эту бездну: Божество.» Гедель отмечает: «Интересно. М