No.1ベストアンサー
- 回答日時:
数学の定理です.「主張」とか「哲学」ではありません.
「自分自身の正しさは,自分で証明できない」という部分が一人歩きして,何か哲学的なものと勘違いされる場面も多々ありますが,不完全性定理そのものはまったく数学の「定理」です.
もうすこし正確に言うと,
「自然数論を含む,無矛盾な体系が無矛盾である証明は存在しない.」
ということになるかな.
まず,「体系」とは有限個の公理から出発する数学などの体系です.公理は無条件に「真」であることが要請されている命題です.
「定理」とは公理から,真であることが証明される命題です.
「証明」とは,公理に対して推論規則を有限回あてはめる推論の羅列です.
「無矛盾」とは公理から,ある命題とその否定命題の両方が証明されないことです.
「完全性」とはトートロジーが証明可能なことです.
トートロジーとは恒真命題のことです.
「不完全」とはトートロジーの証明が存在しないことです.
「自然数論」とは普通はペアノの・・・
・・・・・
(以下略)
ネットで調べたくらいでは,正確な理解は無理です.
たとえば,関数f(x)がx=a で連続であることの定義を表す論理式は
∀ε∃δ∀x(ε>0 → (δ>0 → (|x-a|<δ → |f(x)-f(a)|<ε)))
ですから,不連続とは
∃ε∀δ∃x(ε>0 & δ>0 & |x-a|<δ & |f(x)-f(a)|≧ε))
なんていう,論理記号の機械的な扱いをまず慣れてから,数理論理学の基礎を学べば,すぐに不完全整理に到達できますよ.
論理記号が体に染み付くまでに扱えるようになるには,数学科で2年間はみっちり解析学,線形代数学,群論,関数論,微分幾何,・・・といったことをやれば何とかなるかな.(機械的な操作だけを覚えても付け焼刃だから使い物にならない)
うわべだけの理解を目指すなら,大きな書店の数学書のコーナーに「不完全性定理」というタイトルがいくつかありますから,どれか1冊マスターしてください.
まぁ,ネットだけで理解できたらかなりの天才ですから,是非その道を究めてください.
不完全性定理の証明のアイディアは,無限個のトートロジーを並べたときに,「対角線論法」を使うことです・・・ってわかんないよなぁ.
対角線論法とは実数は自然数より濃度が大きいことを証明するカントール(だっけ?)のアイディアです.
濃度とは有限集合の場合は要素の個数を表します.
集合とは・・・・
きりがないのでやめます.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 日本語 「若干」が「多い」という意味で使われる理由 11 2023/04/19 15:00
- 会社・職場 こんな理不尽で意味不明な社風はあるあるなんでしょうか? 6 2023/01/17 07:31
- クラシック 楽譜の読み方についての質問 10 2022/09/07 15:00
- 物理学 決定論・非決定論と量子乱数発生器の関係についての質問です 8 2022/07/29 13:36
- 政治学 国民主権はあり得ますか? そもそも国民という概念に実態がない。日本に国民は1億人いるが一億人が完全に 1 2022/11/30 20:22
- 心理学 高校の総合学習の題材について 1 2023/07/17 20:56
- 数学 無理数の数字の組み合わせ。無限の意味について 5 2022/05/28 22:53
- 妊娠 妊娠希望ではないです。 知識不足なため、ご意見いただけると幸いです。 前回の生理開始日4/16 排卵 3 2023/05/20 18:59
- その他(法律) 伊勢のマンションで欠陥によりコンクリート脱落があったようですが、時効について 2 2023/02/19 13:13
- 英語 仮定法で準否定を表現すると完全否定になる理由等について 4 2023/04/24 18:12
おすすめ情報
デイリーランキングこのカテゴリの人気デイリー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を加算すると素数で...
-
図形の証明は、日常で役立ちま...
-
なぜ独身だと養子が持てないの...
-
大学の給付型奨学金について 現...
-
再婚、奨学金
-
正解が一つとは限らない数学の...
-
婿養子です、妻と離婚して妻の...
-
通学証明書の契印とは
-
よって・ゆえに・したがって・∴...
-
円周率=∞の証明
おすすめ情報