2006-02-06から1日間の記事一覧

"Truth and Predication"(4)

17時半より21時半。2章後半。参加者が4人で脱線気味、途中フレーゲ論法を証明の同一性に応用できるかという話で盛り上がる。

寒い一日。写真は昨日撮影の家の前の風景。