![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
No.1ベストアンサー
- 回答日時:
「無限遠点」が登場した時点で、その命題は、
「ユークリッド幾何における」命題ではありません。
この回答への補足
Alice44さん、ご回答ありがとうございました。ご示唆に従いますと、対象領域
外は命題をたてる意味がない ということですね。対象外かどうかは 命題の証明ができるかどうかに掛かっているということでしょうか。ユークリッド幾何学
の公理には無限遠点の定義はありませんが、ないということは有限という定義に
なっているのですね。すると ユークリッド幾何学における 不完全性定理の示す系のなかで真偽が証明できない命題がある に該当する 命題はない になるように思うのですが。
不完全性定理の示す系のなかで真偽が証明できない命題がある の 私の 理解は 別のことばでは 対象領域を完全に定義される公理から構成される系はない と思っています。無限遠点の例は 対象外という理解よりも 定義されていなかった という領域で 真偽が証明されない 部分とおもうのですが、まちがっているでしょうか。
私が知りたいのは ゲーデルの不完全性定理の幾何学での理解です。
(1)第2不完全性定理では 次の表現があり『公理系Nにおいて、その無矛盾性を証明することは不可能である』、そのなかで問題として『 真であるが証明不可能な主張とは何か。』に対して 答え『公理』とあり 自己言及を表現していることは 理解し易いのです。幾何学では5公理です。
ところが
(2)私がよく分らないのは 第1不完全性定理です。『形式的体系Sにおいて、形式的体系Sが無矛盾である限り、「形式的体系Sにおいて命題は証明可能である。」という命題も「形式的体系Sにおいて命題は証明不可能である。」という命題も証明不可能である。』 と表される(別表現もありますが)とあります。
ここで現れる命題は抽象的言語であってよく分らないのです。例えばユークリッド幾何学においてはこの具体例は何でしょうか。私の理解は 「例えば無限遠点において平行線は交わるは証明可能である」はその例のようにおむのですが。つまり 例題には ユークリッド幾何学では未定義の無限遠点が現れており 証明はできない のです。いくら公理を増やして定義を明白にしても 未定義の領域はある ということです。
もう一つの例ですが 無限遠点は扱わないという6番目の公理を追加したとしても 例えば 「X・X=-1 は根がない は証明可能である」も証明できない と思うのです。なぜなら複素数は未定義だからです。つまり 『公理で定義されても未定義域は必ずある』が第一不完全性定理の一つの別表現ではないか
と思うのです。この理解が間違っているのかどうか どなたかにお教えて頂きたかったのですが 別途
勉強したいと思います。
いろいろヒントなど頂きありがとうございました。お礼申しあげます。
No.3
- 回答日時:
ユークリッド幾何に「無限遠点」を付け加えて
新しい幾何学の体系を創るとき、
この「無限遠点」という言葉が意味を持つように、
それがどのような性質を持つものか、
公理を付け加えて規定しなければなりません。
公理で規定しなければ、言葉だけ増やしても、
何の意味もありません。
この辺の事情は、「無限遠点」の替わりに
「なんじゃもんじゃ」を付け加えることを
考えてみると解るでしょう。
で、貴方の新しい幾何学の公理系は、
平行線が「無限遠点」で交わるようなものですか?
そうではないものですか?
それは、ユークリッド幾何において
決定不能なのではなく、問題自体が未定義なのです。
試しに、ユークリッド幾何において
全ての直線は「なんじゃもんじゃ」を通る
か否か、考えてみましょう。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 哲学 《神》の定義を問います。 3 2023/03/11 08:44
- 哲学 神とは何か?――ただしく《信じる》ために―― 144 2022/10/19 04:52
- 哲学 1,2,3,・・・無限大 の無限大は 有限の数である 2 2022/07/04 03:31
- 数学 円周角の定理の「円周角の大きさはその弧に対する中心角の半分である」ということの証明には3つのパターン 5 2023/06/24 17:03
- 大学受験 参考書の勉強法について質問なのですが、参考書を一通り終わらせて、二周目を行う際、問題だけ解けば良いで 2 2023/06/30 20:19
- 哲学 妥当な推論の根拠について 1 2022/08/04 22:54
- 数学 『代数幾何についての疑問』 2 2023/05/08 17:44
- 数学 『弧は弦より長し』 8 2022/04/18 10:23
- 数学 数学の複素数の証明問題です。 (1)複素数全体の集合に2要素間の実数と同様な大小を定義できないことを 2 2022/08/28 11:17
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
写真の命題1.3の証明についてで...
-
数学の記号"⇔" "∴"の使い方を教...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
「帰納法とは、本来前提となる...
-
数学に詳しい人教えてください...
-
命題の否定でわからないところ...
-
無理数
-
任意の実数とは?
-
命題の真偽
-
命題の真偽を調べよ。①直角二等...
-
命題
-
【 数A 集合を用いた命題の真偽...
-
命題と論理式の違いは何でしょ...
-
命題がわかりません!!
-
ゲーデルの第1不完全性定理の具...
-
ある表現が命題かどうかを示す...
-
limsup(sinN)=1?
-
g◦fが全射で、さらにgが単射な...
-
数学 命題と条件 xは実数とする...
おすすめ情報