コーシー列による実数の定義が初めて発表された年は?
コーシー列による実数の定義は、最初に(いずれも)1872年にエドゥアルト・ハイネとゲオルク・カントールにより独立に発表された。
0.999⋯=1の証明を含む、小数展開による上記のアプローチは1970年にグリフィス(Griffiths)とヒルトン(Hilton)の書いた教科書Acomprehensivetextbookofclassicalmathematics:Acontemporaryinterpretation(「古典数学に関する総合教科書:現代的解釈」)に従っている。
この教科書は、よく知られた概念について、現代の観点から再検討することを主眼に書かれている。