あなたにも（たぶん）わかる 「ゲーデルの不完全性定理」 -- 発端＜ほったん＞編 --
Mon Dec 26 2005:start Wed Dec 28 2005:draft Tue Jan 03 2006:prefinal 関連記事：プログラマのための「ゲーデルの不完全性定理」＠檜山正幸のキマイラ飼育記 1. ゲーデルの定理は神秘主義の対極にある ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見 かけるのだけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、確かに」と納得できるだろうが、その自然言語による説明 により初めて勉強をする（そして、ちゃんと理解する）ってのはほぼ不可能な 気がする。 一見回り道のようでも、記号論理学を一通り勉強して、ゲーデル符号化を （だいたいでも）追いかけないと、納得した気分にはなれないだろう。仮に正 確な説明だったとしても（そうじゃない例も見かける）、それが自然言語で記 述されると、なんだか騙さ
thought.ne.jp＃よい子の社会主義：よい子の史的唯物論１
――名探偵ゲーデル先生のところに、今日も助手のカンパネルラ君がやってきました。 ゲーデル やあ、カンパネルラ君。あいかわらず金利生活者みたいなナリして。今日はいったいどうしたんだい？ カンパネルラ 先生を真のプロレタリアートと見込んで聞きたいことがあるんです。 ゲーデル ハラショー！ おだやかじゃないね。また誰かにいじめられたのかい？ カンパネルラ ぐすん。どうしてそう思うんですか？ ゲーデル だって君の上着の裏ポケットから、涙でくちゃくちゃになった「帝国主義論」がのぞいているじゃないか。 カンパネルラ 先生こそ、そのスリッパ、マオ・カラーですよ。それでぼくが聞きたいのは「史的唯物論」のことなんです。 ゲーデル 「史的唯物論」というのはね、社会学のことなんだよ。 カンパネルラ この大うそつき！ なんだって、そんなデマを。 ゲーデル 本当だよ。ロシアの革命家ブハーリンが「
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
