Some representations of real numbers using integer sequences.

Loïc Mazo, Marie-Andrée Da Col-Jacob,Laurent Fuchs,Nicolas Magaud, Gaëlle Skapin

Math. Struct. Comput. Sci.(2022)

引用 0|浏览0
暂无评分
摘要
Abstract The paper describes three models of the real field based on subsets of the integer sequences. The three models are compared to the Harthong–Reeb line. Two of the new models, contrary to the Harthong–Reeb line, provide accurate integer “views” on real numbers at a sequence of growing scales $B^n$ ( $B\ge2$ ).
更多
查看译文
关键词
Real arithmetic,arithmetization,stream of integers,constructive mathematics
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要