知の限界
原題は、
The Unknowable
↓にあるような
http://www.iba.k.u-tokyo.ac.jp/...
(講義)内容が書かれていて
LISPでメタ数学してます♪
姉妹本に当たる数学の限界は
併読推奨でしょう。
ちなみに、
↓が
http://www.umcs.maine.edu/...
著者のGregory J. Chaitinのホームページの
URLです。
- 商品名: 知の限界
- 価格: ¥2,940
- 著者: 黒川 利明, G.J.チャイティン,
- 出版社: エスアイビー・アクセス
- 発売日: 2001-09
-
詳細をみる
- 2007/12/15更新
- 2003/08/17登録
- 1379クリック
- メイン
- コメント(2)
- つながり(3)
- トラックバック(0)
コメント (2)
2004/03/14
島崎丈太 私は数学関係が全然駄目なので悲しい思いもしましたが、リンク先から繋がっている河東先生のサイトが面白くて色々読んでしまいました。
カオナシ この本は、載っているLISPプログラムが読めないと内容が理解できたとはいえないような構成になっています(その上、訳文がわかりやすいとは言い難い)。プログラムは、 http://www.cs.auckland.ac.nz/CDMTCS/... とかで提供されているインタープリターで実際に動かしてみることが出来ますよ。
つながりキーワード (3)
計算理論の基礎
- (カオナシ)
原題は、 Introduction to the Theory of Computation オートマトンと(形式)言語の理論、 計算可能性の理論、 及び計算の複雑さの...
Mizar
- (カオナシ)
2005年に信州大工学部教授の中村八束氏らが Jordan曲線定理(「閉じた曲線が平面を、内と外とに分ける」という 直感的には明らかな定理)の (厳密な最終)証明( ftp://mizar....
スマリヤンの決定不能の論理パズル
- (カオナシ)
原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・M・スマリヤン著の 論理パズル本にして ゲーデルの不完全性...





Nicolaの利点


