Анатолий Вассерман

Ещё кое-что к вопросу атеистичности теорем Гёделя

scioss@lj поднял в

ru_antireligion@lj тему доказательства невозможности бога на основе теорем Гёделя, ранее затронутую мною в "Дилогии атеизма". Лично мне наиболее существенными сторонами нового обсуждения представляются следующие:

1)

scioss@lj показал: та же логика рассуждений распространяется на представление не только о боге, но о любой конечной причине всех причин, а потому развитие науки бесконечно;

2) физические аксиомы отличаются от математических тем, что допускают опровержение непосредственным опытом; однако опыт способен лишь опровергнуть общий принцип, но не доказать его (хотя в ходе дискуссии Поппер упомянут в несколько странном контексте, так что у меня сложилось впечатление, что упомянувший его участник дискуссии сам не вполне проник в глубины понятия фальсифицируемости); следовательно, к любому набору физических утверждений, ещё не опровергнутому опытом, применима та же логика рассуждения, что и к математическим аксиомам; значит, доказательство несуществования конечной причины всех причин, основанное на теоремах Гёделя, охватывает реальный мир, вопреки расхожему мнению о непроходимой пропасти между ним и математикой.