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

  • *** (Феномен архитектурный)

    Феномен архитектурный - Дому триста с лишним лет. Но историей сумбурной Не оборван жизни след. Обрамлённый так узорно, Безмятежен этот мир. В…

  • *** (Снег идёт и тает)

    Снег идёт и тает, Тает сказка сна. Девочка мечтает, Смотрит из окна. Локотки устали. Где же чудеса? И полны печали Детские глаза. 1971-2021…

  • *** (Читая кольца годовые)

    Читая кольца годовые На срезе дерева-бродяги, Отметим точки болевые С избытком засухи и влаги. Вину с хронометров снимаем. И, жажду утоляя…

  • 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