Alex Vinokur (alex_vinokur) wrote,
Alex Vinokur
alex_vinokur

*** (Думали - через года, через годы ли)

Думали - через года, через годы ли -
Счастье не за горами.
Но после второй теоремы Гёделя
Бросили строить храмы.

Нам стало понятно, что математика
Тоже несовершенна.
Значит, должны исходить из прагматики:
Истина - то, что ценно.

Можно ли верить тому, что доказано,
Если всё ненадёжно?
Вряд ли. Но веровать всё же обязаны,
А иначе тревожно.

2017

Примечание. Вторая теорема австрийского математика Курта Гёделя, доказанная им в 1930 году, утверждает следующее:
«Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна»
«Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)»
https://elementy.ru/trefil/21142/Teorema_Gyodelya_o_nepolnote

Говоря более простыми словами - математика несовершенна.


This entry was originally posted at http://alex-vinokur.dreamwidth.org/514421.html. Please comment there using OpenID.
Tags: 2017, about--math, about-godel, poetry, поэзия, стихи, стихи-2017, стихотворения
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