Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2305.04935

Defining Real Numbers as Oracles

James Taylor
View original source ↗Read source document ↗Export metadata ↓

Abstract

A real number is a rule that, when provided with a rational interval, answers Yes or No depending on if the real number ought to be considered to be in the given interval. Since the goal is to define the real numbers, this can only motivate the definition of which rules should be considered a real number. The rule must satisfy five properties and any rule that does so we call an oracle. Three of the properties ensure that we do not have multiple oracles representing the same real number. The other two properties ensure that the oracle does narrow down to a single real number. The most important property is the Separating property which ensures that if we divide a Yes interval into two parts, then one part is a Yes interval while the other is a No interval; the exception is if the division point, which is a rational number, happens to be the desired real number in which case both intervals are Yes intervals. We explore various examples and algorithms in using oracles in addition to establishing that the oracles do, in fact, form the field of real numbers. The concept of a Family of Overlapping, Notionally Shrinking Intervals is defined and found to be an essential tool in working with oracle arithmetic. Mediant approximations, which are related to continued fraction representations, naturally arise from an oracle perspective. We also compare and contrast with other common definitions of real numbers, such as Cauchy sequences and Dedekind cuts, in which the conclusion is that the oracle perspective is somewhat of a master map to the other definitions. We do an explicit example to contrast oracle arithmetic with decimal arithmetic and continued fraction arithmetic.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

James Taylor. 2023-05-07. Defining Real Numbers as Oracles. https://arxiv.org/abs/2305.04935

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM↗
arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM↗