ゲーデル・セミナー@マルセイユ。 ゲーデルの遺稿ノートと格闘。今日も大した仕事はできず。 本日の成果は、1933年の、証明可能(Beweisbar)が様相オペレータのようにふるまうことを指摘した論文との連関が明らかになったことでしょうか。現代的には、S4の体…