『ゲーデル、エッシャー、バッハ』の薄い本が出ます。: わたしが知らないスゴ本は、きっとあなたが読んでいる

2017/10/03 142 users GEB エッシャー ホフスタッター ダグラス メタファー

知的冒険の書として『ゲーデル、エッシャー、バッハ』なるものがある。タイトルが長いので、頭文字をとってGEBとしよう。 GEBは、ダグラス・ホフスタッターという天才が、知を徹底的に遊んだスゴ本だ。不完全性定理のゲーデル、騙し絵のエッシャー、音楽の父バッハの世界を、「自己言及」のメタファーで縫い合わせ、数学、アート、音楽、禅、人工知能、認知科学、言語学、分子生物学を横断しつつ、科学と哲学と芸術のエンタ... 続きを読む

『ゲーデル、エッシャー、バッハ』はスゴ本: わたしが知らないスゴ本は、きっとあなたが読んでいる

2014/05/11 410 users GEB Bach エッシャー Escher 読後

一生モノの一冊。 「スゴ本＝すごい本」の何が凄いのかというと、読んだ目が変わってしまうところ。つまり、読前と読後で世界が変わってしまうほどの本こそが、スゴ本になる。もちろん世界は変わっちゃいない、それを眺めるわたしが、まるで異なる自分になっていることに気づかされるのだ。 『GEB（Godel, Escher, Bach）』は、天才が知を徹底的に遊んだスゴ本。不完全性定理のゲーデル、騙し絵のエッシャ... 続きを読む

「現代思想」8月臨時増刊号「総特集 フォン・ノイマン」について - TuvianNavy’s port

2013/07/29 92 users フォン・ノイマン 現代思想 総特集 ノイマン 野崎昭弘

こういう雑誌が出ました評者は学生時代以来20数年ぶりにこの雑誌を買いました。現代思想 2013年8月臨時号 総特集=フォン・ノイマン ゲーム理論・量子力学・コンピュータ科学作者: J・フォン・ノイマン,K・ゲーデル,西川アサキ,野崎昭弘,佐藤文隆,今野浩,高橋昌一郎,小島寛之,小澤正直,池上高志出版社/メーカー: 青土社発売日: 2013/07/12メディア: ムックこの商品を含むブログ (5件)... 続きを読む

檜山正幸のキマイラ飼育記 - プログラマのための「ゲーデルの不完全性定理」(1)

2006/01/04 96 users おば 備忘 総論 プログラマ 緊急パッチ

雑記／備忘 | 07:56 | 「プログラマのためのJavaScript」の番外シリーズ -- いやっ、ホントに。これはシリーズのハブエントリーです。番号を（0じゃなくて）1にしたのは、全体目次だけじゃなくて内容が含まれるから。    ※ 印刷時にはサイドバーは消えるはずです、お試しください。シリーズ全体目次（予定） （この記事；総論）速攻速習編自己適用からゲーデル化へ「展望」への緊急パッチ（オハ... 続きを読む

なぜLispなのか

2005/05/02 276 users LISP ミンスキー 体系 性定理 天才

Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直... 続きを読む