ゲーデルの不完全性定理、エッシャーの視覚トリック、バッハの音楽構造を結びつけ、自己参照や形式体系、知能と意識の関係を比喩と対話で探る知的長編。数学・芸術・認知科学を横断する思索が特徴。

認知科学・哲学・文芸を横断する著作で知られる研究者兼作家。言語、自己参照、意識に関する洞察を多数の著作で提示している。