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.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
