ちょっと前に0.99…が超実数だと1と異なるって話をした時に「0.99…は実数を表すのが業界標準だ」とがんばってるおじさんを見かけた

そのおじさんは「0.99…9(ω-1桁目)」という謎の記法を導入していた。「ωは(0,1,2,…)で、ω-1は(1,2,…)」という謎の説明だった

僕の理解は「超実数は順序を仮定したℕ → ℚ」なので、その話は合わない。なのだが、そのおじさんは、ℕ → ℚ で説明することを拒否した

これは素朴実在論、「実数ℝ は最初から唯一実在する」という反順序的な考えから出てきたんじゃないかなと思うが、わからんな

ℕ → ℚ ならば、0.99…は
(0.9,0.99,0.999,…)
という列で表現できる。これは1、
(1,1,1,…)
とは異なる。それだけの話だ

超実数には「最後の桁」などはない