23/01/02 16:18:33.82 bB/h5A70.net
>>309
＞ゲーデルが、不完全性定理の証明に、果たして何年の歳月をかけたのか？
そんなにかけてない １年くらいじゃないかな
ゲーデル・コーディングは、いわば記法
証明可能性述語の構成は、いわばプログラミングだから面倒臭い
でもやりゃできる
対角線論法を使えばいい、というのはそもそものアイデア
ゲーデルは、もともとヒルベルト・プログラム解決を目指してたが
その途上で、
「これ、ラッセルのパラドックスと同じ理由で、実現できないじゃん」
と気づいてしまった
で、できないことを示したのがゲーデルの不完全性定理
ちなみにガロアがガロア理論を思い付いて完成させたのは
ラグランジュの分解式を知ってかららしい
と、どっかで読んだ気がするが・・・