Some representations of real numbers using integer sequences.
Math. Struct. Comput. Sci.(2022)
摘要
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
正在生成论文摘要