※ざっくり言うと※
・簡単な?数式で神の存在が証明された
・どこが簡単なのか小一時間問い詰めたい
・神は完全である→もし神が完全なら神は存在する→故に神は存在する(デカルト)

科学者たちは、「高次元のパワー」が存在することを示唆する数学者の理論を「証明」した上に、「神」の存在を確認したそうです。

2人の科学者によれば、複雑な数学的方程式を計算した結果、そこに1つの力が存在するかもしれないことが証明されたそうです。

クルト・ゲーデルは1941年頃、様相論理(MODAL LOGIC)に基づき、長くて複雑な理論を作りました。ゲーデルの存在論的証明と呼ばれ、正と負の特性の概念を前提とし、それぞれの正の特性が、負の特性を持たない対象の必要な存在を証明するものです。

ゲーデルの理論は非常に洗練された数学的方程式に基づいていますが、歴史上のほとんどのものと同じく、かなり昔の「モデル」にも基づいています。

ゲーデルの存在論的証明は、1093年からカンタベリー聖堂の大司教であった聖アンセルム(1033-1109)の死までの、神の存在に対する存在論的議論の現代版である。

要約すると、彼の主張は次のようになっています。「定義上、神はそれ以上のものを想像できないものです。もしそのような存在がいなければ、より大きな存在、すなわちそれ以上のものは想像できないものとなりますが、存在するものは想像できます。しかし、これは不条理なことです。それ以上のもので、想像できないものよりも大きいものはありません。ですから、それ以上のものが想像できない存在、すなわち神は存在します。

本質は、神よりも大きな力が想像できないことであり、もし彼または彼女が概念として信じられているなら、彼または彼女は現実に存在することができます。」

上記のような証明の多くは、「神」という概念を最大の財産とすることに基づいています。一方、ゲーデルの証明は、最小限の議論を使用しようとするので、神を特徴付ける正の特性の「本質」に焦点を当てています。要は、「神以上の存在は認識できず、その概念を信じれば、現実に神は存在することが可能」ということ。
ゲーデルのオントロジカル論証(Anderson、1990年)

定義1: x は神のようなものであり、 x が本質的な性質を持ち、正の性質

定義2: Aは の本質である X 場合にのみ、すべてのプロパティのための場合は B、 xが 持っている Bの 場合は、必ずしもとする場合にのみ 、Aが 伴う Bを

定義3: xは 場合に存在するとのあらゆるエッセンス場合にのみ、必ずしも xは 、必ずしも例示されています

公理1:プロパティが正の場合、その否定は正ではありません。

公理2:すべての財産は、厳密に暗示されているが、正の財産はプラスである

公理3:神に似ているという性質は肯定的です

公理4:プロパティが正の場合、それは必ず正である

公理5:必要な存在はポジティブです

公理6:任意のプロパティ Pについて、 P が正である場合、必然的にPは正である。

定理1:性質が正の場合、それは一貫している、すなわち、おそらく例示される。

推論1:神のような性質は一貫しています。

定理2:何かが神のようなものなら、神のような性質はその事の本質です。

定理3:必然的に、神のような性質が実証される。

おわかりいただけただろうか?

2人のコンピュータ科学者は、このような複雑な方程式が実際に足し合わされ、神が現実であることを証明しているかもしれません。

また、彼らが直接神の存在を証明するか否かを証明しようとせず、彼らのコンピュータの力だけを示していると主張するひともいます

シュピーゲル・オンラインに語ったベルリン・フリー大学のクリストフ・ベンツミュラー(ChristophBenzmüller)氏は、ウィーン工科大学ブルーノ・ウォルツェンノーエル・パレオ(Bruno Woltzenlogel Paleo)氏は言います。

「ゲーデル氏のこの議論から、標準的なノートパソコンを使いわずか数秒で自動的に証明することができます。」

「私はそれがこのような大きな公益を生み出すのかどうかはわかりませんでしたが、【ゲーデルの存在論的証拠】は、数学や人工知能がわからないひとにとっても良い例でした。」

「ちょっとした定理で6つの公理を扱っているだけなので、非常にコンパクトであり、とてもわかりやすいものです。」

「同様のロジックを使用し、他のものも証明できるかもしれません。」

そうはいっても、ゲーデルの存在論的証明の定式化は、多くの無神論者に勝つことはまずありません。また、本当の信者を慰めることもないのです。