kohyamaさんの感想・レビュー

数学パズル ものまね鳥をまねる POD版 ―愉快なパズルと結合子論理の夢の鳥物語

著者 : レイモンド・スマリヤン 阿部剛久 黒沢俊雄 福島修身 山口裕

• 森北出版 (2010年4月5日発売)

前半は論理パズル. 後半はコンビネータ論理の話.

コンビネータ論理は, 一引数を取り関数を返すような関数しかない世界. もちろん返される関数は一引数を取り関数を返す関数. （なんとこの体系はチューリング完全である.）

この本の著者スマリヤンは, これを, 鳥の名を呼べば別の鳥の名を答える鳥達のいる世界として描いている.
コンビネータに鳥の名前を付けたのはスマリヤンが最初なのだろうか.

もちろん「ものまね鳥」はこの世界で重要な役割を果たす鳥である.

感想投稿日 : 2012年11月14日

本棚登録日 : 2011年6月4日