20/09/01 09:48:14.63 Hbfzk2ue.net
ほう言やぁ既に 0.999…≠1 としても小数展開完遂性を否定すれば連続体を維持できる方法を見つけとったわ｡
Archimedes性を排斥すると云う事はArchimedes性や極限、テレンスタオ流超極限による丸めも排斥する事になる｡
既存の解析解を得るには向かん体系に成りそうじゃな。例えば [x→0]sin(x)/x=1 は如何様にして得ようか？
20/09/01 09:48:14.63 Hbfzk2ue.net
ほう言やぁ既に 0.999…≠1 としても小数展開完遂性を否定すれば連続体を維持できる方法を見つけとったわ｡
Archimedes性を排斥すると云う事はArchimedes性や極限、テレンスタオ流超極限による丸めも排斥する事になる｡
既存の解析解を得るには向かん体系に成りそうじゃな。例えば [x→0]sin(x)/x=1 は如何様にして得ようか？