あなたにも（たぶん）わかる 「ゲーデルの不完全性定理」 -- 発端＜ほったん＞編 --

Mon Dec 26 2005:start Wed Dec 28 2005:draft Tue Jan 03 2006:prefinal 関連記事：プログラマのための「ゲーデルの不完全性定理」＠檜山正幸のキマイラ飼育記 1. ゲーデルの定理は神秘主義の対極にある ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見 かけるのだけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、確かに」と納得できるだろうが、その自然言語による説明 により初めて勉強をする（そして、ちゃんと理解する）ってのはほぼ不可能な 気がする。 一見回り道のようでも、記号論理学を一通り勉強して、ゲーデル符号化を （だいたいでも）追いかけないと、納得した気分にはなれないだろう。仮に正 確な説明だったとしても（そうじゃない例も見かける）、それが自然言語で記 述されると、なんだか騙さ

[clicklog]

"ゲーデルの定理を哲学的に解説するのはやめたほうがいいと思う。いやっ、たしかに哲学的に重大な意義を持つだろうし、ゲーデル本人も背景になんらかの哲学（指導原理）を持っていたかもしれない -- それは認める。だ

[Clocker]

ゲーデル　あほ

[ume-y]

「自然言語で記述されると、なんだか騙された ような印象をぬぐいきれない」同感。結局、サンプルコード(http://d.hatena.ne.jp/m-hiyama/20060104/1136328998)と、数式(wikipedia)ですっきりした。理解できてるのか自信はないが。

[kalsa]

ゲーデルの不完全性定理