2005-03-24 ■ 日々 昨日に引き続き、レクチャー。昼食。ちょっと一休み。またレクチャー。縦横無尽に線形代数を駆使しながら進む論理学。こうも"real mathematics"が駆使されているのを見ると、論理学が数学に基礎を与えるとかいう伝統的な話はどうなったのだろう、とふと思う。