無限の猿定理
現代においても、打鍵する猿への大衆的な関心が止むことはなく、数多の文学作品、テレビやラジオ、音楽、インターネット上で取り上げられ続けている。2003年、6匹のクロザルを使った実験が行われたが、この猿たちが文学界にもたらしたものは、ほとんど「S」の字だけからなる5ページのテクストのみであった。
基数
この仮説はゲオルク・カントールによって予想された。ヒルベルトは彼の有名な23 の問題の第一番にこの連続体仮説を取り上げている。その後、クルト・ゲーデルは構成可能集合全体のクラス が一般連続体仮説をみたすことを示し、「ZFC からは一般連続体仮説の否定は証明できない」ことを証明した。ポール・コーエンは強制法と呼ばれる新しい手法を用いて連続体仮説が成り立たないモデルを構成し「ZFC から連続体仮説を証明できない」ことを証明した。これらの結果から（一般）連続体仮説の ZFC からの独立性が示され、連続体仮説は一応の解決を見た。コーエンはこの業績によりフィールズ賞を受賞している。