- ベストアンサー
ゲーデルの不完全性定理を詳しく教えてください。
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
ゲーデルの不完全性定理について，簡単で，曖昧さのある説明で我慢して下さい． ゲーデルの不完全性定理には，「第１不完全性定理」と「第２不完全性定理」があります． 第１不完全性定理は， 「自然数論を含む公理系が，オメガ（ω）無矛盾ならば，証明も反証もできない命題が存在する．」 というもので，第２不完全性定理は， 「自然数論を含む公理系が、無矛盾ならば，自分自身の無矛盾性を証明できない．」 というものです．上記は，厳密性が無く，曖昧さを含む表現ですが，ニュアンスは，感じ取れると思いますが・・・． 如何でしょう？？
その他の回答 (1)
- ordinal
- ベストアンサー率66% (2/3)
ここで質問しても詳しくというのは無理だと思います。専門書であるならば前原昭二先生の「数学基礎論入門」一般向けの本でしたら結城浩著「数学ガール/ゲーデルの不完全性定理」が十分詳しく分かりやすい良い書籍だと思います。
お礼
ありがとうございます。 結城浩さんってＩＴ関係の人では？ 簡単にでいいんで説明をお願いしたいです。。。
関連するQ&A
- ゲーデルの不完全性定理について
ゲーデルの不完全性定理について ネットサーフィンをしていたときに、たまたま、ゲーデルの項目を見つけました。 当方、数学は素人なのですが、 ゲーデルの不完全性定理（ある公理系の中には、真偽を明確にできない命題が存在する） を僕たちが生きるこの世界、この宇宙にあてはめて考えると、 この世の中には、論理的には正しいとも間違っているとも証明できないことがらがあるということなのでしょうか。
- ベストアンサー
- 数学・算数
- ゲーデルの定理は最終的なもの？
まったく門外漢ですが、ゲーデルの定理というのは一種の最終的真理のように考えてよいのでしょうか？あるいは将来この定理を一部として含むような別の定理（？）が出現する可能性もあるのでしょうか？
- ベストアンサー
- 数学・算数
- ゲーデル「不完全性定理」が分かりやすく理解できる本
ゲーデル「不完全性定理」が分かりやすく理解できる本 通学中の電車内に有る「1991年、科学によって神が存在しないことが証明された!」という謳い文句に興味を持ち、一体、その照明方法がどういった手順を踏んだものなのかを調べ初めて早2時間・・・・・。なんつーものに興味を持ってしまったのだろうと若干後悔の渦が・・・・・。 どうにか、この「1991年、科学によって」が、ゲーデルの「不完全性定理」を指しているの・・・・かな？というところまで辿り着きました。という訳で、「じゃあゲーデルの不完全定理を理解すれば、あの宣伝の謳い文句が分かるのかー」と、その定理に関連するサイトを読みかけ・・・・、そんな簡単に理解できるものじゃないコトを認識しました。 気にしなければ、そんなこと知らなくても全く日常生活に支障はないので、忘れてしまえば良いのですが、折角、「不完全性定理」というものの存在を知り、且つ、興味全開なので、出来る事ならば表面上だけでも、齧りだけでも良いので理解してみたいと思っています。 ゲーデルの「不完全性定理」を調べていくうちに、公理・ヒルベルト・公理系・無矛盾性・完全性・パラドクス・・・・・など随所の単語につまづき、その都度、その単語の意味が書いて有る別のページに飛び・・・・・を繰り返し続けているうちに、「これはちゃんとした本で理解した方がいいんじゃないか・・・・」と思ったので質問させてください。 私は一介の高校生なので、ちょっとした専門用語にすら「？」が浮かんでしまいます。不完全性定理を導く過程で必要な用語を解説しつつ、根気と気力が有れば、まあ有る程度理解できるくらいの易しさで書いてある本を紹介してください。また、その定理が生まれるに至った経緯なども豆知識程度に書いて有れば尚嬉しいです。（こちらのページhttp://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1410933224 のpistis_sophia_00さんの回答の様な感じ） 来る夏休み中に読み終えられるような入門的なもので構いませんので、是非よろしくお願いします。 長文・乱文しつれい致しました。
- ベストアンサー
- 数学・算数
- ゲーデルの不完全性定理とは？
入門書を読んで理解を深めてから質問しようと思っていたのですが、なにぶん多忙かつ 魯鈍であるため、ほとんど理解していない状態での質問をお許しください。 ゲーデルの不完全性定理の入門書を読むと、一般人向けの説明として次のように記述されて います。 ●自然数論を含むような数学的体系の無矛盾性を、その体系内で証明することはできない。 これは、分かりやすいく言うとどういうことなのでしょうか。論理記号式を使用しないと 説明は無理ですか。 不完全性定理は「自己参照」とか「自己言及」を行なった際に生じる、避けられない 困難性や矛盾の存在を言い表しているのだと思いますが、次のような（安直とも言える） 拡大解釈を許すような、普遍性のある定理なのでしょうか。 ●認識主体が自分自身を完全に認識することはできない。（認識） ●哲学が哲学を完全に定義することはできない。（定義） ●体制が自己の正当性を自分で証明することはできない。（証明）
- ベストアンサー
- 数学・算数
- ゲーデルの不完全性定理
ゲーデルの不完全性定理の証明のアイデアが知りたいと思い、適当な入門書(基礎論の教科書ではないです。)を読んでいるのですが、 まず、定理の主張が「形式的体系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)私がよく分らないのは 第１不完全性定理です。『形式的体系Ｓにおいて、形式的体系Ｓが無矛盾である限り、「形式的体系Ｓにおいて命題は証明可能である。」という命題も「形式的体系Ｓにおいて命題は証明不可能である。」という命題も証明不可能である。』 と表される（別表現もありますが）とあります。 ここで現れる命題は抽象的言語であってよく分らないのです。例えばユークリッド幾何学においてはこの具体例は何でしょうか。私の理解は 「例えば無限遠点において平行線は交わるは証明可能である」はその例のようにおむのですが。つまり 例題には ユークリッド幾何学では未定義の無限遠点が現れており 証明はできない のです。いくら公理を増やして定義を明白にしても 未定義の領域はある ということです。 もう一つの例ですが 無限遠点は扱わないという６番目の公理を追加したとしても 例えば 「X・X＝－１ は根がない は証明可能である」も証明できない と思うのです。なぜなら複素数は未定義だからです。つまり 『公理で定義されても未定義域は必ずある』が第一不完全性定理の一つの別表現ではないか と思うのです。この理解が間違っているのかどうか どなたかにお教えて頂きたかったのですが
- ベストアンサー
- 数学・算数
- ゲーデルの不完全性定理が成立している以上、人口知能が自らの存在に対して
ゲーデルの不完全性定理が成立している以上、人口知能が自らの存在に対しての答えを自ら導き出すことができないのではないかと考えています。 帰納法では自らの存在とは何かに対しての答えを見つけることができないという解釈からくる考えです。 本当にそうでしょうか？
- ベストアンサー
- 哲学・倫理・宗教学
お礼
ありがとうございます。わかりやすかったです。