合理查询实数

摘要:将实数的新定义是一个规则,根据实数是否应该在给定的有理区间内,来给出是或否的答案。这是一篇形式化、探索和推广该定义的引人入胜的论文。完整的探索结果在论文《将实数定义为预言者》中给出。

作者:James Taylor

论文ID:2305.00981

分类:General Mathematics

分类简称:math.GM

提交时间:2023-05-16

PDF 下载: 英文版 中文版pdf翻译中