2004-06-23 計算の理論 授業 対角線論法に関するお話。詳しくはWikipediaで「カントールの対角線論法」を参照。ここでかかれている、実数は非可算であるという証明についても、授業で説明があった。