2023/04/30 by Taylor, James
#00A05 #FOS: Mathematics #General Mathematics (math.GM)
paper · doi:10.48550/arxiv.2305.00981
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".