Винокур Александр : другие произведения.

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

Самиздат: [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь|Техвопросы]
Ссылки:
Школа кожевенного мастерства: сумки, ремни своими руками
 Ваша оценка:

  Думали - через года, через годы ли -
  Счастье не за горами.
  Но после второй теоремы Гёделя
  Бросили строить храмы.
  
  Нам стало понятно, что математика
  Тоже несовершенна.
  Значит, должны исходить из прагматики:
  Истина - то, что ценно.
  
  Можно ли верить тому, что доказано,
  Если всё ненадёжно?
  Вряд ли. Но веровать всё же обязаны,
  А иначе тревожно.
  
  Примечание. Вторая теорема австрийского математика Курта Гёделя, доказанная им в 1930 году, утверждает следующее:
  "Всякая система математических аксиом начиная с определенного уровня сложности либо внутренне противоречива, либо неполна"
  "Логическая полнота (или неполнота) любой системы аксиом не может быть доказана в рамках этой системы. Для ее доказательства или опровержения требуются дополнительные аксиомы (усиление системы)"
  https://elementy.ru/trefil/21142/Teorema_Gyodelya_o_nepolnote
  
  Говоря более простыми словами - математика несовершенна.
  
 Ваша оценка:

Связаться с программистом сайта.

Новые книги авторов СИ, вышедшие из печати:
О.Болдырева "Крадуш. Чужие души" М.Николаев "Вторжение на Землю"

Как попасть в этoт список

Кожевенное мастерство | Сайт "Художники" | Доска об'явлений "Книги"