No.3ベストアンサー
- 回答日時:
その「不完全」という意味は日常会話などで
使われる意味での「不完全」とは違います。
数学基礎論においては、完全性とは、ある公理系が
与えられたときその公理系において全ての恒真命題が
証明可能であることを言います。また、証明可能とは
公理から有限の手順で結論が導かれることを言います。
この意味での完全性から転じて、不完全性とは、ちょっと
アバウトな言い方ですが、真ではあるが公理から
導けない命題が存在することを言います。
ゲーデルの不完全性定理は、再び厳密さに欠ける
アバウトな言い方ですが、矛盾のない体系には証明
できない命題が存在することを示しています。
つまり、不完全性定理は数学になにか瑕疵があることを
意味しているわけではありません。
数学の分野もかなり現代では裾野が広いですが、
それだけ未解決問題も多くあります。ゲーデルの
不完全性定理によって数学基礎論ではある種の決着
がついたのかもしれませんが、まだまだ多く残る
未解決問題に手をつけることにより発展の余地は
多く、未踏の地平は広大です。
No.2
- 回答日時:
不完全性定理によれば、少なくとも自然数論を含む体系には真偽の決定が不可能な命題が存在するそうですが、
公理について考えると、そもそも公理は真偽を考えず自明と見なすもので、その公理系の中では証明できません。
なのでたとえば、『異なる二点が与えられたときそれらを通る直線がただ一つ引ける』なんていうのも、ある範囲内では真偽の決定ができません。
それでも、その命題は当然成り立つと仮定するところから初めて、数学はすばらしい成果を残しています。
なんなら決定不可能な命題も公理に追加してしまえば先に進むこともできます。
不完全性定理は有限個の公理ではすべての命題を捉えきれないことを示していますが、
それでも、その限られた捉えられる命題にはすばらしいものが数多く存在するようです。
No.1
- 回答日時:
不完全であると言うのは真偽の判定ができない命題が数学という論理系の中に存在する、と言う意味で完全ではないのです
つまり互いに矛盾する問題、解けない問題が存在する、ということですね
これは数学の限界が存在するか否か、っていう問題です ゲーデルはその答えとして“限界は存在する”ということを示したわけです
決して全ての問題に決着がついた、と言ってるわけではありません
従って未知の問題に挑戦する意味はあるのではないでしょうか?
参考URL:http://www.h5.dion.ne.jp/~terun/doc/fukanzen.html
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 物理学 4次元やら まだ見ぬ宇宙やら 物理やら 証明された時点で、それが証明になる…やら。 せもそも 宇宙を 4 2023/01/13 22:55
- 物理学 量子力学についていくつか質問があります。 まだ興味を持ち始めたばかりで、完全な物理未経験者のため、未 5 2022/10/25 18:11
- 物理学 特殊相対性理論の原理について。 6 2023/02/27 20:52
- 物理学 決定論・非決定論と量子乱数発生器の関係についての質問です 8 2022/07/29 13:36
- 数学 ゴールドバッハの予想の部分証明について 4 2022/06/04 13:53
- 英語 I didn't understand the reason why he gave me. 私は彼 1 2022/12/09 22:55
- Windows 10 Mcfeeの「抹消」を実行すれば、そのファイルが完全に消去された分 PCの空き容量は増えますか? 5 2023/05/06 14:40
- その他(応用科学) 遷移元素に関する次の記述のうち正しいものを2つ選べ 1 s軌道が不安定な電子配置 2 s軌道とp軌道 2 2023/07/19 22:04
- 英語 仮定法で準否定を表現すると完全否定になる理由等について 4 2023/04/24 18:12
- 数学 『4色問題③』 2 2022/11/14 00:31
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
数学の記号"⇔" "∴"の使い方を教...
-
ある等式⇔ある等式の逆数をとっ...
-
命題の否定でわからないところ...
-
無理数
-
高校数学です! x, yを実数とす...
-
不等式について
-
数学の記号∀と∃について質問し...
-
命題の真偽判定
-
g◦fが全射で、さらにgが単射な...
-
命題の問題
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
命題が偽のときの真理表 例えば...
-
負荷号命題で A and bが成り立...
-
xは、実数とする時、次の命題が偽...
-
常に真または偽である条件の扱い
-
『弁証法』を小学生にもわかる...
-
頭を切った円すいの体積と面積
-
年代と年台・・・どちらが正し...
-
lim[n→∞](1-1/n)^n=1/e について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
数学の記号"⇔" "∴"の使い方を教...
-
任意の実数とは?
-
g◦fが全射で、さらにgが単射な...
-
原則には、例外が付きものです...
-
命題と論理式の違いは何でしょ...
-
命題の否定でわからないところ...
-
ゲーデルの第1不完全性定理の具...
-
任意の実数xに対して、x-1<n≦x...
-
命題の真偽
-
必要十分条件
-
努力は成功のための必要条件?
-
射影線型群PGL,PSLについてです
-
ある表現が命題かどうかを示す...
-
無理数
-
高校一年生です。 数学で分から...
-
ある等式⇔ある等式の逆数をとっ...
-
{Ai ; i ∈ N} を位相空間 X の...
-
もしも数学
-
真偽表(真理値表)について 今日...
おすすめ情報