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/10(木)】
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
中2です笑 証明の問題がどうし...
-
関係と関係性の違いって何ですか?
-
ミラー指数:面間隔bを求める公...
-
原理と理論の違いを教えてくだ...
-
計算式について教えてください。
-
理論と原理の違い
-
認定書と証明書の違い
-
a>b>0 c>d>0 ac>bdの証明のや...
-
有限個存在するとはどういうことか
-
証明書の開封無効
-
a,b,cを整数とする。 a^2+b^2=c...
-
現代文をやっている高校3年です...
-
同時に真であり偽である命題は...
-
何で√2はm/nと表せるのですか?...
-
【腰が低くて穏やかで無害っぽ...
-
キノの旅「・・・・あなたが正...
-
妊娠証明書について 専門学校に...
-
大麻吸うとIQって下がるんですか?
-
証明 英語
-
証明終了時の"Q.E.D."は何の略...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
中2です笑 証明の問題がどうし...
-
貧乏神は実際に存在するのでし...
-
計算式について教えてください。
-
関係と関係性の違いって何ですか?
-
認定書と証明書の違い
-
斬首とか戦国時代の人すごくない?
-
証明書の開封無効
-
日本で神道と仏教はどちらが先...
-
理論と原理の違い
-
原理と理論の違いを教えてくだ...
-
validation cohort develpmen...
-
証明の終わりは、「よって題意...
-
平行四辺形ABCDにおいて、辺BC...
-
x>0かつy>0の否定 わかる方教え...
-
運動方程式ma=Fは証明できますか?
-
妊娠証明書について 専門学校に...
-
数学の逆裏対偶の、「裏」と、...
-
ミラー指数:面間隔bを求める公...
-
数学の質問です
-
ma=Fは数学で証明されていない?
おすすめ情報