бб писал(а):
Да, первая теорема Гёделя о неполноте прямо таки убивает атеизм. Что же она говорит? Что в формальной системе существует утверждение, которое нельзя ни доказать ни опровергнуть. Но это утверждение можно добавить к первоначальной системе аксиом и расширить эту систему, то бишь он рассматривал истинные формулы(утверждения).
Что же это получается, господа атеисты? Что всегда, при любом уровне познания, будут существовать истинны, которые находятся за пределами нашего опыта и которые мы не в состоянии ни доказать ни опровергнуть. А значит сказать, что наука это не доказала, поэтому мы это не признаём, будет не верно. Следовательно, можно применять другие методы познания отличные от научного.
Фигня.
В стандартной интерпретации гёделева неразрешимая формула A означает «не существует вывода формулы A», то есть утверждает свою собственную невыводимость в системе S. Таким образом, A является аналогом парадокса лжеца. Рассуждения Гёделя в целом очень похожи на парадокс Ришара. Более того, для доказательства существования невыводимых утверждений может быть использован любой семантический парадоксИ вот из того, что нельзя попереставлять символами ("нельзя ни доказать ни опровергнуть") из-за какого-то парадокса лжеца, вы "убиваете" атеизм. Ну смешно, Безможник, ч.с.