ゲーデル不完全性定理
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
05/02/28 11:27:120159１３２人目の素数さん
2005/05/31(火) 00:12:46それだけならば、レーヴェンハイム-スコーレムの定理で十分。
0160１３２人目の素数さん
2005/05/31(火) 03:48:06モデルが(真偽について同型のものをのぞいて)一意に決められないなら同じ問題に複数の答えがあって当たり前だよね。
標準モデルで考えるのに慣れてるからおかしな答えだと思うだけで。
0161１３２人目の素数さん
2005/05/31(火) 04:05:200162１３２人目の素数さん
2005/05/31(火) 10:22:11教科書でも読み直せハゲ
0163１３２人目の素数さん
2005/05/31(火) 11:04:02バカは黙ってろ。
0164１３２人目の素数さん
2005/06/01(水) 10:35:52証明できる元以外存在しないという意味では最小。
＞ゲーデルの話は
＞「モデルの最小性を一階の言語の公理で言い表すことができない」
＞という話ととれるの？
そう。
0165１３２人目の素数さん
2005/06/01(水) 23:34:42証明できる元の詳細求む。
次の2階の∀を使った帰納法の公理
∀P(P(0)∧∀y(P(y)⊃P(y'))⊃P(x))
を満たすxの値のことだと思うけれど。
0166１３２人目の素数さん
2005/06/02(木) 08:17:34詳細なし。考えればわかる。
0167１３２人目の素数さん
2005/06/03(金) 08:21:27↑なんかよくある誤解の典型のようなページですが、このひと何者なんでしょう？
0168１３２人目の素数さん
2005/06/03(金) 09:40:25＞なんかよくある誤解の典型のようなページですが
そうですね
『（１）「いかなる論理体系でも無矛盾であるとき、
その無矛盾性をその体系の公理系だけでは証明できない」
（第２不完全性定理）。したがって、
（２）「いかなる論理体系において、その論理体系によって
作られる論理式のなかには、証明する事も反証することも
できないものが存在する。」（第１不完全性定理）』
順序が逆だな。
１）第１不完全性定理を証明してから第２不完全性定理が証明される。
２）自然数論を含まない理論ならば、完全な理論が存在する。
0169１３２人目の素数さん
2005/06/03(金) 09:42:59『（３）この「証明する事も反証することもできないもの」を「公理」と呼ぶ。
したがって、すべての論理体系は証明不可能な公理を基礎として
組み立てられている、と言い換えることができる。
公理を基礎とする論理体系を「公理系」と呼ぶ。』
公理はそれ自体で証明とみなされる。
ゲーデルが示した証明も反証もできない命題は
もちろん自然数論の公理ではない。
0170１３２人目の素数さん
2005/06/03(金) 09:49:06『（５）ゲーデルの第２不完全性定理は
「自分自身の無矛盾性を証明する」
という意味での自己言及である。
ゲーデルの定理は、論理学への
自己言及のパラドックスの導入である。』
自己言及は第１不完全性定理で
「この命題は証明できない」
という形で示される。
ところでゲーデルの定理は不完全性を示すものであって
パラドックスではない。
「この命題は偽である」とするとパラドックスになるが
その理由は真偽の(算術的)定義が可能としたところにある。
0171１３２人目の素数さん
2005/06/03(金) 09:59:03『（７）自己言及のパラドックスが生じる由縁は、
自己言及という行為自体が、コトバの世界からの
脱出を意味しているからであろう。
コトバの世界がそれ自体に言及するためには、
そのコトバが置かれている世界を経由しなければ
なし得ない行為だからだ。
コトバの世界はモノの世界の中に浮かんでいる
モノなのである。』
実際にはパラドックスの原因は自己言及ではなく
(再帰的)関数が、不動点をもつにもかかわらず
不動点のないような関数を考えようとすることにある。
つまりモノの世界は《思いこみ》でしかないのに、
それを前提してコトバでモノの世界を語りきろうと
するから破綻するのである。
0172１３２人目の素数さん
2005/06/03(金) 10:13:28２つの異なる立場がある。
１）対角線論法を用いた自己言及のトリックの考案
２）証明検査手順の算術言語による"プログラミング"
１）だという人は
「証明検査手順なんて地道にやれば
プログラミングできるに決まってる」
といい
２）だという人は
「証明検査手順がプログラムとして書けるから
自己言及のトリックが意味をもつんだぞ。
大体対角線論法なんてカントルもラッセルも使ってる」
という。
0173１３２人目の素数さん
2005/06/03(金) 10:16:42０）数学自身の無矛盾性が証明できないことを示したこと
だという人は、ゲーデルの証明を読んだことがないか、
読んだことはあるが、何をいってるのかわからなかった
人である。
後者には同情するが、前者は単に怠惰なだけである。
0174１３２人目の素数さん
2005/06/03(金) 13:59:36どうもよくわからない。一階のどの公理系で真偽が決定できない一階の言葉で書かれた命題が存在する。
でも二階の証明系があれば決定できるならそれは決定できるんじゃないか？たとえばGは自然数の標準モデルを完全に言い表すことのできる系では証明される。
でもそもそも二階の証明系ってどんなもの？
0175173
2005/06/03(金) 14:44:411階の広く認められている公理系である PA や ZF では真偽が決定できない1階の言葉で書かれた命題が存在する。たとえば無矛盾性やG。
だけれど実際はPA や ZFは無矛盾なこととかG の意味は真であることは当然と思われている。つまりそれはより強い(2階の?)証明系で証明されているということじゃないんだろうか？どうでしょう。
そうするとつまり。。。より強い立場で証明できれば十分なんじゃないか？公理と証明したい命題が同じ言葉で書かれている必然性があるのか？というのが疑問。
0176１３２人目の素数さん
2005/06/03(金) 15:09:42まず、二階論理の完全な証明系は存在しない。それが不完全性定理。
つぎに、二階算術では、一階算術の無矛盾性が証明できるだけで
二階算術自身の無矛盾性はやっぱり証明できない。
最後に、より強い立場を持ち出すのは、問題をより難しいものに
棚上げしているだけである。（実際に難しくなっているのか
どうかはわからないが）
0177１３２人目の素数さん
2005/06/03(金) 15:21:09「広く認められている」ことではない（笑）
0178174
2005/06/03(金) 15:23:46無矛盾というだけでは直感に反する公理系も入ってしまうから。もう少し別の基準で公理系をだんだん強力にしてゆく列を考える。そうやっていくといつかは証明できるというようなことはいえないんだろうか？
0179１３２人目の素数さん
2005/06/03(金) 15:27:38＞もう少し別の基準で公理系をだんだん強力にしてゆく列を考える。
で、その「もう少し別の基準」ってズバリ何？（笑）
＞そうやっていくといつかは証明できる
＞というようなことはいえないんだろうか？
証明ヲタクは神経症だから、神経科にいって治してもらいな。
0180174
2005/06/03(金) 15:49:25＞証明ヲタクは神経症だから、神経科にいって治してもらいな。
そうかも。
0181１３２人目の素数さん
2005/06/03(金) 15:50:390182１３２人目の素数さん
2005/06/03(金) 23:07:390183１３２人目の素数さん
2005/06/03(金) 23:18:180184１３２人目の素数さん
2005/06/04(土) 10:28:05＞PAの記号を使った
ワロタ
0185１３２人目の素数さん
2005/06/04(土) 10:34:39のことをいいたいんだろうけど、肝心なところで
間違ってるね。
正しくは
「一階述語論理の任意の閉じた命題Ｐについて
Ｐがどのような解釈でも真であることと
Ｐが証明可能であることは同値」
ちなみに、閉論理式だからといってＰか¬Ｐのどちらかが
必ず証明できるとはいえない。
これは、閉論理式Ｐで、これが真であるような解釈と
偽であるような解釈の両方が存在するようなものを
実際に構成すればよい。サルでもできる。
0186１３２人目の素数さん
2005/06/04(土) 11:16:19バカみたい。
「モデルを持つ公理系は無矛盾」でしょ。PAの標準モデルでPか¬Pのうち真な方を公理とした公理系はやはりモデルを持つ。だから無矛盾。
文脈読んでないみたいだけど>>178への答えのひとつです。
0187１３２人目の素数さん
2005/06/04(土) 11:38:27Consis を付け加えていけば、いつか complete theory に到達するというのは
S.Feferman の結果にある。ただ、ずっとつけくわえていくという場合、極限順序
数のところで何を付け加えるかは、それまで付け加えたものを、どうコード化
するかによるから一意ではない。詳しくは論文を読んでください。
0188１３２人目の素数さん
2005/06/04(土) 11:49:470189１３２人目の素数さん
2005/06/04(土) 12:01:01Construction は Tree の形で分岐して行う。この Tree の長さは帰納順序数で
公理は recursive code でコード化したものを使う。最後に branch をとれば
complete theory が得られるといった筋。帰納関数論の知識がないと読めない。
0190１３２人目の素数さん
2005/06/04(土) 15:42:48＞「モデルを持つ公理系は無矛盾」でしょ。
（中略）
＞PAの標準モデルでPか¬Pのうち真な方を公理とした公理系は
＞やはりモデルを持つ。だから無矛盾。
で、肝心の「ＰＡの標準モデルが存在する」はどこの定理ですか？
あなた、自分の言ってることが
「正しいから正しい！」っていう
同語反復に陥ってることに気づけませんか？
それ、病気ですよ。パラノイアっていう。
0191187-189
2005/06/04(土) 15:55:27で、そのcomplete theoryの公理の全体を記述できますか？
適当な命題をもってきたときに、どのレベルのConsisを公理とすれば
真偽判定に十分であるか知る手続きがありますか？
0192１３２人目の素数さん
2005/06/04(土) 18:05:54ん？どういうレベルの話？
PAの標準モデルは領域に自然数の集合を割り当て。関数記号や等号の意味は自然数の演算をでしょう。公理がすべて妥当式になるからモデルですよ。
0193１３２人目の素数さん
2005/06/04(土) 19:45:24そもそも一階の言葉では自然数のモデルをいいあらわし切れないという結果のすべての原因は帰納法の公理が本来いうべきことを言えていないこと。
これは全ての空でない「部分集合」は下限を持つという整礎の公理でなくてはならなかった。帰納法「すべての命題が、、」はこの結論にすぎない。
ペアノの本来の公理はこういう二階の言葉で書かれるんですよね？
0194１３２人目の素数さん
2005/06/04(土) 20:25:09＞PAの標準モデルは領域に自然数の集合を割り当て。
＞関数記号や等号の意味は自然数の演算をでしょう。
ん？自然数の集合ってどうやって決めるの？
この質問で間違いに気づけないなら･･･馬鹿。
0195１３２人目の素数さん
2005/06/04(土) 20:30:44連続自爆か。整礎の公理は無関係。
述語全体をしばる二階の限量子を持ち出せば
いいかといえばそうでもない。
二階論理自体の正当性が示せないから。
だから、問題の先送りは赤字の先送りと同じく
最後には破綻する。
0196１３２人目の素数さん
2005/06/04(土) 21:02:15そのかわり任意の公理系の性質なんて議論できないでしょ。その範囲が自分では定められないんだから。自分で完全性定理を持ち出したのにね。
0197１３２人目の素数さん
2005/06/04(土) 21:07:59誰にいってるのか不明。
日本語が話せない人にロジックは無理だが･･･
0198１３２人目の素数さん
2005/06/04(土) 21:14:47完全性定理も不完全性定理も標準モデルの定理ですよ。
0199１３２人目の素数さん
2005/06/04(土) 21:23:44違うよ。不完全性定理は、モデルとは無関係に述べることができる。
0200１３２人目の素数さん
2005/06/05(日) 01:25:18標準モデルの定理→標準モデルを同定できる証明系の定理
>>142
例えば第一不完全性の前提のω無矛盾。任意の自然数kについてP(k)ならば∃k¬P(k)は証明できない。この任意の自然数ってじゃ何？
0202１３２人目の素数さん
2005/06/05(日) 01:37:56numeral のことでしょ。
numeral は言語レベルの概念ですが。
0203200
2005/06/05(日) 02:20:35言語自体は普通は集合論で自然数と同じように定義されるけど。そこはどうにか与えるつもりだろうけど。
たとえばゲーデル数化とかどうなるの？集合論以外で定義された言語をどう解釈できるんでしょう。
0204１３２人目の素数さん
2005/06/05(日) 02:44:54一階の述語論理に基づく(帰納的な)理論を展開するのに、集合論は必要ないでしょ。
0205200
2005/06/05(日) 03:08:17ていうのが第二不完全性の証明の内容だったけど。そういうことを言ってる？
でもそのときに形式化できたのは今あなたが作った公理系Tにおける証明だけだよね。任意の公理系についてはいえないよね。
0206１３２人目の素数さん
2005/06/05(日) 03:10:45「命題」＝「疑問」と理解しているやつが多いこと。
高校数学シラネーのか?
0207200
2005/06/05(日) 03:20:31x∈Xは項
aが項、p∈Pならp(a)が命題
a
bが命題ならa⊃bが命題
、、
以上を満たす「最小の集合」が命題。最小の集合のところで集合論を使うと思うんだけど。。
0208１３２人目の素数さん
2005/06/05(日) 06:32:423+8=8+3 の証明には必要ない。
同じように、論理式や証明図の全体を本当の集合として扱う必要があるときは、
集合論のようなものが必要だけれど、述語論理上の理論を展開する上で必要なことは、
個々の論理式や証明図についての超数学的な取り扱いであり、本物の帰納法のような
ものはいらない。
論理式の構成に関する帰納法での証明は集合論的な本当の帰納法ではなく、個々の命題の
具体的な証明の略記として扱うことができる。もちろん、本物の帰納法ではないので
これにより証明できる超数学的命題は限られた形のものになるだろうし、「すべて」や
「存在」については通常の解釈ができないけれど、それなりに十分役に立つ。
0209１３２人目の素数さん
2005/06/05(日) 07:36:57最近は別の場所から飛来。VIPPERという。
0210１３２人目の素数さん
2005/06/05(日) 12:56:09論理式や証明図の構成に関する帰納法を用いるということは、
論理式や証明図の全体を考えることになる。
一般でないからいいというのは間違っている
0211１３２人目の素数さん
2005/06/05(日) 13:34:46PRA だけではモデルの概念を議論できないでしょ。
0212200
2005/06/05(日) 15:38:18知りたいのはそれで不完全性定理が(集合論からいえるバージョンを弱めることなく)本当にいえるかどうか。
0213１３２人目の素数さん
2005/06/05(日) 22:52:430214１３２人目の素数さん
2005/06/06(月) 20:41:56例えば、PA で証明できないが(もちろん PA が無矛盾であることは仮定する
ということだが)、ZFC で証明できる数論的命題はある。
PA でも ZFC でも排中律は証明可能である。証明可能な命題はその体系で
同値である。これから、PA の排中律は ZFC の排中律より真に弱いという
ことになるが、そういうことを訊きたいのだろうか?
0215１３２人目の素数さん
2005/06/08(水) 04:22:52でも不完全性定理はひとつの命題で書けるはず。あとはどの公理を使うか。
0216ウルトラマン
2005/06/08(水) 17:32:05これが言葉の思考つまりデジタル思考である。左脳思考である。アナログ思考
は右脳思考である。アナログ思考はゲーデル数には表せない。ゲーデル数があらわしているのはデジタル言葉の思考である。
現在はデジタル思考文明である。ゲーデルの不完全定理は現在のデジタル文明に限界があることを示している。その限界はアナログ思考で乗り越えられる
今日はコンピュータ、デジタル思考文明である。そして限界に来ている。この限界を乗り越えるためにはアナログ右脳文明に変革せねばならない。
0217１３２人目の素数さん
2005/06/08(水) 18:10:43こ
は
現
今
0218１３２人目の素数さん
2005/06/08(水) 18:22:09214 を読めばわかるが、証明可能な命題は 1 = 1 と同値である。
だから、ZFC と 1 = 1 と PA の 1 = 1 では後者の方が真に弱い
ってことになるという解釈でよいのか? ということである。
つまり、自分の疑問が、たずねて意味のある疑問になっていない
だろうとご指摘してるわけだが、おわかりにならないようだね。
0219１３２人目の素数さん
2005/06/09(木) 05:06:50だいたい逆じゃないか？より強い論理=より多くの公理ではじめていえる定理はより少ない公理でいえる定理より弱い定理だと思うんだけど。
0220１３２人目の素数さん
2005/06/09(木) 05:12:080221１３２人目の素数さん
2005/06/09(木) 05:24:010222１３２人目の素数さん
2005/06/09(木) 07:59:02＞PRAで証明できるか
何を？不完全性定理をかい？
＞ω無矛盾とかRE公理化可能とかをより強い条件にしなくても
そもそもなぜPRAをもってきたのかい？
てゆーか、君PRAってなんだか分かってる？（笑）
0223１３２人目の素数さん
2005/06/09(木) 11:40:190224１３２人目の素数さん
2005/06/10(金) 09:33:22原始再帰的算術(Primitive Recursive Arithmetic)
0225225
2005/06/10(金) 18:20:540226１３２人目の素数さん
2005/06/26(日) 01:28:210227１３２人目の素数さん
2005/07/31(日) 06:38:300228１３２人目の素数さん
2005/09/14(水) 14:23:59に便乗して質問、
組（数、数）を入力して、それが、
ロビンソン算術の公理系の、ある証明のゲーデル数とその論理式のゲーデル数の関係になっていないときに必ず0を出力するチューリング機械
というのもつくれるのでしょうか？
0229１３２人目の素数さん
2005/09/14(水) 18:18:100230１３２人目の素数さん
2005/09/14(水) 19:32:320231１３２人目の素数さん
2005/09/14(水) 19:49:37分かるでしょ？
だからyes
なっていないときに0を出力してなっているときには1を出力する機械だって作れる
0232１３２人目の素数さん
2005/09/19(月) 16:27:530233１３２人目の素数さん
2005/09/19(月) 17:07:04だけどそのままだと論文に難ありなので比ゆを用いた
ゲーデルはビニール袋を使った
0234１３２人目の素数さん
2005/09/20(火) 13:17:57Qにおいて、ある論理式（ゲーデル数がｍ）が証明可能であるとき、∃ｙProv（ｙ、ｍ）がQで証明可能、という文にぶちあたったんですが、
これは、∃ｙProv（ｙ、ｍ）という論理式が、Qの公理と推論規則（S0+S0=SS0みたいなのを証明する目的で設定しているあれ）から、導出されるということですか？
0235１３２人目の素数さん
2005/09/20(火) 18:56:43ってのが何のことを言ってるか分からないけど多分その理解でいいんじゃないかと
∃yProv(y,m)って言っても（S0+S0=SS0みたいなのを証明する目的で設定しているあれ）要するに
∃y∀x_1∀x_2……x_25・x_26+x_27=…みたいな（適当だけど）ただの論理式でしょ？
その論理式が証明可能、ということ
0236１３２人目の素数さん
2005/09/20(火) 21:47:34で、
＞∃yProv(y,m)が、∃y∀x_1∀x_2……x_25・x_26+x_27=…みたいな（適当だけど）ただの論理式
というくだりがよくわからないんですが、
なにか別の論理式
＞∃y∀x_1∀x_2……x_25・x_26+x_27=…みたいな（適当だけど）ただの論理式
を、∃yProv(y,m)という形で表してる、ということでしょうか？
0237１３２人目の素数さん
2005/09/20(火) 22:21:30並んだものでしょ？∀x∀y x+y=y+xみたいに．
で、その中で、ある性質を持つような、自由変数を二つ持つ論理式に
Prov(x,y)と名前を付けてるだけでしょ？そういう風に書いてあるはず
0238１３２人目の素数さん
2005/09/21(水) 00:23:06２項関係Prov（ｎ、ｍ）を考えるとあったので、
Provってのを、２項述語記号と思ってたんですけど、
勘違い？
>>235
>>237
が言うところの、
Prov(x,y)のｘのところにｎをｙのところにｍを入れたやつ、という書き方のほうの、Prov（ｎ、ｍ）ということっすか？（なんだよこの括弧はとは、思ってたんだが・
0239１３２人目の素数さん
2005/09/21(水) 00:31:47自然数論なんだから述語記号は=（と場合によっては不等号<）
しか無いです
あとはSuccesser函数Sとか足し算の記号+とか
掛け算の記号とかquantifierの組み合わせとかを使って
Prov(n,m)は実際に書き下すことが出来ます
ただ実際は膨大な長さになるので手で書き下すのは一寸きついかも
0240１３２人目の素数さん
2005/09/21(水) 00:34:170241１３２人目の素数さん
2005/09/21(水) 10:35:19>>237
>>239
>>240
ありがとうございました。
0242１３２人目の素数さん
2005/09/22(木) 10:49:39どういう方針で書き下すんですか？
原理的には虱潰しで見つかるにしても。
0243１３２人目の素数さん
2005/09/23(金) 00:13:26f_1(n):nで表される記号列のながさ
n*m;ｎで表される記号列の後ろにmで表される記号列を続けた記号列のGoedel数
P_1(n):nはある論理記号/変数記号のGoedel数である
P_2(n):nはある記号列のGoedel数である
P_3(n):nはある論理式のGoedel数である
P_4(l,n,m):ｎはGoedel数lの論理式とGoedel数ｎの論理式から推論規則1によって導かれる論理式のゲーデル数である
…
P_5(n):nはある証明（図）のGoedel数である
P_6(n,m):nはGoedel数nの論理式P、mはPの証明（図）のGoedel数である
∃m P_6(n,m):Goedel数nの論理式に対してある証明が存在する
つまりProv(n)
見たいな感じで気合で作ります
虱潰しよりはましだけど、これが面倒なことこの上ない
0244１３２人目の素数さん
2005/09/24(土) 14:52:38ありがとうございます。
0245１３２人目の素数さん
2005/10/08(土) 01:26:220246１３２人目の素数さん
2005/10/08(土) 02:09:02あとは適当に「完全性定理」「completeness theorem」
でぐぐって出てきたページだけど
ttp://research.nii.ac.jp/~terui/mita03b.pdf
ゲーデルの「完全性定理の証明」ってことなら
http://en.wikipedia.org/wiki/Original_proof_of_G%C3%B6del's_completeness_theorem
ってかぐぐりゃ結構出てくるよ
0247１３２人目の素数さん
2005/10/19(水) 23:39:28定理の理解よりも、この定理にまつわる物語を知ることが主な目的なんですが、お勧めありますかね？
アマゾンだと沢山出てくるんですけど、定理の理解がメインの書籍が多くて。
数学力は、高校数学はほぼ理解できてる程度です。
0248１３２人目の素数さん
2005/10/20(木) 07:13:19「ゲーデルの謎を解く」（岩波科学ライブラリー）
講談社現代新書「ゲーデルの哲学」ぐらいがよろしかろう。
0249１３２人目の素数さん
2005/10/20(木) 14:26:16つ 高橋昌一郎
「ゲーデルの哲学 不完全性定理と神の存在論」
講談社現代新書
別冊宝島EX
「現代数学で遊ぶ本」
→ 書中 廣瀬健 監修「ゲーデルの不完全性定理」はメタメタ超難し理論か？
の章部分を参照のこと
後者はおそらく絶版の上入手困難だと思う
質問はageとくのがオススメ。
あと自分のバックグラウンドくらいは入れとこう。それによってオススメ書は全然変わってくる。
オイラの想定は「>>247は数学専攻以外の理系の大学生（哲学や数学史にも興味あり」ってとこ
で回答
0250１３２人目の素数さん
2005/10/20(木) 14:39:510251１３２人目の素数さん
2005/10/20(木) 17:51:18著者：Ｅ ナーゲル、Ｊ．Ｒ．ニューマン共著、林一訳 出版元：白揚社
いい本っぽい、一寸詰め込みすぎで消化不良ぎみっぽい
ゲーデルの謎を解く
著者：林晋 出版元：岩波書店
値段の割りに本の分量が少なすぎるような、、
ゲーデル未完哲学論稿
著者：ロドリゲス-コンスエグラ著、好田順治訳
出版元：青土社
訳が微妙らしい
Logical Dilemmas
著者： J.W. Dawson, Jr.
出版元：A K Peters, Wellesley, Massachusetts
ゲーデルの伝記的事項について徹底的に書いた本
0252１３２人目の素数さん
2005/10/20(木) 17:53:38ttp://www.shayashi.jp/HistorySociology/HistoryOfFOM/Books/books.html
定理にまつわる物語、じゃゲーデルがアインシュタインに招かれてアメリカに
亡命して、入国のための試験を受けたときに、、といった伝記的事項が知りたいのか
それとも当時の思想的な潮流を知って、どうして不完全性定理が衝撃的だったのか
を知りたいのか、といった周辺事情を知りたいのか、どっちか分かりにくいんだが、、
0253１３２人目の素数さん
2005/10/20(木) 19:32:440254247
2005/10/21(金) 00:52:37>249の予想ぴったしで、数学・物理あたりに興味のある情報科の大学生やってます。
以前読んだサイモン・シンの「フェルマーの最終定理」がドラマスティックで面白かったんで、
そういうイメージで「まつわる物語」と書いたんですが・・・今考えたらフェルマーの定理が特殊すぎるだけですよね。
とはいえ不完全性定理自体にもかなり興味があるんで、上で薦めていただいた本を漁ってみます。
とりあえず「ゲーデルの哲学」買ってくる予定です。安いんで。
昨日カキコの後に見つけたんですが「ゲーデル,エッシャー,バッハ―あるいは不思議の環」ってのが
レビューで絶賛されてたり賞とったりしてるらしく、ゆくゆく読んでみたいと思いました。
でも値段とページ数が有り得ない。
0255１３２人目の素数さん
2005/10/21(金) 01:21:36ホフスタッターのコラム記事を集めたもの？）ですよ
情報科の方なら読んで損することはないでしょう
値段はともかく、ページ数は気に入ったところから
適当に読めばいいのでさほど気にならないと思います
ただゲーデル関係のページはさほど多くないです
0256１３２人目の素数さん
2005/10/21(金) 01:25:18それは「メタマジックゲーム」では?
0257１３２人目の素数さん
2005/10/21(金) 01:28:43＞サイエンティフィックアメリカンに載った
＞ホフスタッターのコラム記事を集めたもの？
のことならそうかもしれない
どちらにしろ似た本だと思うけど
うほっ 俺いい仕事ｗ
でも俺Ｎ議板（ﾆｭｰｽ系）中心の住人
畑違いの予想ぴたりであまりにもﾜﾛｽｗｗｗ
ヒント1：トリップ検索
ヒント2：割れトリップ
ヒント3：アッーーーーーーー！！！
■ このスレッドは過去ログ倉庫に格納されています