• ベストアンサー
  • すぐに回答を!

私がよく分らないのは ゲーデルの第1不完全性定理です。『形式的体系Sに

私がよく分らないのは ゲーデルの第1不完全性定理です。『形式的体系Sにおいて、形式的体系Sが無矛盾である限り、「形式的体系Sにおいて命題は証明可能である。」という命題も「形式的体系Sにおいて命題は証明不可能である。」という命題も証明不可能である。』 と表される(別表現もありますが)とあります。 ここで現れる命題は抽象的言語であってよく分らないのです。例えばユークリッド幾何学においてはこの具体例は何でしょうか。私の理解は 『例えば無限遠点において平行線は交わるは証明可能である』はその例のように思うのですが 間違っているでしょうか。 問題は 無限遠点が公理を用いて表されるか どうか という先輩のご指摘があり公理をあらためてみてみますと 公理2に線分を限りなく伸ばすことができる とあります。つまり無限遠点は「公理2の限りなく線分を伸ばした点」と理解され 公理の定義を用いることで表されるとおもうのです。間違っているでしょうか。参考までに公理を挙げておきます。 <ユークリッド 幾何学の公理> (公理1)与えられた2点に対して、それらを結ぶ線分をちょうど1つ引くことができる。 (公理2)与えられた線分は、どちらの側にも限りなく伸ばすことができる。 (公理3)平面上に2点が与えられたとき、一方を中心とし、他方を通る円をちょうど1つ書くことができる。 (公理4)直角はすべて相等しい。 (公理5(平行線公理))直線外の1点を通り、その直線に平行な直線は1本に限る

共感・応援の気持ちを伝えよう!

質問者が選んだベストアンサー

  • ベストアンサー
  • 回答No.7

不思議で不思議でならない. 質問者は「ゲーデルの不完全性定理」 を理解してるんだろうか・・・・ この定理の大事な「前提」を スルーしているんじゃないのかな. 「自然数論を含む形式的体系」じゃないと 不完全性定理はでてこない. 実際「ゲーデルの完全性定理」ってのもあるんですよ. 前の質問で,証明の粗筋をかいてくれた人がいたでしょう? そこでは「ゲーデル数」っていうのが大事な働きをしてるという 指摘があったでしょう? 「数」が必要なんですよ,不完全性定理には. ものすごくぶっちゃけていえば 「完全性定理」と「不完全性定理」の境界は「数」. ちなみにこの場合の「数」ってのも きちんと公理系(ペアノ公理系ってのがメジャー)で 定義される「形式体系」. さて。。。あなたが述べている「ユークリッド幾何の公理」系 (原論の言葉でいえば本当は「公準」であって 原論でいうところの「公理」はべつのもの)は 果たして,不完全性定理の述べるところの 「公理系」なのでしょうか? つまり,古典的な 「原論の形のユークリッド幾何の公理(公準)」 は,現代的な意味での「公理系」なのか?です. 現代的な意味での公理系であるならば なぜヒルベルトは「幾何学の基礎」で ユークリッドの公理系をある意味で「批判」して 新しい体系を提示したのか? ヒルベルトの意味でのユークリッド幾何でも 果たしてゲーデルの議論に乗せるのには十分なのか? そもそも「無矛盾な形式体系」であっても 不完全性定理の前提を満たさないものがあるのではないか? まずはそこらへんから考えないと そもそも不完全性定理を適用できるか分からないわけです. #って。。。実は答えはすでにあるのですが #ちょっと調べれば分かるのでスルー. ちなみに・・・・ 不完全性定理のいうところの「決定できない命題」の 自然なものってのは1973年とか1977年ころに なってでてきたんですよ. 不完全性定理が1931年で,連続体仮説とか 選択公理の方面での命題が1940年近辺の話なので いかに大変な仕事だったのかが分かりますね. 資料: ・ゲーデルの20世紀シリーズ(東大出版会) ・ゲーデル 不完全性定理(岩波) ちなみに,私もalice_44さんやTacosanさんと同じで 無限遠点は出てこないでしょうと答えます. だって「限りなく伸ば」したって, それからどうなる?ということについて何も述べてない. 演繹できるから大丈夫? ユークリッド幾何で導ける点って「有限」のところだけでは? 公理系の外部のものが内部で証明できないのは当然です.

