報告

本日12月10日は何を隠そう僕の誕生日です！ハッピーバースデー自分！！！というわけでこれを読んだ皆さんはちゃんと祝ってくれなきゃダメなんですよ？それはそうと、先日12月7日は集合論の誕生日ともいえる日でした。というのも、無限の研究としての集合論が確立された日、すなわちCantorが実数全体の集合が非可算である(つまり実数全体の集合と自然数全体の集合との間に一対一対応が存在しない)ということを発見したその日が1873年12月7日です。その後、Cantorは順序数や基数の理論を構築していき、可算濃度と連続体濃度の間には基数は存在しないのではないか、というような直観から現在では連続体仮説と呼ばれる問題の証明へと生涯を捧げることになります。Hilbertが19...