*** (Математика несовершенна)
Математика несовершенна -
Гёдель беспощадно доказал.
Сам вопрос о том, что значит "верно",
Снял с повестки. Утешать не стал.
И теория нечётких множеств
Говорит: прямых решений нет.
Буйство силлогических художеств
Только ширма - чтобы скрыть ответ.
Кто-нибудь когда-нибудь напишет:
Жизнь - с окрестным миром монолог,
Потому что по закону свыше
Абсолют конкретен. Всё ad hoc.
2021
-------------------
Примечание. Вторая теорема австрийского математика Курта Гёделя, доказанная им в 1930 году, утверждает следующее:
«Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна»
«Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)»
https://elementy.ru/trefil/21142/Teorema_Gyodelya_o_nepolnote
Говоря более простыми словами - математика несовершенна.
This entry was originally posted at https://alex-vinokur.dreamwidth.org/691290.html. Please comment there using OpenID.