今日は以下の論文を拝読し、 古森雄一 「汎用システムとしての「ラムダ計算+論理」」、『数理解析研究所講究録』、共同研究 算術体系の証明論、京都大学数理解析研究所、1533巻、2007年 その前半の一部を勉強のためにまとめてみる。しかし時間切れで、充分に…

最初に。 私は前回22日の日記の項目名に‘Illative Combinatory Logic as Neo-Fregean Logicism’という言葉を使いましたが、Illative Combinatory Logic が Neo-Fregean Logicism として、どこまでうまく行っているのか、どの程度その名にふさわしいのか、こ…