Lecture Notes in Computer Science Vol. 37(1975) pp.1-26. こちらから入手可能。 λ計算は、Y-combinatorなどのせいで、古典論理上で単純に形式化しようとすると矛盾を導くことが知られている。また、λ項は包括原理と性質が似ている。この論文では、包括原…

肌寒い日。出勤して所内会議。その後、某書類の申請に関して所内の驚くべき決定を聞く。善後策に走り回るが、結局決定は明日以降に…精神的に疲れた。 帰宅は22時、夕食は水菜とベーコンのパスタ。