ログインしてさらにmixiを楽しもう

コメントを投稿して情報交換!
更新通知を受け取って、最新情報をゲット!

戦闘的無神論者同盟コミュの神の非存在証明

  • mixiチェック
  • このエントリーをはてなブックマークに追加
http://homepage3.nifty.com/logical/
ゲーデルと言えば『不完全性定理』が有名であるが、1991年にパトリック・グリムが不完全性定理を用いて「神の非存在証明」を行った。以下のような手法である。

【定義】全ての真理を知る無矛盾な存在を神と呼ぶ。
【証明1】神は全ての真理を知っているので、自然数論も知っており無矛盾である。
【証明2】不完全性定理より、特定の多項方程式に関して無矛盾で真理を決定できない物が存在する。
【証明3】全ての真理を知る事は不可能である。
【グリムの定理】神は存在しない。

Patrick Grim
SUNY Distinguished Teaching Professor. Department of Philosophy. SUNY at Stony Brook
http://www.pgrim.org/

コメント(0)

mixiユーザー
ログインしてコメントしよう!

戦闘的無神論者同盟 更新情報

戦闘的無神論者同盟のメンバーはこんなコミュニティにも参加しています

星印の数は、共通して参加しているメンバーが多いほど増えます。