Reals-as-Oracles. This is a paper for a new definition of real numbers, namely, viewing a real number as an oracle that affirms when a rational interval contains the real number.

github.com/jostylr/Reals-as-Oracles

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.