Найти в Дзене
Евгений Рудный

Майстер Экхарт как гёделианец

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

Теорема Гёделя, как и энтропия, вошла в общественное сознание в виде
базовой метафоры. Вряд ли можно это изменить - можно только находить в
этом маленькие радости. Ниже перевод фрагментов забавного текста
Roger Engfuge:

Неосуществленная проповедь 1327 года с комментариями логика из 1931 г.

1. Проповедь начинается словами «Возлюбленные дети, говорю вам: Бог - это предложение, который не может доказать самого себя.» Крестьяне благоговейно кивают, не подозревая, что их только что втянули в метаматематику.

2. Экхарт продолжает «В глубине души живет неразрешимое ядро. Не называйте его Богом. Не называйте его не-Богом. Назовите его: аксиома без свойств.» Приор падает в обморок. Молодой монах неправильно списывает 'аксиома' и позже основывает схоластику.

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

6. Сатирическая кульминация. Экхарт: «Бог - это не существо. Бог - это утверждение: 'Я недоказуем, но необходим.'» Гедель: «Это моя теорема нумер два.» Экхарт: «Нет, брат. Это моя теорема нумер нуль.»

7. Эпилог. Церковь осуждает Экхарта. Гедель пишет статью. Оба позже будут неправильно поняты философами. Крестьяне идут домой и рассказывают: «Проповедник сказал, что Бог - это неполный алгоритм». Так начинается современная метафизика.

К теме: Кантор: Бесконечность и теология