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

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

Журнал "Самиздат": [Регистрация] [Найти] [Рейтинги] [Обсуждения] [Новинки] [Обзоры] [Помощь]
Peклaмa:
Peклaмa:

 Ваша оценка:

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

РЕКЛАМА: популярное на LitNet.com  
  К.Лестова "Без меня на мне женились" (Городское фэнтези) | | М.Старр "Будь моим тираном" (Современный любовный роман) | | Е.Горская "Единственная" (Городское фэнтези) | | Ю.Рябинина "Острые грани любви" (Короткий любовный роман) | | Д.Коуст "В объятиях Снежного Короля" (Романтическая проза) | | В.Десмонд "Золушка для миллиардера " (Романтическая проза) | | Л.Сокол "Наглец" (Романтическая проза) | | Т.Блэк "Статус: в поиске" (Короткий любовный роман) | | К.Амарант "Будь моей судьбой" (Любовное фэнтези) | | Е.Флат "Аукцион невест" (Попаданцы в другие миры) | |
Связаться с программистом сайта.

Новые книги авторов СИ, вышедшие из печати:
Д.Смекалин "Ловушка архимага" Е.Шепельский "Варвар,который ошибался" В.Южная "Холодные звезды"

Как попасть в этoт список
Сайт - "Художники" .. || .. Доска об'явлений "Книги"