No.3ベストアンサー
- 回答日時:
> 論理的には正しいとも間違っているとも証明できないことがらがある
これくらいで十分だと思いますね.
もうちょっといえば
「数を扱える無矛盾な体系には論理的に真偽が証明できないものがある」
「数を扱える無矛盾な体系は,自身の無矛盾性を証明できない」
という感じかな.
これ以上になると話が大きくなりすぎる.
難しい証明ではないんだけども,話が大きいので
ついていくのが大変なんですよね。。この定理の証明.
ちょうど結城浩さんの数学ガールシリーズでゲーデルものが
でてるし,読んでみるのもいいかもしれません.
不完全性定理の証明もしてるようです.
で・・・
>矛盾がないようにどんなに公理を定めたとしても,正しいとか間違っているとか決められない事柄がある,というのもゲーデルの主張でしょう。
「自然数論を含む」というと「無矛盾だ」ということが重要.
ぶっちゃけた話,数を含まない体系だと
「ゲーデルの完全性定理」なんてものもあって
話はちょっとちがってくるのでややこしい.
No.2
- 回答日時:
#1の人が言ってることは,ちょっと気にかかります。
> 「法律の体系の中では、法律(の体系)自身が正しいということを証明できない」
ここで正しいと言うのは矛盾がないという意味だと思えば気になりませんが,それだからと言って
> 正しいと定められたこと(=公理)を前提にした上で、個々の事柄を正しいとか間違っているとか、という証明はできます。
これはちょっとねえ。矛盾を含むようなことを前提にすれば別ですが,矛盾がないようにどんなに公理を定めたとしても,正しいとか間違っているとか決められない事柄がある,というのもゲーデルの主張でしょう。
> 論理的には正しいとも間違っているとも証明できないことがらがある
こんな風に理解しておけば,まあ,いいんじゃないだろうか。
No.1
- 回答日時:
こんばんは。
私流に、わかりやすいつもりで一言で表すと、
「法律の体系の中では、法律(の体系)自身が正しいということを証明できない」
というようなイメージです。
>>>この世の中には、論理的には正しいとも間違っているとも証明できないことがらがあるということなのでしょうか。
正しいと定められたこと(=公理)を前提にした上で、個々の事柄を正しいとか間違っているとか、という証明はできます。
たとえば、「人殺しは悪いことだ」と「悪いことをした人は刑に処する」という前提のもとでは、「殺人者を刑に処する」ということは間違っていません。
しかし、「人殺しは悪いことだ」などを含むルールの体系自身が正しいかどうかは証明できません。
ご参考になりましたら幸いです。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 決定論・非決定論と量子乱数発生器の関係についての質問です 8 2022/07/29 13:36
- 哲学 私の理論 存在性理論の説明① 1 2022/07/17 15:12
- 物理学 これを 3 2022/11/19 15:41
- 転職 宗教と天文学・宇宙物理学の宇宙観について 3 2023/04/07 19:26
- 物理学 テキトーな世界でも相対性理論は成立しますか。 3 2023/02/21 19:57
- 物理学 4次元やら まだ見ぬ宇宙やら 物理やら 証明された時点で、それが証明になる…やら。 せもそも 宇宙を 4 2023/01/13 22:55
- 物理学 宇宙は無限か有限か? 4 2023/05/28 13:35
- 環境・エネルギー資源 SDGsの本質は人間の完全管理!異論ありますでしょうか? 6 2022/12/07 10:16
- 物理学 『物理とは』 5 2022/11/02 06:19
- その他(応用科学) 現実世界は固定的に実在すると信じている人はいますが、実際には、量子力学でのハイゼンベルクの不確定性原 6 2023/02/25 02:10
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
証明終了の記号。
-
キリスト教は、神がいる証明出...
-
数学の証明問題で、「証明終了」...
-
「証明証」と「証明書」はどう...
-
無理数って二乗しても有理数に...
-
lim(n→∞)an=-∞ の時、lim(n→∞)...
-
数学の「証明」のときなどの接...
-
血がつながっていない父親と結...
-
3,4,7,8を使って10を作る
-
婿養子に入ったのに出て行けと...
-
数列 n^(1/n) が収束することを…
-
婿養子です、妻と離婚して妻の...
-
7x²-9y²=391を満たす整数解は...
-
素数の積に1を加算すると素数で...
-
0.999999999・・・=1
-
無理数には、任意の有限個の数...
-
数学的帰納法以外の解き方
-
再婚、奨学金
-
直角三角形の性質
-
証明です
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明終了の記号。
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
夫が亡くなった後の義理家族と...
-
(4^n)-1が3の倍数であることの...
-
松坂和夫著「集合・位相入門」...
-
じゃらんで旅行予約をしたので...
-
素数の性質
-
素数の積に1を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報