純粋数学のランダム性

グレゴリー・チャイティン
万能計算機の停止問題が決定不能であることを、停止確率のランダム性からより簡潔に証明した。また、ディオファントス方程式の解がランダムであることを示し、純粋数学の数論の核心部分にもランダム性があることを明かにした。