ルネ・デカルト
ルネ・デカルト（、1596年3月31日 - 1650年2月11日）は、フランス生まれの哲学者、数学者。合理主義哲学の祖であり、近世哲学の祖として知られる。
0.999...
デデキント切断による実数の定義は、1872年にリヒャルト・デーデキントによって初めて発表された。上記の、実数をそれぞれの小数展開に帰着させる方法は、フレッド・リッチマン (Fred Richman) によって雑誌"Mathematics Magazine" に投稿された "Is 0.999⋯ = 1?" という解説論文による説明である。この論文は大学の数学教師とその生徒向けに書かれている。リッチマンは、有理数の任意の稠密な部分集合における切断を考えても同様な結果をもたらすことを指摘している。その中で彼は、分母が の冪である分数全体の成す稠密部分集合を用いて、 の証明をより直接的に与えている。また、 となる は切断を有するが、 となる は切断をもたないことも指摘し、「これは と が異なってしまうことを排除するものである。……実数の伝統的な定義の中に、等式 は最初から組み込まれている」と評した。リッチマンは、この手順に修正を加えることで、 となる別の構造を導いている。