今日は Pseudo-Scotus あるいは Albert of Saxony の validity をめぐる paradox と Curry's Paradox について、私がちょっと驚いたことを記してみます。ただし、その驚いたこととは、だいぶ前の入門書に記されていることですから、目新しいことではありませ…

洋書 Reinhard Kahle, Michael Rathjen eds. Gentzen's Centenary: The Quest for Consistency, Springer, 2015 Katalin Bimbó Proof Theory: Sequent Calculi and Related Formalisms, CRC Press, Discrete Mathematics and Its Applications Series, 2015 …

ここ一か月ほどは大変忙しく、かつ体調不良で苦労しました。 病院にも行ってきました。 おかげで全然勉強が進んでいません。 しかし忙しさも峠を越え、体調不良も改善の兆しを見せ始めています。 ようやく落ち着いて来たという感じです。