.

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

Автор Александр Винокур
Избранное Удалить
В избранное!

Категория

Блог Алекса

Содержание

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

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

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


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

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

 

Дата публикации

Вторник, 01 августа 2017

Последнее изменение

Вторник, 01 августа 2017

Комментарии (0)

Оставить комментарий

Вы комментируете как Гость.

Поиск туристических объектов


Поиск статей

Поиск блюд

Сейчас в сайте