投稿元：

レビューを見る

　中心となっているテーマは「自己言及」だが、これが数学におけるゲーデルの不完全性定理、計算機科学におけるチューリングの定理、そして人工知能の研究と結びつけられ、渾然一体となっている。エッシャーのだまし絵やバッハのフーガはこれらをつなぐメタファーとして機能している。著者のホフスタッター自身、本書の中で「これは自分にとっての信仰告白である」といっているように、おそらくこの本は特定の概念を読者に説明するといった目的のものではない。むしろ人間は永久に自分自身に興味をもつことをやめられないであろうという、ホフスタッターの信念をひたすら熱狂的に記述したものとなっている。

投稿元：

レビューを見る

大学以来の再読。20年以上たってるけどやっぱりすごい本です。翻訳はJジョイスを訳してる柳瀬さんだったとはじめて発見。詳細は後日。

投稿元：

レビューを見る

*****
＜序論　音楽=論理学の捧げもの＞
想像力の類似性は著しい。バッハとエッシャーは同じ一個の主題[不思議の環]を，音楽と美術という二つの異なる「調」で演奏しているのだ。(p.29)

　不思議の環の概念に内在するのは無限の概念だ。というのも，環は無限の行程を有限の手段で表現する手段でなくて何だろう。(p.29)

無矛盾性を保とうとするのはもちろん重要なことであるけれども，その努力がとんでもなく醜い理論をわれわれに強いるとしたら，どこかがまちがっているのである。(p.39)

…コンピュータというものは，その本性からして，最も硬直的で，欲求をもたず，また規則に従うものである。いくら速くても，意識がないものの典型にすぎない。それなら，知的な行動をプログラム化することがどうして可能なのだろうか？　これは最も見えすいた用語の矛盾ではなかろうか？　本書の主要な目的のひとつは，読者の一人一人がこの外見上の矛盾にまともに対面するように仕向け，これをよく味わい，考え，分解し，そこで転げまわって，そして最後には，形式性と非形式性，生物と無生物，柔軟と硬直の間の超えがたく見える隔たりについて，新しい洞察を得られるようにすることである。
　これがAI（Artificial Intelligence 人工知能）研究の関心の対象である。そしてAI研究の奇妙な特色は，柔軟でない機械に，どうすれば柔軟になれるかを教える規則の長い列を，厳密な形式システムのもとで組み立てようと試みる点にある。(p.43)

しかしついに私は理解した。私にとってゲーデルとエッシャーとバッハは，何か中心をなす堅固な本質によって異なる方向に投じられた影にすぎないのであった。私はこの中心をなすものを再構成しようと努め，そうして本書を仕上げるにいたった。(p.45)


＜第1章　MUパズル＞
自分がしていることを何かしら観察しないわけにはいかないし，その観察から仕事に対するよい洞察が生れる。これこそ，すでに述べたように，コンピュータのプログラムには欠けているものである。
　…もし計算器で1とおき，それに1を加え，さらに1を加え，また1，また1，等々と何時間もつづけていったとき，その機械はいつまでたっても次の仕事が予想できない。そして，ただその仕事をつづけるであろう。しかしどんな人でも，反復作業にたちまち気づくであろう。(p.53)

少し前にカナダで開かれたコンピュータのチェス大会で，参加したプログラムの中に，勝負が終るずっと前にあきらめるという，珍しい特徴をもったプログラムがあった。そのプログラムは参加プログラム中一番弱いもので，チェスがあまり上手ではなかったが，望みのない局面を認識し，ただちにその場で投了して，相手のプログラムが退屈な詰めの儀式を完了するのを待とうとしなかった。すべての試合に負けたけれども，堂々と負けた。地元のチェス指しの多くが，これに感銘を受けた。このように，もし「システム」を「チェスを指すこと」と見なすなら，このプログラムがシステムから脱出するための洗練された，あらかじめプログラムされた能力をもっていたことは明らかである。一方，「システム」を「コン���ュータが実行するようにプログラムされたことのすべて」と考えるなら，コンピュータにはシステムから脱出する何の能力もないことは明らかである。(p.54)

