18時より21時半、最初からp139第1パラグラフまで。欠席1人。 "True to the Facts"よりは読みやすいが、あくまでも比較の問題。p137第3パラグラフでの話の流れや、p138の第2パラグラフでのbeliefとsentence等との関係を巡って議論が続く。しかし著者がp139で…

やたら研究室のweb/mailサーバーに対する攻撃が多いので、結局学内もしくは一部の指定ドメイン以外からのssh接続を受け付けないことにした。今日から2週間ドメインを受け付け、11月24日から制限を施行する。

"Rejetced part of Brouwer's dissertation"について･･･のはずが、いつの間にかPAにおけるStandard modelとNonstandard modelでは「証明」自身が異なる（nonstandard modelの中では長さが超準的自然数になるようなnonstandardな証明が存在する）こととそれに…

起床は8時。暖かい。午前中はJPL論文の再修正版作成。h師にメールで送る。