Loading article…
『モッキンバードを嘲笑う』およびその他の論理パズル：組み合わせ論理の驚くべき冒険を含む（1985年、 ISBN） 0-19-280142-2）は、数学者であり論理学者でもあるレイモンド・スミュリアンの著書です。スミュリアンがよく知られているような、多くの難解な娯楽パズルが収録されています。また、精緻な鳥類学の比喩に基づいて、組み合わせ論理と関連するメタ数学への穏やかでユーモラスな入門書でもあります。
組み合わせ論理は、機能的にはラムダ計算と同等であり、集合論の表現力を持つ記号論理学の一分野であり、計算可能性や証明可能性の問題と深く関連している。スミュリアンの説明は、2人の男が森に入り、そこで見つけた珍しい「鳥」（組み合わせ子）について話し合うという架空の物語の形をとっている（鳥の観察は組み合わせ論理の創始者の1人であるハスケル・カリーの趣味であり、もう1人の創始者であるモーゼス・シェーンフィンケルの名前は「美しい火花」または「美しい小さなフィンチ」を意味する）。スミュリアンの森にいる鳥のそれぞれの種は、組み合わせ論理の従来の扱いに現れる特定の種類の組み合わせ子を表している。それぞれの鳥は独特の鳴き声を持っており、他の鳥の鳴き声を聞くとそれを発する。したがって、ある「鳥」による最初の鳴き声が、一連の鳥による鳴き声の連鎖を引き起こす。
森の奥深くには、他の鳥が自分の声を聞いている様子を真似るマネシツグミが生息している。その結果生じる鳴き声と応答の連鎖は、抽象的な計算モデルに類似している。この類似性を活用することで、チャーチ＝チューリングの計算可能性やゲーデルの定理といった、計算可能性の数学理論における高度なトピックを探求することができる。
本書は最初は簡単ななぞなぞから始まりますが、やがてスコットランドヤードのクレイグ警部の物語へと展開していきます。クレイグ警部はスミュリアンの他の作品にも登場し、森から森へと旅をしながら、様々な教授からあらゆる種類の鳥について学びます。彼はまずある魔法の森から始まり、次に名前のない森、そしてカリーの森（ハスケル・カリーにちなんで名付けられた）、ラッセルの森、名前のない森、ゲーデルの森、最後にマスターの森へと旅を続け、そこでついに「偉大なる問い」に答えを見出します。