離散と連続…。グロたん恐るべし。
げにp-進数は不勤勉な儂には手に負えん。何せ q=p-1 なら p-進…qqq=-1 らしいけぇのう。
儂とか本来は超現実数をかじる前にp-進数をかじるのが順番であり有意義なんじゃろうが
門外漢の儂は門外漢じゃけぇ偶々逆順じゃった云う事じゃ。
無論、何で超現実数なら 0.999…=1-ε(=1/最小超限順序数ω) が言えるのかも知らん。
文学的に「如何なる差も丸めない」からとは、分かる。が、理系なら「其の仕組み公理系」を
理解した後に尚、使いこなせなくては「理解している」と言っては、構築者達に失礼。
よくプログラム屋も「数学はプログラム的に洗練度が落ちる仕様」言う。然し此れは「仕様」言う時点で
「設計理解を『委ね』使わして頂いてる身」じゃ言う事を忘れた客気分神様気取り。遺憾。