Journal of Philosophical Logic vol.12 No.5(1983), ファイルはこちらから。Akm君の紹介で3月末に読み始めたこの論文、最近忙しかったので中断を挟んで、やっと本日、帰りの電車の中で読了。 タイトル通り、「構成的数学（もしくは直観主義数学）は古典数学…

よく晴れた日、起床は9時半。出勤して書類書きの続き、Tkさんに意見を伺う。20時に退所、帰宅は21時半。夕食はブリの照り焼きとホウレン草のおひたし。