ゲーデル
数学者。
ゲーデルの不完全性定理というのは「トリビアルではない論理体系では、真なのに証明できない命題を持つ」というものだったような気がします。間違っているかも(^_^;
で、この証明というのが、レコードプレーヤーを壊すレコードといいましょうか、対角線論法といいましょうか、ともかく自己言及的なのでした。うん。
このページに
携帯でアクセス
２次元バーコード対応の携帯で読み取ってください
- 2001/11/25登録
- 1236クリック
ソーシャルブックマーク
「ゲーデル」に関連するキーワード
Kurt Godel
詭弁論理学 (中公新...
立花隆の秘書試験
ブログパーツ
- メイン
- コメント(0)
- つながり(4)
- トラックバック(0)
コメント (0)
まだコメントされていません。
つながりキーワード (4)
立花隆の秘書試験
- (きとう)
｢次の人々の職業、肩書きないし仕事のカテゴリーを述べよ｣ 1.鎌田慧 2.米沢冨美子 3.スパイＭ 4.川島雄三 5.石川六郎 6.平岩外四 7.影山光洋 8.Ｃ･Ｌ･...
Kurt Godel
- (pop★)
ほんとはoの上にウムラウトがつく。 1906.4.28～1978.1.14 オーストリア・ハンガリー王国（現在のチェコスロバキアのブルノー？）で生まれる。ウィーン大学で数...
詭弁論理学 (中公新書 (448))
- (panhead)
記号論理学者が理論だてて考えることの大切さと楽しさ（こっちがメイン）を教えてくれる。 Y字路の交差点に人が立っています。 その人が嘘つきか正直者か見分けがつきません（ど...
自己言及
- (結城浩)
「この文は正しい。」という文のように、自分自身へ言及すること。自分について述べること。 プログラマはこれを好む。プログラムを作るプログラムとか、データを記述するデータとか。 関数の再帰呼...
携帯でこのページにアクセス
２次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます
関心空間人気のキーワード
ノンカテゴリーカテゴリー
-
長谷川京子 masakix@首相
-
マイクロペニス / ミクロペニス majo
-
東西線早起きキャンペーン (東京メトロ) メタボリカ
-
Jagabee moz.ks
-
竹生島 geetu
-
木下優樹菜 モスビー
-
藤川優里 凡
-
tipoca issei
-
BIGMAN おさむ
-
東京で伝わらない関西弁 ぽれぽれ
キャンペーン
-
7周年ありがとう。8年目もよろしく。
-
ひそかに完成！
-
文化放送 Juicy Style buono! buono!
美人のモト、ただいま放送中！
-
あなたのブログに出張します
-
新生活を楽しもう。コミュニティもオープン！