共感・感謝の気持ちを伝えよう!

質問者からのお礼

kabaokabaさん ご回答ありがとうございました。 私は数学者ではなく たんにゲーデルの第1不完全性定理の身近な命題がないのか から出発しております。ユークリッド幾何学では どうなっているのか ということから 私なりに考えた ということです。 ご指摘のように 無限遠点の理解が まったく間違いであるなら 考えた命題も意味がありません。 おそらくはユークリッド幾何学では そのような命題はない のでしょう。 ご指摘のように 奥深いゲーデルの不完全性定理 から勉強してみます。ありがとうございました。

その他の回答 (6)

  • 回答No.6
  • Tacosan
  • ベストアンサー率23% (3656/15482)

#3 への「お礼」は全く答えになってない. ・線分AB を「A の方に伸ばした先」と「B の方に伸ばした先」というのは, 普通に考えれば違うとするのが妥当でしょう. で, あなたの言う「無限遠点」なるものは, 「A の方に伸ばした先にあるもの」と「B の方に伸ばした先にあるもの」とで同じものなのですか? 違うものなのですか? 「同じ」か「違う」か, どちらかをきちんと決める必要がありますよ. ・2つめも同じこと. 線分AB を伸ばした先にある「無限遠点」と線分CD を伸ばした先にある「無限遠点」は同じものなのですか? それとも違うものなのですか? これも, 「同じ」か「違う」かをきちんと決めてください. ・最後の点には全く答えられていませんね. 再度聞きましょう. 「無限遠点」は「点」なのですか? それとも「点ではない」のですか? 「無限遠点」を議論するためには, これらはすべてきちんと定義しておく必要があります. ここを曖昧にしたままでは, 議論の俎上に載りませんよ. 答えられないようでは, 「『無限遠点』をきちんと定義した」とは到底いえません. もちろん定義する気がないならそれでもかまいませんが, もしそうなら「『無限遠点』をきちんと定義する気はない」とはっきり宣言してください.

共感・感謝の気持ちを伝えよう!

  • 回答No.5
  • alice_44
  • ベストアンサー率44% (2109/4758)

> ユークリッド幾何学の公理群からは、無限遠点の概念は演繹されるが、 > 無限遠点における理論構成は十分には出来ないことではないでしょうか。 No.1 No.4 を全く読んでいないのか。ガッカリ。 ユークリッド幾何に、「公理2の限りなく線分を伸ばした点」なるものを 付け加えると、No.4 のように矛盾が出てくる。よって、 ユークリッド幾何が無矛盾であれば、その公理系から無限遠点の存在を 導くことはできない。

共感・感謝の気持ちを伝えよう!

質問者からのお礼

 無限遠点は 無限の遠方にある点であり そこには有限でのユークリッド幾何学が成り立つかどうか分っていない と理解します。そこで 限りなく線分を延ばした点の理解ですが 私は無限の遠方にある点 と理解したのです。しかし、ご指摘のように この理解が間違っているなら 無限遠点は導かれないでしょう。 

  • 回答No.4
  • alice_44
  • ベストアンサー率44% (2109/4758)

←No.1 補足では、 ポイントがズレている。 公理2 は線分が延長できることを述べており、 限りなく延ばした先に「無限遠点」を置くとすれば、 「無限遠点」から先へ延ばすことも可能 でなければならない。それでも、まだ 「無限遠点」が「限りなく延ばした先」といえるのか。 公理系が矛盾を含めば、不完全性定理の 対象外だろうと指摘したのだった。

