To Mock a Mockingbird とは

Mockingbirdと他のロジックパズルを模擬する:Combinatory Logic(1985、ISBN 0-19-280142-2)に驚くべき冒険を含めることは、数学者で論理学者Raymond Smullyanの本です。それはSmullyanがよく知られている種類の多くの重要なレクリエーションパズルを含んでいます。それはまた、精巧な鳥類学のメタファーに基づいて構築された、組み合わせ論理と関連するメタマテリアルへの優しくてユーモラスな紹介でもあります。
ラムダ計算と機能的に同等なコンビネーション論理は、集合論の表現力を持ち、計算可能性と証明性の問題に深く関わっているシンボリック論理の枝である。スミリャンの展覧会は、森に入って珍しい "鳥"(コンビネータ)がそこにいることを議論している2人の男の想像上の説明の形をとっている(バードウォッチングは、組み合わせ論理の創始者の一人、Haskell Curryの趣味だった)。 Smullyanの森林にある鳥類のそれぞれの種は、従来の組み合わせ論理の処理に現れる特定の種類の組合せを表しています。それぞれの鳥には、別の鳥の声が聞こえるときに発する独特の呼びかけがあります。したがって、特定の「鳥」による最初の呼び出しは、連続した鳥による一連の呼び出しを連鎖させる。
森の中の奥深くには、他の鳥たちが自分の声を聞く模倣鳥が住んでいます。その結果得られるコールと応答のカスケードは、抽象的なコンピューティングモデルに類似しています。このような類推によって、教会 – チューリングの計算能力やゲデルの定理などの計算能力の数学的理論における高度なトピックを探求することができます。