　形式システムについて考えるときは，次の点がとくに重要である。それは，システムの中で仕事をすることと，システムについて表現や観察を行うこととを区別することである。(p.54-55)


＜第2章　数学における意味と形＞
　数学者が二つの既知の構造の間の同型対応を発見すれば，それは喜びをもたらす。それはしばしば「青天の霹靂」であり，驚嘆の源となる。既知の二つの構造の間の同型対応を認識することは，知識の重要な進歩なのである―そして私は，そのような同型対応の認識こそ，人の心に意味を創造する，と主張したい。(p.66)

　形式システムにおいては，意味は受動的でなければならない。われわれは各文字列を，それを構成する記号の意味に従って読むことができるが，記号に与えた意味だけに基づいて新しい定理を作り出すことは許されない。解釈された形式システムは，意味ぬきのシステムと意味をもつシステムの間の線にまたがっている。その文字列は「表示する」ものとみなしてよいけれども，そのことはただ，システムの形式的な性質の帰結としてのみ生ずるのである。(p.69)

投稿元：

レビューを見る

ちょろちょろ読み進めていたものの、100ページちょいで挫折。
実際に読んでて面白いし、通読すればさらに面白いんだろうという予感もあるのだが、いかんせん長いし難しいしそもそもゴールがわからない。
まあ、いまはまだ読むタイミングじゃなかったということで、しばらく寝かしておくことにしよう。

投稿元：

レビューを見る

いつか読もうと思いつついつまで経っても読めないのはよくあることなので、もう今しかないと読んでみた。そして今のうちに読んでおいて良かったと心の底から思えた。
途中から迷子になっている自分にイライラしたり、なんだかよくわからないけどすごく大事なこと言ってる気がするなと興奮したり、逃れ難い不思議な魅力があった。頭のなかがぐちゃぐちゃになりそう。（あと翻訳凄いですねこれ）
能力不足で今はまだまともなレビューが書けそうにもない。
次にこの本を開くのはいつになるかなぁ。

投稿元：

レビューを見る

好き過ぎ。真剣にふざけたでも真剣すぎる知性の遊び。
ついでに、文章が平易なので、一般教養あれば充分に理解できる内容。
この一冊を巡って複数分野の識者がディスカッションしてくれる企画を見てみたい。

投稿元：

レビューを見る

読み始めました。面白いんだけど、G・E・Bのエッシャーの部分以外は理解するのが結構ハード。20年以上前、初版で買ったが途中で挫折。二の舞いになるかも・・・

投稿元：

レビューを見る

以前読んで気に入っていたので、再度買いました。
数学の難しい話題をかみ砕いて解説してくれます。
まあ、分厚いので、ゆっくり読み直すことにしましょう。

投稿元：

レビューを見る

1979年春 刊行
Godel,Escher,Bach: An Eternal Golden Braid

投稿元：

レビューを見る

学部生のときに自主ゼミを開いて、半年かけてゆっくり読んだ。物理、情報、心理の人が集まり、いっしょに頭をひねったのは良い体験だった。
論理とはただ正しく遅いものではなく、使いようではかくも鮮やかにスピード感あふれるものなのだ！と感動させられたのを覚えている。
今でもたまに開いて読んだりするけれども、世界の秘密にふれるようなわくわく感は色あせない。

投稿元：

レビューを見る

再読。理解できた！とは到底言いがたいまま一通りは最後まで読み終えるもやはり曖昧模糊で、何年か経って今度はきちんと分かるだろうかと再読してみるもやはりよく分からず、ということを何度も繰り返している本がいくつもあるのですが、そういう本になりそうな一冊。時間をおいてまた読もう。一読で理解できる賢い頭がほしい。

投稿元：

レビューを見る

まだぜんぜん途中。

かなり衒学的な感じがある。ゲーデルの不完全性定理についてはもうちょっとコンパクトな解説を読んだほうがいいかも。