昼のビアホールへ。今度こそ心おきなくビールを飲む。それからいろいろお話を伺う。特に直観主義に対するゲーデルの立場と、直観主義へのクライゼルの影響について。立川と武蔵境をまわり、25時に帰宅。

14時45分に集合、15時からワークショップ、提題者の一人として「包括原理と超準的自然数」という内容の発表をした。提題者4人のなかで一番最初に発表でしたが、発表の出来はそれなりと言ったところでしょうか。今回のワークショップは、出席された方が40人、…

会場が前日と変わっていて、少し遅れて到着。ワークショップに行くが、レジュメがもうなくなっていたので、残部がないかと聞いたら会場係員（ボランティアの大学生？）に睨みつけられた。レジュメがなかったせいもあってか、派手に論旨を誤解する。ついでに…

二日続いて寒い日。小雨が降り続く。起床は9時。