Rationally Querying the Reals
General Mathematics
2023-05-16 v1
Abstract
A new definition of a real number is that it is a rule which says Yes or No based on whether the real number ought to be in a given rational interval. This is a teaser paper for formalizing, exploring, and generalizing this definition. The full exploration is given in the paper "Defining Real Numbers as Oracles".
Cite
@article{arxiv.2305.00981,
title = {Rationally Querying the Reals},
author = {James Taylor},
journal= {arXiv preprint arXiv:2305.00981},
year = {2023}
}
Comments
4 pages, project home: https://github.com/jostylr/Reals-as-Oracles/