て日々

2020年7月

目次へ

朝、小雨。昨日考え直した方針に従って \(V=L\) のもとでの選択公理の証明の下書きをする。ゲーデルの \(L\) の話なので「言語の再形式化」ということが関わってくる。考えれば考えるほど難しい話題だ。このあたりの話を追っていると、集合論をやるにあたっても、あの不完全性定理についてきちんとインテンシブに理解する必要があることを痛感する。もっとも、きちんと学べば難しくなくなるという性質の話でもないのであるが。

電器店が開く時刻になったので出かけていって、掃除機を買う。ついでにスーパーマーケットでエコバッグを買う。昼、また12時台の昼飯時に教室会議。まあ時間調整が楽なんだろうけどね。午後、パワポのスライドの微修正。こういうものは本当に永遠に未完成で終わりがない。止めたところが終わりというものなのだろう。

なんとなくで先送りを繰り返してきたが、いいかげんアレを書いてしまわねばならん。方針の若干の見直しをして、ゆるゆると再始動する。

夕方から中四国のいろいろな大学の関係者によるZoomでの会議に参加。といっても、これに関しては、俺は話を聞いてるだけだった。

朝、三番町ガーデンプレイスカフェで数理論理学の第10回分の講義ノートを作る。そのあとコンビニへ税金やらアパートの保険料やらを払いに行き、ついでに昼飯と飲み水を買ったとき、レジで「袋どうしましょう?」と聞かれた。そこで改めて、なるほどもう7月になったんだと気づいた。これからはマイバッグを持ちあるかないとね。

職場のWindows PCで使うためのヘッドセットとウェブカメラと、さらに増設用のRAMモジュールが届いた。RAMが16GBになって、これでTeamsを立ち上げっぱなしにしていても大丈夫のはず。ヘッドセットとウェブカメラはいままで私物で間に合わせていたが、それはやはり家で使うことにして、研究費で新しいのを買ってもらったのだ。HDの解像度やらオートフォーカスやらで、けっこう高性能なウェブカメラのようだが、通常のリモート会議でそういう高性能なカメラが本当に必要なのかどうかは、よくわからない。