共感・感謝の気持ちを伝えよう!

質問者からのお礼

Alice44さん ご回答ありがとうございます。 公理系が矛盾している 場合は ご指摘のように論理構成ができない わけで 不完全性定理の対象外です。 ユークリッド幾何学の公理群は矛盾している とは聞いたことがありません。無限遠点は 公理ではありません。無限遠点は公理2あるいは公理2と公理1を用いることで演繹される のではないでしょうか。ご指摘の『限りなく延ばした先に「無限遠点」を置くとすれば、「無限遠点」から先へ延ばすことも可能でなければならない。』という理解が有限域の理解と思います。ですから『「無限遠点」が「限りなく延ばした先」といえる』になると考えます。そこでは有限域の例えば 大小関係は意味をなさないと思います。 ユークリッド幾何学の公理群からは、無限遠点の概念は演繹されるが 無限遠点における理論構成は十分には出来ないことではないでしょうか。 無限遠点ではなく ゲーデルの第2不完全性定理のユークリッド幾何学の別命題を示して頂けた 助かります。   

質問者からの補足

すみません。文の終わり近く ゲーデルの第2不完全性定理は第1不完全性定理のまちがいです。かくところがなく ここに書き込みました。すみませんでした。 Alice44さん ご回答ありがとうございます。 公理系が矛盾している 場合は ご指摘のように論理構成ができない わけで 不完全性定理の対象外です。 ユークリッド幾何学の公理群は矛盾している とは聞いたことがありません。無限遠点は 公理ではありません。無限遠点は公理2あるいは公理2と公理1を用いることで演繹される のではないでしょうか。ご指摘の『限りなく延ばした先に「無限遠点」を置くとすれば、「無限遠点」から先へ延ばすことも可能でなければならない。』という理解が有限域の理解と思います。ですから『「無限遠点」が「限りなく延ばした先」といえる』になると考えます。そこでは有限域の例えば 大小関係は意味をなさないと思います。 ユークリッド幾何学の公理群からは、無限遠点の概念は演繹されるが 無限遠点における理論構成は十分には出来ないことではないでしょうか。 無限遠点ではなく ゲーデルの第2不完全性定理のユークリッド幾何学の別命題を示して頂けた 助かります。    投稿日時 - 2010-03-05 21:21:21

  • 回答No.3
  • Tacosan
  • ベストアンサー率23% (3656/15482)

後で気づいたんだけど, ある意味 #2 って「枝葉」だった.... とりあえずあなたのいう「無限遠点」には未定義なことがまだまだあります: ・異なる 2点 A, B を端点とする線分を考え, この線分を公理2 で伸ばして直線AB を得たとします. 当然ですが, 公理2 で伸ばす方向は 2方向あります. すると「限りなく伸ばした点」は 2点存在するのが自然だと考えられるのですが, それでいいですか? ・さらに 2点 C, D を取ります. 一般性を失うことなく B, C, D は全て相異なると仮定してかまいません. このとき, 直線CD は自明に直線AB とは異なります. 直線AB に対する「無限遠点」と直線CD に対する「無限遠点」とは, どのような関係にあるのでしょうか? ・非常に重要な問題なのですが, 「無限遠点」は「点」なのですか?

共感・感謝の気持ちを伝えよう!

質問者からのお礼

Tacosanさん ご回答ありがとうございます。ご質問のA端の点かB端の点か はどちらでもいいと考えます。A端だけ 限りなく延ばしてもよく あるいは B端だけ 限りなく延ばしてもよく、あるいは 両端を限りなく延ばしてもいいと考えます。重要なことは限りなく延ばしたということです。 もう一つの有限域で相異なる直線ABと直線CDをとりあげ 直線ABの無限遠点と直線CDの無限遠点とはどのような関係かという ご質問ですが 交わるのか交わらないのか が問われているように思います。この答えは 正にゲーデルの第1不完全定理の命題の一つと思います。交わるとしても交わらないとしてもユークリッド幾何学では証明できない ということと思います。無限という概念は公理から演繹されますが 無限域で演繹される理論構造になってない ということではないでしょうか。

  • 回答No.2
  • Tacosan
  • ベストアンサー率23% (3656/15482)

