ゲーデル,エッシャー,バッハ―あるいは不思議の環
出典: 涼ペディア
1 行 | 1 行 | ||
<amazon>4826901259</amazon> | <amazon>4826901259</amazon> | ||
- | '''ゲーデル,エッシャー,バッハ―あるいは不思議の環''' | + | '''ゲーデル,エッシャー,バッハ―あるいは不思議の環'''は著者のダグラス・ホフスタッターが34歳のときに出版した科学書。 |
<br clear="all"> | <br clear="all"> | ||
- | == | + | == 内容 == |
+ | |||
+ | === 記号から意味 === | ||
p-7 | p-7 | ||
12 行 | 14 行 | ||
- | == 無矛盾性と完全性 == | + | === 無矛盾性と完全性 === |
p116 | p116 | ||
<blockquote>無矛盾性=どの定理も(ある想像可能な世界で)正しいと解釈できる場合。<br /> | <blockquote>無矛盾性=どの定理も(ある想像可能な世界で)正しいと解釈できる場合。<br /> | ||
完全性=(ある想像可能な世界で)正しく、しかもそのシステム内で「よい列」として表現できる文がすべて定理である場合。</blockquote> | 完全性=(ある想像可能な世界で)正しく、しかもそのシステム内で「よい列」として表現できる文がすべて定理である場合。</blockquote> | ||
+ | |||
+ | == 関連 == | ||
+ | |||
+ | [http://amazon.jp/o/ASIN/4044292094/isbn1-22 涼宮ハルヒの分裂]内の本書に言及している一文 | ||
+ | |||
+ | === 涼宮ハルヒの分裂 === | ||
+ | |||
+ | p11 | ||
+ | <blockquote>なんか哲学者と画家と音楽家が環になっているとかいうようなタイトルのその本は、例によってコンクリートブロックみたいに厚い。</blockquote> | ||
[[Category:書籍]] | [[Category:書籍]] | ||
[[Category:科学・テクノロジーの書籍]] | [[Category:科学・テクノロジーの書籍]] |
2009年11月20日 (金) 15:21時点における版
スポンサード リンク