No.3ベストアンサー
- 回答日時:
> 論理的には正しいとも間違っているとも証明できないことがらがある
これくらいで十分だと思いますね.
もうちょっといえば
「数を扱える無矛盾な体系には論理的に真偽が証明できないものがある」
「数を扱える無矛盾な体系は,自身の無矛盾性を証明できない」
という感じかな.
これ以上になると話が大きくなりすぎる.
難しい証明ではないんだけども,話が大きいので
ついていくのが大変なんですよね。。この定理の証明.
ちょうど結城浩さんの数学ガールシリーズでゲーデルものが
でてるし,読んでみるのもいいかもしれません.
不完全性定理の証明もしてるようです.
で・・・
>矛盾がないようにどんなに公理を定めたとしても,正しいとか間違っているとか決められない事柄がある,というのもゲーデルの主張でしょう。
「自然数論を含む」というと「無矛盾だ」ということが重要.
ぶっちゃけた話,数を含まない体系だと
「ゲーデルの完全性定理」なんてものもあって
話はちょっとちがってくるのでややこしい.
No.2
- 回答日時:
#1の人が言ってることは,ちょっと気にかかります。
> 「法律の体系の中では、法律(の体系)自身が正しいということを証明できない」
ここで正しいと言うのは矛盾がないという意味だと思えば気になりませんが,それだからと言って
> 正しいと定められたこと(=公理)を前提にした上で、個々の事柄を正しいとか間違っているとか、という証明はできます。
これはちょっとねえ。矛盾を含むようなことを前提にすれば別ですが,矛盾がないようにどんなに公理を定めたとしても,正しいとか間違っているとか決められない事柄がある,というのもゲーデルの主張でしょう。
> 論理的には正しいとも間違っているとも証明できないことがらがある
こんな風に理解しておけば,まあ,いいんじゃないだろうか。
No.1
- 回答日時:
こんばんは。
私流に、わかりやすいつもりで一言で表すと、
「法律の体系の中では、法律(の体系)自身が正しいということを証明できない」
というようなイメージです。
>>>この世の中には、論理的には正しいとも間違っているとも証明できないことがらがあるということなのでしょうか。
正しいと定められたこと(=公理)を前提にした上で、個々の事柄を正しいとか間違っているとか、という証明はできます。
たとえば、「人殺しは悪いことだ」と「悪いことをした人は刑に処する」という前提のもとでは、「殺人者を刑に処する」ということは間違っていません。
しかし、「人殺しは悪いことだ」などを含むルールの体系自身が正しいかどうかは証明できません。
ご参考になりましたら幸いです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
素数の性質
-
数学の「証明」のときなどの接...
-
婿養子です、妻と離婚して妻の...
-
(4^n)-1が3の倍数であることの...
-
婿養子に入ったのに出て行けと...
-
成人した後両親が離婚し別の人...
-
3,4,7,8を使って10を作る
-
中学校の2年生に仮定と結論を...
-
数学的帰納法の質問
-
証明終了の記号。
-
正解が一つとは限らない数学の...
-
σ集合体の証明
-
なぜ独身だと養子が持てないの...
-
親の再婚相手との問題です。私...
-
47歳、母親の再婚を子供の立場...
-
夫が亡くなった後の義理家族と...
-
素数の平方根は無理数である。
-
明治期の戸籍、養子につきまして
-
数学の証明問題で、「証明終了」...
-
大学の二次試験で・・・
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報