推 sunev : 不覺得無限個0後寫不出一個1,畢竟我們可以定義出 11/05 11:44
→ sunev : ordinal number 中的omega+1 11/05 11:44
→ Vulpix : 至少不是real number,real number在某一位寫出1, 11/05 13:32
→ Vulpix : 我們一定可以知道那是第幾位。 11/05 13:33
推 sunev : 那問題就又回到real number的construction了,要求 11/05 13:56
→ sunev : 可以加減乘除會多出很多限制 11/05 13:57
→ wohtp : 要先有加減乘除才會有十進制表示法啊。 11/05 18:40
→ wohtp : 只考慮能不能定義「無限大加一」,不是完全把問題的 11/05 18:41
→ wohtp : 前提都搞丟了嗎? 11/05 18:41
推 sunev : 就其實有hyperreal number這種東西,所以關鍵還是 11/05 19:51
→ sunev : 把什麼是real number講清楚 11/05 19:51
→ arthurduh1 : 問題是在小數點下第 ω+1 位填個 1 的那個 0.0...1 11/05 20:05
→ arthurduh1 : 一般也不會把它跟 1-0.999... 連結在一起, 位數不對 11/05 20:06
→ ERT312 : ω沒有"前繼數","進位"會出問題 11/05 21:13
→ Vulpix : hyperreal裡面是有一堆無限大、無限小、普通實數與 11/05 21:41
→ Vulpix : 他們的和。關鍵是辨明實數沒錯,但ordinal number不 11/05 21:42
→ Vulpix : 太適合舉例所以才有以上回饋吧。 11/05 21:43
→ newversion : 1/(10*N) ,N-->無限 11/07 17:57