Mendeley出力
＜図書＞
Exploring randomness
| 責任表示 | Gregory J. Chaitin |
|---|---|
| シリーズ | Discrete mathematics and theoretical computer science |
| データ種別 | 図書 |
| 出版情報 | London ; Tokyo : Springer , c2001 |
| 本文言語 | 英語 |
| 大きさ | x, 164 p. ; 24 cm |
| 概要 | This essential companion to Chaitin's successful books The Unknowable and The Limits of Mathematics, presents the technical core of his theory of program-size complexity. The two previous volumes are...more concerned with applications to meta-mathematics. LISP is used to present the key algorithms and to enable computer users to interact with the authors proofs and discover for themselves how they work. The LISP code for this book is available at the author's Web site together with a Java applet LISP interpreter. "No one has looked deeper and farther into the abyss of randomness and its role in mathematics than Greg Chaitin. This book tells you everything hes seen. Don miss it." John Casti, Santa Fe Institute, Author of Goedel: A Life of Logic.' 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | CHAI/30/3 | 2001 |
|
023212001000733 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | *Chaitin, Gregory J. |
| 件 名 | LCSH:Machine theory LCSH:Computational complexity LCSH:LISP (Computer program language) |
| 分 類 | LCC:QA267 DC21:511.3 |
| 書誌ID | 1001403887 |
| ISBN | 1852334177 |
| NCID | BA51633890 |
| 巻冊次 | ISBN:1852334177 |
| 登録日 | 2009.11.02 |
| 更新日 | 2009.11.02 |