← All repos

jostylr/Reals-as-Oracles

View on GitHub ↗ ★ 1 TeX

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.

8 mentions on Hacker News by 1 person: 0 stories, 8 comments · first 2023-07-22 · latest 2025-08-14