No.6ベストアンサー
- 回答日時:
追伸
すこし言い換えて、
(1)神は存在するというということが表現可能で無矛盾であれば、その無矛盾の証明はその体系内で証明できない。
(2)神は存在しないというということが表現可能で無矛盾であれば、その無矛盾の証明はその体系内で証明できない。
この定理は読み替えれば(1)(2)の前文が矛盾すればすべて証明できるということでしょう。
(1)神は存在する(真)という命題が矛盾(偽)ならすべて証明できる
(2)神は存在しない(偽)という命題が矛盾(偽)ならすべて証明できる
(1)神は存在するを(真)にしたときのみ、神は存在しない(偽)が無矛盾を証明するというパラドックスじゃないかな。
(2)はその逆で神は存在しない(偽)の偽(神は存在する)が無矛盾を証明することになる。へんだけどね。
「この定理は読み替えれば(1)(2)の前文が矛盾すればすべて証明できるということでしょう」
なるほど、確かにそうなりますね。それは正に「矛盾する世界だからこそ、神が存在する」といったところでしょうか。
実はこちらの回答を見た後で本の問題をもう一度見直したのですが、「あなたが神の存在を信じるときに限って、神は存在しない」という問題は、発言者(この本ではスマリヤン教授という人物)と言われた当人との相手の言う事を信じれば、自分が矛盾するという相互言及的なパラドックスになっているようです。そうやってあらためて見直してみると言わんとしている事が分かってきました。回答ありがとうございました。
No.5
- 回答日時:
ゲーデルの不完全性定理は、
「自然数論の公理系が計算可能で無矛盾ならば、その無矛盾の証明はその体系内で証明することができない」ということを証明しているのですね。
神は存在するという公理系が計算可能で無矛盾ならば、その無矛盾の証明はその体系内で証明することができない。
逆も真ですね
神は存在しないという公理系が計算可能で無矛盾ならば、その無矛盾の証明はその体系内で証明することができない。
どちらも証明できないということです。
自分の質問に当てはめると、「神の存在を信じるときに限って(神は存在するという公理系が計算可能で無矛盾ならば)」「神は存在しない(その無矛盾の証明はその体系内で証明することができない)」であり、その逆に「神の存在を信じないときに限って(神は存在しないという公理系が計算可能で無矛盾ならば)」「神は存在する(その無矛盾の証明はその体系内で証明することができない)」という解釈とすればいいのでしょうか?
そのまま「神が存在するか、しないかはどちらも証明できない」というパラドックスだとすると「Aを信じる時に限ってAではない」の「Aではない」が「Aとは言い切れない(証明できない)」になってしまい全体が「真」「偽」とならないのですが、うーん……。
No.4
- 回答日時:
神は、無矛盾で完全な実存である。
あなたは、矛盾ある不完全な存在である。
矛盾ある不完全な存在が無矛盾で完全な実存を肯定したとき、無矛盾で完全な実存は肯定されない。
矛盾ある不完全な存在が無矛盾で完全な実存を否定したとき、無矛盾で完全な実存は否定されない。
(^◇^;)>ナンチテ
不完全なものが完全なものを肯定したとしてもそれは不完全であるという、神の存在証明のパラドックスですね。この事は理解できるのですが……。
質問の命題は「あなた(当人)」が無矛盾なものと信じた場合のパラドックスで神の部分が他のAでも成り立つ事「Aを信じる時に限ってAではない」の部分が理解出来ずにいます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
中2です笑 証明の問題がどうし...
-
自己の存在を自己証明できますか?
-
計算式について教えてください。
-
関係と関係性の違いって何ですか?
-
ミラー指数:面間隔bを求める公...
-
認定書と証明書の違い
-
文書に於ける、『以上』『以下...
-
原理と理論の違いを教えてくだ...
-
理論と原理の違い
-
数学の逆裏対偶の、「裏」と、...
-
日本で神道と仏教はどちらが先...
-
√(平方根)は身の回りでどのよう...
-
証明の終わりは、「よって題意...
-
時空乱流って本当にありますか?
-
運動方程式ma=Fは証明できますか?
-
進化論は事実ですか?論だから...
-
整数m,nについて 「m2乗+n...
-
ma=Fは数学で証明されていない?
-
証明書の開封無効
-
小学生でジュニアシートやチャ...
おすすめ情報