@orange_in_space こんにちは.オレンジさんの実数の議論に触発されて,最近こういう記事を書いていました.
https://www.downcastingsoft.net/7e5/diary/draft/2022/0999/
ですが,(アルキメデスの性質を考えるモチベーションが書かれていないなど) 内容が不十分な点も多々あるので,コメント頂けるとありがたいです.
で、『無限小』とゼロ以外の数値の隙間は、『次元』(オレンジなりの概念で適切な単語が他に見つからない><)をひとつあげると見えて、その『次元』上ではその『次元』における『無限小』が見える
みたいなモデルになってる><
sqrtを計算するアルゴリズムを再発明した時も、この『次元』をひとつ上げてから戻すって発想で思い至ったので、もしかしたらオレンジの謎の『次元』って概念が、微積分の代用になってるのかもしれないけどわからない><(?)