いや, 整数 (や実数) に翻訳して言えば次のように見えるのだが. あなた: ∞という値が存在する #1: そんな値は存在しない そもそも「公理2の限りなく線分を伸ばした点」は日本語としておかしい. 確かに公理2 では「与えられた線分は、どちらの側にも限りなく伸ばすことができる」と述べているが, この操作の結果として得られる「限りなく線分を伸ばしたもの」は直線 (ないし半直線) であって「点」であることはありえない. つまり「公理2の限りなく線分を伸ばした点」というのは定義の体をなしていない.

共感・感謝の気持ちを伝えよう!

質問者からのお礼

Tacosanさん ご回答ありがとうございます。 無限遠点を公理を使って説明できるか ということですが 公理2のみでは 点の説明は無理かもしれません、が公理1では点と線の説明があります。公理2と公理1を使えば 説明できる と思います。要は無限 という概念が公理から演繹されるかということと 演繹されるとゲーデルの第1不完全性定理の幾何学の例題が分りやすい ということです。 また∞を整数(実数)と同じように扱ってはいません。

  • 回答No.1
  • alice_44
  • ベストアンサー率44% (2109/4758)

間違っています。 ユークリッド幾何においては、 貴方も書いているように、 直線は、どこまでも延ばすことができます。 その先の何処に「無限遠点」を置いたとしても まだ先へ延長できるのだから、 それは「無限遠点」とは言えない。 ユークリッド幾何には、 「無限遠点」は存在し得ないのです。 不完全性定理は、「矛盾の無い」体系について 語っていたのでしたね?

共感・感謝の気持ちを伝えよう!

質問者からのお礼

Alice_44 さん ご回答ありがとうございます。 ゲーデルの不完全性定理は 第1と第2があり、いずれも理論の不完全性を証明したものです。 今 問題にしている無限遠点の公理を使った説明ですが、限りなく延長した点でいいように思うのですが。 Alice_44さんの言われていることは、例えば ∞+1 と∞ の大小を比べ 前者が大きい と言っているようにおもうのです。だから∞はないと言っているように思われます。私には∞+1の意味がわかりません。

