Старое обсуждение:Теорема Гёделя

---

Внимание! Это старая дискуссия, которая некогда велась на сайте Луркоморье. Пожалуйста, для продолжения обратитесь к актуальной: Обсуждение:Теорема Гёделя, которая проводится в стиле пленарного заседания.

---

А почему нельзя покрыть недостаток информации расширением набора аксиом?

Ну вот как-то доказывал поциент, что не поможет.

Автор, аксиомы не "принимаются на веру", точнее, не совсем грамотно так говорить. Хоть аксиомы и не доказываются напрямую, но выводятся из эмпирического опыта. А впоследствии правильность аксиоматики проверяется по подтвердившимся прогнозам теории. Поэтому естественные науки могут класть с прибором на все эти заморочки - у тебя все равно будет возможность хотя бы задним числом обосновать правильность своей аксиоматики (если она правильна, конечно).

ололо

Я нихуя не понял из этой статьи. Это из-за меня или статья кривая?

Запилить вторую теорему тоже.

Ибо кирпичи ГСМов зело хороши.

двачуэ. Потому что теорем о неполноте на самом деле две. Алсо, дарю тебе, анончик, интуитивное понимание второй теоремы о не полноте. Это — то же самое, что и первая теорема, но «изнутри» системы. Эрго можно потроллеть хрюсов всяким «может создать камень, который не сможет поднять» и прочем религиозным трололо.

Потрудитесь излагать ваши мысли яснее, блджад.

"Informally, Gödel's incompleteness theorem states that all consistent axiomatic formulations of number theory include undecidable propositions (Hofstadter 1989). This is sometimes called Gödel's first incompleteness theorem"; "A statement sometimes known as Gödel's second incompleteness theorem states that if number theory is consistent, then a proof of this fact does not exist using the methods of first-order predicate calculus. Stated more colloquially, any formal system that is interesting enough to formulate its own consistency can prove its own consistency iff it is inconsistent."