https://t8.lbstr.eu/index.php?action=history&feed=atom&title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5%3A%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8FОбсуждение:Теорема Гёделя - История изменений2026-11-05T06:04:47ZИстория изменений этой страницы в викиMediaWiki 1.43.9https://t8.lbstr.eu/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8F&diff=37857&oldid=previmported>Ежи К.: переименовал Обсуждение портала:Ниасилили/Теорема Гёделя в Обсуждение:Теорема Гёделя2012-02-04T10:21:57Z<p>переименовал <a href="/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5_%D0%BF%D0%BE%D1%80%D1%82%D0%B0%D0%BB%D0%B0:%D0%9D%D0%B8%D0%B0%D1%81%D0%B8%D0%BB%D0%B8%D0%BB%D0%B8/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8F&action=edit&redlink=1" class="new" title="Обсуждение портала:Ниасилили/Теорема Гёделя (страница не существует)">Обсуждение портала:Ниасилили/Теорема Гёделя</a> в <a href="/index.php?title=%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%93%D1%91%D0%B4%D0%B5%D0%BB%D1%8F" title="Обсуждение:Теорема Гёделя">Обсуждение:Теорема Гёделя</a></p>
<p><b>Новая страница</b></p><div>А почему нельзя покрыть недостаток информации расширением набора аксиом?<br />
<br />
Ну вот как-то доказывал поциент, что не поможет.<br />
<br />
Автор, аксиомы не "принимаются на веру", точнее, не совсем грамотно так говорить. Хоть аксиомы и не доказываются напрямую, но выводятся из эмпирического опыта. А впоследствии правильность аксиоматики проверяется по подтвердившимся прогнозам теории. Поэтому естественные науки могут класть с прибором на все эти заморочки - у тебя все равно будет возможность хотя бы задним числом обосновать правильность своей аксиоматики (если она правильна, конечно).<br />
<br />
== ололо ==<br />
Я нихуя не понял из этой статьи. Это [[ГСМ|из-за меня]] или статья кривая?<br />
<br />
== Запилить вторую теорему тоже. ==<br />
<br />
Ибо кирпичи ГСМов зело хороши.<br />
: двачуэ. Потому что теорем о неполноте на самом деле две. Алсо, дарю тебе, анончик, интуитивное понимание второй теоремы о не полноте. Это — то же самое, что и первая теорема, но «изнутри» системы. Эрго можно потроллеть хрюсов всяким «может создать камень, который не сможет поднять» и прочем религиозным трололо.<br />
:: Потрудитесь излагать ваши мысли яснее, блджад.<br />
::: "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."</div>imported>Ежи К.