無限の猿定理
現代においても、打鍵する猿への大衆的な関心が止むことはなく、数多の文学作品、テレビやラジオ、音楽、インターネット上で取り上げられ続けている。2003年、6匹のクロザルを使った実験が行われたが、この猿たちが文学界にもたらしたものは、ほとんど「S」の字だけからなる5ページのテクストのみであった。
強制法
数学の集合論における強制法（きょうせいほう、Forcing）とは、ポール・コーエンによって開発された、無矛盾性や独立性を証明するための手法である。強制法が初めて使われたのは1962年、連続体仮説と選択公理のZFからの独立性を証明した時のことである。強制法は60年代に大きく再構成されシンプルになり、集合論や、再帰理論などの数理論理学の分野で、極めて強力な手法として使われてきた。