09/08/26 19:07:39
唯一絶対の神なんかを確信する根拠は乏しいとは思うけどな。
不完全性定理とは関係ないべ。
自然数論の世界で、
「ある公理系が無矛盾ならば、証明も否定もできない命題が構成可能」
「ある公理系が無矛盾ならば、その無矛盾性はその公理系では証明できない」
ってだけだろ。
神様は、有限の公理と論理だけからできていない。
神様は、内部に矛盾も抱える存在である。
とか言われれば、それで無関係じゃん。
そもそも数学者だって人間なんだから矛盾した思考をすることが
できるだろ。それに気付ける能力にも優れているんだろうけどさ。
不完全性定理関係で言えば、
>128,131,132 の議論の方が面白かった。