認知科学研究者。芸術や言葉遊び、数学にひそむ再帰、対称性、自己言及性を横断的に取り扱ったエッセイで有名。

メタマジック・ゲームの中でLispに言及している。

• 『ゲーデル、エッシャー、バッハ』（1979）
• 『メタマジック・ゲーム』（1985）
• 『わたしは不思議の環』（2018）