このような本がまだHabréで見られていないのは驚くべきことです。 私は助けることができませんが、この欠陥を修正しようとします。
それで、アメリカのコンピューター科学者ダグラス・ロバート・ホフスタッターの本「Godel、Escher、Bach：この無限の花輪」を紹介したいと思います。
アキレス：今、この本が「ゴリラ、銀、金」または「エミュー、金...」と呼ばれていたら、それでも理解できました...
カメ：たぶん、銅、銀、ヒヒを好むでしょうか？
30年以上前に書かれたこの信じられないほどの作品は、まったく興味を失っていません。
BBBは、しゃれ、ネストとオーバーレイのレベル、4番目の壁、5番目とN番目のブレークでいっぱいです。 BBBは、抽象の論理に関する本であり、乾式ではなく生きた例によって書かれています。 著者が各章で作成した奇妙なキャラクターは、ルイスキャロルのスタイルで奇妙な対話を導き、それから著者は、会話の意味、副意味、メタ意味をあまり数学なしで簡単な言語で説明します。
アキレス：すごい！..何が欲しい？ そして、私は知っています：最初に「千夜一夜」を読んだときでも、それは私に起こりました。これらの単純な物語は、入れ子人形のように互いに挿入されました。 私は3つではなく、STOの欲望が欲しいですか？ いいでしょう、Cさん。 おとぎ話のこれらのカツオドリが同じことを求めると推測しない理由を私は理解できませんでしたか？
タートル：たぶん、あなたは理解するでしょう。
天才：アキレス、ごめんなさい。しかし、私はメタの欲望を満たしていない。
アキレス：メタの欲求とは何か知りたい...
天才：しかし、これはメタメタの欲望、アキレスであり、私もそれらを満たすことができません。
アキレス：どうですか？ 私は何も理解していません...
アキレスとカメは何について話しているのですか？ さまざまなことについて。 バッハの音楽、エッシャーの絵画、ゲーデルの論理について。 人工知能と自然知能について。 回文の要素を持つ音楽のカノンについて。 プログラミング言語について。 自分自身を描く手について。 フェルマーおよびゴールドバッハの定理について。 記録を失う完璧な蓄音機について。 理想的な蓄音機を破壊するように選択された、共振周波数を持つプレートについて。 ヒトゲノムについて。 禅哲学について。 そして、テキストを通して、またはオープンで-ゲーデルの論理、エッシャーの絵画、バッハの音楽について。
BBBは、他の多くの本のように、著者の純粋なファンタジーのようなものではありません。 むしろ、論理と同時に生まれる（つまり常に存在する）意味と再帰の無限のネストの世界へのガイドです。 これは、プログラミングの抽象的な微妙さをよりよく理解するのに役立ちます。 そして、存在の奇妙な質問についてより深く考えてください。 ゴッデル、エッシャー、バッハは、あなたが読むことができる抽象化に関する最高の哲学書です。
ところで、あなたがここにたどり着いたので、あなたは私の熱狂的なスピーチを聞くのをやめ、本自体を勉強し始める時です。 たとえば、ネット上で簡単に見つけることができます 。 しかし、あなたはすでにBBBを読んでいますか？ それとも、将来読みますか？ それとも読んでる？
カニ：なるほど。 あなたの本はかなり面白そうです。 たぶん私はそれをどうにか読むでしょう。 （最後の対話に沿って、原稿を抜けます。）
作者：最後の対話は、あなたにとって特に興味深いものになると思います。かなり面白いヒーロー、つまりあなたによって作られた即興演奏に関する興味深い発言があるからです！
カニ：本当ですか？ そして、あなたは私に何を言わせましたか？
作成者：ちょっと待ってください。 これらはすべてダイアログの一部です。
アキレス：私たちは皆、ダイアログに参加していると言いたいですか？
投稿者：もちろんです！ そして、あなたはそう思わなかった？