関心空間はノンカテゴリーのクチコミも満載!

新着

... もっとみる
ログイン | ユーザー登録(無料)

Kurt Godel

ゲーデル

数学者。

ゲーデルの不完全性定理というのは「トリビアルではない論理体系では、真なのに証明できない命題を持つ」というものだったような気がします。間違っているかも(^_^;

で、この証明というのが、レコードプレーヤーを壊すレコードといいましょうか、対角線論法といいましょうか、ともかく自己言及的なのでした。うん。

ゲーデル

このページに
携帯でアクセス

2次元バーコード対応の携帯で読み取ってください

結城浩画像 投稿者:
結城浩
  • 2001/11/25登録
  • 2889クリック

このキーワードを共有する

コメント (0)

まだコメントされていません。

つながりキーワード (4)

「次の人々の職業、肩書きないし仕事のカテゴリーを述べよ」 1.鎌田慧 2.米沢冨美子 3.スパイM 4.川島雄三 5.石川六郎 6.平岩外四 7.影山光洋 8.C・L・...

人名・団体名Kurt Godel

  • (pop★)

ほんとはoの上にウムラウトがつく。 1906.4.28~1978.1.14 オーストリア・ハンガリー王国(現在のチェコスロバキアのブルノー?)で生まれる。ウィーン大学で数...

記号論理学者が理論だてて考えることの大切さと楽しさ(こっちがメイン)を教えてくれる。 Y字路の交差点に人が立っています。 その人が嘘つきか正直者か見分けがつきません(ど...

ノンカテゴリー自己言及

  • (結城浩)

「この文は正しい。」という文のように、自分自身へ言及すること。自分について述べること。 プログラマはこれを好む。プログラムを作るプログラムとか、データを記述するデータとか。 関数の再帰呼...

携帯でこのページにアクセス

ゲーデル

2次元バーコード対応の
携帯で上の画像を読み
取るとアクセスできます

トラックバック (0)

まだトラックバックされていません。

トラックバックURL
http://www.kanshin.com/tb/keyword-12781

キャンペーン

ページの先頭へ ページの先頭へ