今回は、前回書き忘れた内容を、少々補足したいと思います。 あ、本題に入る前に、歴史について一言追加を。縮約規則がラッセル・パラドックスを導出する上で必要だという点は、1930年代には既に Curry やFitch といった Combinatry logic の研究者には知ら…

朝夕がだいぶ涼しくなった。起床は8時、よく寝た。 出勤して本読み。現在、論文のアイディアはあるのだが、今日一日考えてみて、その微妙っぷりが浮き彫りになった。帰宅は20時。夕食はハヤシライス、キノコがたっぷり。