Alex Vinokur (alex_vinokur) wrote,
Alex Vinokur
alex_vinokur

Category:

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

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

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments