Rationally Querying the Reals

Author name not available (Why is that?)

Publication date: 30 April 2023

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".

Has companion code repository: https://github.com/jostylr/reals-as-oracles

Mathematics Subject Classification ID

No records found.

This page was built for publication: Rationally Querying the Reals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6434949)