■

ゲーデル・セミナー@マルセイユ。
ゲーデルの遺稿ノートと格闘。今日も大した仕事はできず。
本日の成果は、1933年の、証明可能(Beweisbar)が様相オペレータのようにふるまうことを指摘した論文との連関が明らかになったことでしょうか。現代的には、S4の体系になるヤツです。
セミナー後は、マルセイユのレストUで、魚を食べて、公立図書館にCDを返しに行く。
どうも寒暖の差が激しく、最近は疲労からか体調不良気味なので、カフェで論文改訂を少ししたあと、おとなしく帰宅。