May 17th, 2021

Sea-2014

*** (Математика несовершенна)

Математика несовершенна -
Гёдель беспощадно доказал.
Сам вопрос о том, что значит "верно",
Снял с повестки. Утешать не стал.
 
И теория нечётких множеств
Говорит: прямых решений нет.
Буйство силлогических художеств 
Только ширма - чтобы скрыть ответ.
 
Кто-нибудь когда-нибудь напишет:
Жизнь - с окрестным миром монолог,
Потому что по закону свыше
Абсолют конкретен. Всё 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.