- 912 名前：1−0.9dot＝0 mailto:sage [2007/01/28(日) 15:48:34 ]
- >>910を書き直し。ちゃんと>>911の節穴さんで消えてますか？
本題へ。
>>895
＞ 超現実数で得られる無限小は
0.000…01 (ω桁目で止まる)
0.000…00…001 (ω^ω桁で止まる)
みたいな感じになるのでは？
─1*10^(ｰω)、無限小
に1*^10(ｰω^ω)、更に高位の無限小
＞ そうすると、
0.000… (止まらない)
という数については やはり0.000…＝0が成り立ってしまうとか。
─そんな数は…仮に考えると
桁数は 空集合(以下:=φ)の逆数集合 と(勝手に)考える。
つまり1*10^(1/φ)となって
ゲーデル的決定不能性と言うまでもなく
#DIV/0!的不能。
結局、lim[x→φ]xとだけしか言い切れず終いになると思う。
つまり1−0.9dotはφか否かとなると
分かり得ない となるんと違うか。
無限小の逆数を∞となるとする事 ＋ 更にまた一つ訳が違う事情。
…と考えてみるテスト。
