orange @[email protected]

「美しい」とか「大宇宙の定理」みたいな雰囲気の事を言わず「標準的に使用される規格上、便利なのでそうなってます」って言うなら「！？＞＜＃ 」ってならないけど、タイプライターで打ち出せないようなわけがわからん図形書いてそんな感じの事言い出すから超嫌い＞＜

オレンジ的現時点での結論は、
「数学界のIEEE754のような『実数』とか言う規格に限って言うと 0.999...=1 って定義になっている」
だけっぽさ＞＜

さっきのサイトの
"実は実数の 0 は、整数の 0 と違って本当の 0 ではなく、 無限小のことを表しているわけです。 実数には無限小の概念は存在しないと説明されることが多いですが、 何のことはない、無限小のことを 0 とみなしているため、 表面上は無限小が存在しないように見えているだけなんですね。"
これがある意味すべて？＞＜

サブセットの『数学』、IEEE754と五十歩百歩ではみたいな＞＜

ていうか、「『数学』ではこうです！」って話が指すサブセットの数学の話、「数学ではこう！」じゃなく、
そこらのなんらかのプログラミング言語の何らかの型の「仕様はこうです！」
程度のものなんでは？＞＜　って不信感＞＜

全然エレガントじゃない＞＜

『数学』のそういう所さらに超嫌い＞＜

自称数学好きや数学者が一般人に振り回してる「『数学』も数学のサブセット」なんじゃん？＞＜
「0.999....=1」も、それこそ「円周率は3.14です！」って言うくらいに簡略化するために嘘の説明をしてるようなものでは感＞＜

「数学は中立的」って話での『中立性』とか「数学には型システムが無い」って話も、結局そのサブセットとしての数学の範囲なんじゃないの？＞＜　って＞＜

なんもわからん＞＜
実数とは何か？無限とは？ http://wwwa.pikara.ne.jp/okojisan/infinity/index.html

「『数学』って数学のサブセットなんじゃないの？＞＜」って、0.999...=1もそうなのかも？＞＜
（つまりそれが成り立つのは数学の一部の分野の定義でしかない？＞＜）

ていうか、
http://wwwa.pikara.ne.jp/okojisan/infinity/infiniteseries.html
これってそういう話？＞＜；

なんかwikipediaに書いてあった＞＜

"0.999⋯ = 1 のいくつかの証明は、通常の実数がアルキメデス順序体であること、すなわち、"0 でない無限小は存在しない" ことに依存している。"
0.999... - Wikipedia https://ja.wikipedia.org/wiki/0.999...#%E4%BB%96%E3%81%AE%E6%95%B0%E4%BD%93%E7%B3%BB%E3%81%A7%E3%81%AE%E6%8C%AF%E3%82%8B%E8%88%9E%E3%81%84

0.999...+無限小=1 じゃないの？＞＜　って脳内では解釈されてるし数学すごく嫌い＞＜

そもそもオレンジ的に0.999... = 1に納得できてない＞＜（数学苦手なので＞＜）

上が赤はモナコ国旗らしい・・・＞＜
モナコの国旗 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%A2%E3%83%8A%E3%82%B3%E3%81%AE%E5%9B%BD%E6%97%97