某有名HPから以下をDL。 Haim Gaifman “Naming and Diagonalization, From Cantor to Godel to Kleene”, in: Logic Journal of the IGPL, October, 2006 ditto “The Easy Way to Godel's Proof and Related Matters”, Expositlory lecture on the incomplete…

なかなかに忙しい…。