x, y, z

Теорема Гёделя о неполноте ≫ Комментарии

# 26 Мая 2019 10:52:38
Дед Бузюн

Теорема Гёделя о неполноте.

Так вот, Гёдель попросту доказал следующее удивительное свойство любой системы аксиом:

«Если можно доказать утверждение A, то можно доказать и утверждение не-A».
Это чушь. Гёдель ничего подобного не доказывал, и вообще такое свойство формальной теории означает её противоречивость.
Итак, формулировка первой, или слабой теоремы Гёделя о неполноте:

«Любая формальная система аксиом содержит неразрешенные предположения».
Формулировка неправильная.

Господа философы! Как было бы хорошо, если бы вы занимались своими делами и не лезли в математику, физику и другие науки. Мы как-нибудь без вас разберёмся.
*Имя:
Заголовок:
[tex-clear] [tex-help] [ted]
  • formulas >

*Вычислите
Captcha
Отправляя данные, вы соглашаетесь с Правилами сайта.