TAPL: 純粋なλ計算では関数がすべて

TAPLでλ計算を勉強していて、チャーチ数という面白い数(関数)を知りました。今まで「数字」というのは、数字でしか表現できないと思っていましたが、実はそうではなくて、λ計算の世界においては関数で数字が表現できてしまうのです。不思議ですね。

興味を持たれた方は是非一度チャーチ数について調べてみて下さい。面白いと思いますよ。