19/09/08 18:38:04.27 efrziy96.net
0.999…を
「数列{0.9,0.99,0.999,…}が定める超実数」
とでも定義することにすれば0.999…≠1にはできるよ
「lim[n→∞]1/nは0ではなく無限小」と彼は主張してるし、彼の思考回路に合わせれば0.999…はこの定義にしたいのではと思う
上で押し通すと表現したように、特に意味のある主張ではないと思ってるけどね
19/09/08 18:38:04.27 efrziy96.net
0.999…を
「数列{0.9,0.99,0.999,…}が定める超実数」
とでも定義することにすれば0.999…≠1にはできるよ
「lim[n→∞]1/nは0ではなく無限小」と彼は主張してるし、彼の思考回路に合わせれば0.999…はこの定義にしたいのではと思う
上で押し通すと表現したように、特に意味のある主張ではないと思ってるけどね