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

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

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

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

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

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

なぜLispなのか

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

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