関連するQ&A

  • 私が知りたいのは ゲーデルの不完全性定理の幾何学での理解です。

    私が知りたいのは ゲーデルの不完全性定理の幾何学での理解です。 (1)第2不完全性定理では 次の表現があり『公理系Nにおいて、その無矛盾性を証明することは不可能である』、そのなかで問題として『 真であるが証明不可能な主張とは何か。』に対して 答え『公理』とあり 自己言及を表現していることは 理解し易いのです。幾何学では5公理です。この理解はたぶん正しいと思います。 ところが (2)私がよく分らないのは 第1不完全性定理です。『形式的体系Sにおいて、形式的体系Sが無矛盾である限り、「形式的体系Sにおいて命題は証明可能である。」という命題も「形式的体系Sにおいて命題は証明不可能である。」という命題も証明不可能である。』 と表される(別表現もありますが)とあります。 ここで現れる命題は抽象的言語であってよく分らないのです。例えばユークリッド幾何学においてはこの具体例は何でしょうか。私の理解は 「例えば無限遠点において平行線は交わるは証明可能である」はその例のようにおむのですが。つまり 例題には ユークリッド幾何学では未定義の無限遠点が現れており 証明はできない のです。いくら公理を増やして定義を明白にしても 未定義の領域はある ということです。 もう一つの例ですが 無限遠点は扱わないという6番目の公理を追加したとしても 例えば 「X・X=-1 は根がない は証明可能である」も証明できない と思うのです。なぜなら複素数は未定義だからです。つまり 『公理で定義されても未定義域は必ずある』が第一不完全性定理の一つの別表現ではないか と思うのです。この理解が間違っているのかどうか どなたかにお教えて頂きたかったのですが 

  • ユークリッド幾何学にまつわる不完全性定理的理解について

    ユークリッド幾何学にまつわる不完全性定理的理解について ゲーデルの不完全性定理の対象となる数学は『公理系Nが無矛盾である』が前提です。ユークリッド幾何学は 一階述語論理で表されることが出来る自然数の部分集合であって、ゲーデルの不完全性定理の対象である 公理Nの無矛盾である 論理の対象になってないとなり それ以上のユークリッド幾何学の論理的理解が進みません。そこでゲーデル理解を拡張して『公理系Nが無矛盾ではない』として不完全性定理を理解すると(須田隆良氏、中西章氏など) (1)ゲーデルの第一不完全性定理の解釈==>公理系Nが無矛盾であろうがなかろうが 公理系Nにおいて、「公理系Nにおいて命題は証明可能である。」という命題も、「公理系Nにおいて命題は証明不可能である。」という命題も証明不可能である (2)第2不完全性定理の解釈==>公理系Nが無矛盾であろうがなかろうが その無矛盾性を証明できない となります。これらはゲーデル不完全性対象から外れておりますが、対象外のユークリッド幾何学を理解するには都合がよい と思うのです。 (2)によりユークリッド幾何学の公理の無矛盾性は証明できない。 (1)によりユークリッド幾何学の未定義領域(非ユークリッド幾何学、虚数、無限遠点とか)は 公理系Nにふくまれ 多くの証明できない命題があることになります。もちろん 公理定義内では完全性理論は保証されています。 なぜ このようなユークリッド幾何学に こだわる かと申しますと 世の中の 論理(数学、哲学、論理を用いた論文 など)は ユークリッド幾何学的なものが 圧倒的に多いと思うのです。これら論文は ほとんどは一階述語理論で表され かつ ゲーデル不完全性定理 対象論理ではないのです。それら論文の特に(2)に関わる自己証明は出来ない ということは重要であると思うのです。もちろん 自己証明が出来ないと言って間違いとはなりません が 常に 冷静に謙虚に 主張理論の原点を見直すことに 繋がっていると思うのです。勿論、論理構成が出来ていないシロモノは 論外であります。    以上のように理解しているのですが、ユークリッド幾何学にまつわるゲーデル不完全性定理の場外理解は問題ないでしょうか。諸先生のコメント頂けましたら幸甚です。

  • ユークリッド幾何学において 真偽が証明できない問題として 例えば『無限

    ユークリッド幾何学において 真偽が証明できない問題として 例えば『無限遠点で平行線は交わる』は その例と考えますが、合っているでしょうか。なぜなら 無限領域は 定義されていないからです。  ユークリッド幾何学の5公理は有限領域で定義されているとし、その場合に真偽が証明できない問題として 例えば『X・X=-1は根が存在しない』はその例と考えますが、合っているでしょうか。なぜなら 複素数領域は定義されていないからです。  なお 公理は証明対象にならない 命題と考えます。

  • 不完全性定理 ユークリッド幾何学 公理

    専門家の方にお聞きしたいのですが、不完全性定理でいう「自然数論を含む帰納的に記述できる公理系が、ω無矛盾であれば、証明も反証もできない命題が存在する。」において、 ユークリッド幾何学における証明も反証もできない命題=ユークリッド幾何学の5つの公理 ということでよろしいでしょうか?? また、ユークリッド幾何学の5つの公理以外には、ユークリッド幾何学において証明も反証もできない命題は存在しないと考えていましたが、正しいでしょうか?

  • ゲーデルの不完全性定理について

    ゲーデルの不完全性定理について ネットサーフィンをしていたときに、たまたま、ゲーデルの項目を見つけました。 当方、数学は素人なのですが、 ゲーデルの不完全性定理(ある公理系の中には、真偽を明確にできない命題が存在する) を僕たちが生きるこの世界、この宇宙にあてはめて考えると、 この世の中には、論理的には正しいとも間違っているとも証明できないことがらがあるということなのでしょうか。

  • そもそも、ピタゴラスの定理って定理なのでしょうか?

    そもそも、ピタゴラスの定理って定理なのでしょうか? いいかえると、真実なのでしょうか? これは、実は簡単にわかります。証明できません。 なぜなら、非ユークリッド幾何学という反例があるから。 だから、ピタゴラスの定理っていうのは、定理ではなくて、 普通のユークリッド幾何学を展開していく上での、仮定とか前提と考えたほうがいいと思います。 ではなぜ、世の中にたくさんある「ピタゴラスの定理の証明」なるものはなんなのでしょうか? それは、ユークリッド幾何学を特徴づけるピタゴラスの定理よりも、 よりも基本的な公理を仮定していなければなりません。 一般的には、第五公準(平行線は唯一唯一つ)ってのがそうだと思われます。 しかし、その前に、点とか直線とか、距離とか、角度とか、合同とか、たくさんの概念が定義されなくてははなりません。 ところで、数学基礎論では、まず、集合とその間の演算を公理的に定義し、また、自然数と和や積を定義します。 それによって、数論の基本的な結合法則、可換法則、分配法則といったものも、「証明できる」ものになります。 1+1=2というのも「証明できる」ものになります。 同じようにしていけば、ピタゴラスの定理って基礎論的に、公理的に、「証明できる」定理なのでしょうか? 実は、「幾何学基礎論」という本を軽く読んだり、いろいろ検索してみたのですが、ピタゴラスの定理は載ってませんでした。 もしかして、ピタゴラスの定理っていうのは、基礎論的にも、公理的にも、「証明されていない」ものなのでしょうか? ちなみに、sinθ, cosθを、無限級数の和として定義してやって、 それによってユークリッド幾何の回転を定義し、sin^2θ+cos^2θ=1となるので「証明できた」というのは、たぶん、万人は認めないと思います。

  • 自然科学は不完全性定理をもコントロールするか

    GPSに特殊相対論と一般相対論による補正がされているというのは有名ですが、とくに一般相対論はリーマン幾何学をもちいています。 リーマン幾何学は非ユークリッド幾何学を扱うことができ、この際、平行線の公理を選択的にコントロールすることで、空間の歪みを叙述することが可能ということがいえるのではないかと思います。 平行線の公理といえば、ゲーデルの不完全性定理が関与するところですが、このようにアインシュタインのような天才は不完全性定理さえも物理学の道具として使いこなした、という印象を私は持っています。この印象は正しいでしょうか。 #ここでの近くのご質問に刺激を受けました。ちょっと筋が違うので新しく質問を立てました。

  • ゲーデルの定理

    完全性定理では「任意のモデルで真である文はすべて1階述語論理で証明可能である」 不完全性定理では「自然数論を含む体系は無矛盾である限り、真であっても証明できない 命題が存在する」とありました。 それではこの2つの定理をペアノの公理系に当てはめると「全ての真である命題は証明可能」でありながらどこかに「真であっても証明できない命題が存在する」わけですか? 何だか矛盾するような感じがしますが、そんな訳ありませんよね。 どう考えたらよいのか教えてください。 よろしくお願いいたします。

  • ゲーデルの不完全性定理

    ゲーデルの不完全性定理の証明のアイデアが知りたいと思い、適当な入門書(基礎論の教科書ではないです。)を読んでいるのですが、 まず、定理の主張が「形式的体系Tで通常の自然数を含み、強い意味で無矛盾であり、そこにおける公理や推論規則は帰納的に定義されているかまたはその数が有限であるようなもの、においては文GでGも¬Gも証明できないものが存在する。」 とあるのですが、形式的体系Tがなにを意味しているのかがよくわかりません。これは、形式的と書いてあるのだから文字通り「意味を考えない記号の世界(記号の集まりと、記号を並べて得られる列を変形するいくつかの規則)」と考えればよいのでしょうか? それで、もう一つ質問があるのですが、 まず、準備として記号 ¬,∧,∨,→,∃,∀,(,),0,',+,×,=,x,y,zを用意して、 x,y,zを変数記号と呼びます。 それで、項を次のように定義します。 (i) 0,x,y,zは項。 (ii) t,sが項であるとき、'(t),+(t,s),×(t,s)は項。 (iii)このようにして得られるものだけが項。 (iV)'(t),+(t,s),×(t,s)を簡単にそれぞれt',t+s,t×sと記したりする。また、0',0'',0''',…をそれぞれ1,2,3,…と記す。 また、項tを上の記号の括弧としてではなく、見易さのための補助記号としての(,)を用いることにより、しばしばt(x,y,z)と記したりする。 次に論理式を次のように定義します。 (i)t,sが項のとき、t=sは論理式。 (ii)φとψが論理式でxが変数記号のとき、(¬φ),(φ∧ψ),(φ∨ψ),(φ→ψ),(∀xφ),(∃xφ)は論理式。 (iii)このようにして得られるもののみが論理式 (iV)見易さのために括弧を適当に省略して論理式を記すこともある。 以上により、与えられた記号列が項か論理式かそれ以外のものか判定できるようになります。 準備した記号¬,∧,∨,→,∃,∀,(,),0,',+,×,=,x,y,zを普通に解釈することで、論理式の意味を考えることができるようになります。 ただし、'は後者関数と解釈します。 次に、¬,∧,∨,→,∃,∀,(,),0,',+,×,=,x,y,zに 素数2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53を割り当てます。 記号列が与えられたとき、各記号を上記の対応に従い素数n_1,n_2,n_3,…に置き換え、2^(n_1)*3^(n_2)*5^(n_3)*…を対応させます。対応する数をゲーデル数と呼びます。 以上で準備は終わりで、 質問ができるのですが、 「mがTのある論理式のゲーデル数である」という非形式的な主張は mを素因数分解して各素数の指数を調べることである論理式のゲーデル数であるかどうかがチェックできるので、解釈すると「mがTのある論理式のゲーデル数である」という意味になる論理式が作れる、とあるのですが"具体的"にはどのようにして作るのでしょうか? 私は、論理式の定義が再起的であるから、「mがTのある論理式のゲーデル数であるかどうか」をコンピュータに判定させること(とてつもなく時間がかかりそうですが)可能だと思うので上のような論理式は作れると思うのですが、実際に作るとどんな論理式になるのか興味があります。

  • この文章の意味を教えてください。

    ある対談集を読んでいて次のような箇所に出くわしました。 「日常的な因果律というのは、単位が非常に小さいところだけで成り立っている。例えば、ユークリッド空間は、微視的には、われわれの日常生活の中で確実に機能するし、役に立つ。しかし、巨視的な立場に立つと、ユークリッド空間では具合悪くなる。飛行機でアメリカへ行くだけでももう非ユークリッド空間だからね。」 読んで???でした。辞書でユークリッドを調べるとユークリッド幾何学が出ていて、「五つの公理に基づいて体系化されている幾何学。二つの平行線は相交わらないという公理は最も著しい特徴の一つである。」 とありました。となると非~はそうじゃないということでしょうが....。 そこでお聞きしたいのですが、 (1)ユークリッド空間とは、ユークリッド幾何学と同義で使われていると考えていいのでしょうか? (2)特に分からないのは「飛行機でアメリカへ行くだけでももう非ユークリッド空間だからね」というところなんですが、ここのところを分かりやすく説明していただけるとありがたいです。 カテゴリーが正しいの分からない程、こういう話は苦手です。よろしくお願いいたします。