x, y, z

Поиск > Комментарии

Запрос:
Автор:
Номер публикации:
Номер раздела:
Сортировать:
Комментарии: 1
Теорема Гёделя о неполнотеМатематика
26 Мая 2019 10:52:38
Дед Бузюн

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

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

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

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

Господа философы! Как было бы хорошо, если бы вы занимались своими делами и не лезли в математику, физику и другие науки. Мы как-нибудь без вас разберёмся.