クルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、 完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。

http://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AB%E3%83%88%E3%83%BB%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB

ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、独: Gödelscher Unvollständigkeitssatz）又は単に不完全性定理とは、数学基礎論における重要な定理 の一つで、クルト・ゲーデルが1931年に発表したもの。 第1不完全性定理: 自然数論を 含む ...

http://ja.wikipedia.org/wiki/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86

2005年12月26日 ... ゲーデルの不完全性定理を、自然言語（日常言語）だけで説明する試みを見かけるの だけど、これは無理スジじゃなかろうか。前もってわかっている人は、 「あー、そうだね、 確かに」と納得できるだろうが、その自然言語による説明により初めて ...

http://www.chimaira.org/docs/GodelsIncomplete.htm

2005年9月5日 ... ここのところ、ぼくの髭は伸びほうだいである。もともとたいして伸びない体質だから ちょっとしか手を入れない。それでも＆quot;鶴仙人＆quot;のような髭になった。胃癌摘出のための 入院中に伸ばしっぱなしにしたのを、そのまま1年近く放置したためだ。

http://www.isis.ne.jp/mnn/senya/senya1058.html

これは、「そもそも何でこんなことが出てきたのか？」というところから始めないとよく わかりません。 数学の証明問題では、ずっと証明していくとどこかで、当たり前すぎて 証明できないようなところに当たってしまうことがあります。 パスカルは「誰も ...

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1410933224

「ゲーデル」とは - Kurt Gödel (クルト・ゲーデル。1906年-1978年) 論理学者、数学者。 ゲーデルの業績は論理学の幅広い分野に渡っているが、中でも次の二つが特に有名で ある。 一階述語論理の完全性定理 ...

http://d.hatena.ne.jp/keyword/%A5%B2%A1%BC%A5%C7%A5%EB

そこへ、若きゲーテルがやってきて、 「数学理論は不完全であり、決して完全にはなりえ ないこと」 を数学的に証明してしまったから、さあ大変。 ゲーデルの不完全性定理とは 以下のようなものだった。 1）第1不完全性原理 「ある矛盾の無い理論体系の中に、 肯定 ...

http://www.h5.dion.ne.jp/~terun/doc/fukanzen.html

ゲーデルが最初に証明した重要定理は，1階述語論理の完全性である．この定理は， シンタックス（形式）とセマンティクス（意味）を峻別した上で，両者の本来的な繋がりを再 構築するものと今日的には解釈される．だが，ゲーデルがその証明を与えた時点では ...

http://www.utp.or.jp/series/godel.html

Amazon.co.jp： ゲーデル: 竹内 外史: 本. ... ゲーデル、エッシャー、バッハ―あるいは 不思議の環 20周年記念版 ダグラス・R. ホフスタッター. 5つ星のうち 4.8 (5). ￥ 6090. ゲーデルの定理――利用と誤用の不完全ガイド トルケル・フランセーン. 5つ星のうち 4.5 ...

http://www.amazon.co.jp/%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB-%E7%AB%B9%E5%86%85-%E5%A4%96%E5%8F%B2/dp/4535782598

数学ガール／ゲーデルの不完全性定理』はWeb書店アマゾンで購入できます。 『数学 ガール／ゲーデルの不完全性定理』は『数学ガール』シリーズの第三弾です。 鈍感な 高校二年生の「僕」と、 才媛ミルカさん＋後輩のテトラちゃん＋従妹のユーリという三人 の ...

http://www.hyuki.com/girl/goedel.html

なんとなく、GNU Emacs on Windows FAQにリンクされていた gnuserv(.zip) を使って みることにした。 ..... (昔はあいまいに考えていたがいまはだいぶ違う); ヒルベルト流 公理系; ゲーデルの不完全性定理と、その証明; ディオファントス方程式(これは定義と、 いくつか手を動かして遊んだことがあるくらいで十分) ..... 2.2.0 ...

2007年9月1日 ... 本日のツッコミ(全2件) [ツッコミを入れる]. _ やまさき [うあ、 .... マンガ喫茶メソッドはここ に書きました。 http://www.machu.jp/diary/200..] .... 料理名と解説はリンクページに 詳しく書いてあります。 香辛料と .... ゲーデルさん(1906-1978)というチェコスロバキア 生まれの数学者さんの証明した .... 3.1.3 ...

2004年9月20日 ... その上、Macのブラウザのipod/その他音響機器→車載用アクセサリのリンクだけが 訪問済みだったコトを考えると、既に何回か指摘されていて、実は便乗値上げを ..... F本 はを公開していないので、意味がねーんだけども。 ... _ トラ [『ゲーデル エッシャーバッハ』をチェックしな。] .... 3.1.0 ...

リンク一覧のみに留めるような仕様としたいです。 .... 本日のツッコミ(全1件) [ツッコミを 入れる] _ きしだ [オライリーは、「ThoughtWorksアンソロジー」の前書きとかが見れる ようになって .... 3.1.1.20111119; udagawaの日記 (O) 2011/11/21 ..... 数学ガール／ゲーデルの不完全性定理』アマゾンで予約開始 (O) 2009 ...

2006年7月2日 ... 教養をつけようと、ベッドでは深遠なる「ゲーデル、エッシャー、バッハ」のページをめくる。 全然進まないな .... メールを作る時(Compose Mail)に端っこにAdd Evnet infoという リンクがあり、イベントを情報を入力するフォームが現れる。(実際はics ...