2005-09-13から1日間の記事一覧

「包括原理のある集合論と超準的自然数」

発表は13時半から。しゃべり始めは順調だったが、冷房があまり効かない部屋で、暑さのあまり朦朧としてくる。発表の出来は、野球に例えると 「7回投げて3失点、勝ち負けなし」 といった感じか。良くもなく悪くもない出来。ただブルペンでの調子は完封しかね…

数解研で発表

起床は9時。暑い。本当に暑い一日。 9時半に京都に向けて出発。駅のブックファーストで「『資本』論」と「論理の哲学」を買う。「論理の哲学」は、既に論理の哲学に詳しい人にはいいが、初心者には無理だと思う。あと、曖昧性のところでは、Kleene3値論理の…