Surreal number¶
In mathematics, the surreal number system is a totally ordered proper class containing not only the real numbers but also infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number.
Core Idea¶
Surreal number is treated here as the recurring number systems identity summarized by this source-grounded definition: In mathematics, the surreal number system is a totally ordered proper class containing not only the real numbers but also infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. In mathematics, the surreal number system is a totally ordered proper class containing not only the real numbers but also infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number.
Scope of Application¶
-
Other exponentials. It will, however, be needed in the development of the base- exponential, and it is this function that is meant whenever the notation is used in the following.
-
History of the concept. Conway later adopted Knuth's term, and used surreals for analyzing games in his 1976 book On Numbers and Games.
-
Division. 0 is always a member of the left set of , and that can be used to find more terms in a recursive fashion.
-
Arithmetic closure. The latter sets are also closed under the exponential function as defined by Kruskal and Gonshor.
-
Transfinite induction. where on the right hand side the notation is used to mean .
Clarity¶
A clear use of Surreal number names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematics, the surreal number system is a totally ordered proper class containing not only the real numbers but also infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number.
Manages Complexity¶
Surreal number compresses multiple number systems details into a stable diagnostic relation. The source shows both the central mechanism—the residue of consists of the Cantor set , each point of which is uniquely identified by a partition of the central-third intervals into left and right sets, corresponding precisely to a form in .—and the practical consequence—when or is explicitly described by its elements, the pair of braces that encloses.
Abstract Reasoning¶
- Type the carrier. Identify the number systems entities to which the claim applies.
- State the relation. Use the source-grounded identity: In mathematics, the surreal number system is a totally ordered proper class containing not only the real numbers but also infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number.
- Check operation and conditions.
Knowledge Transfer¶
Within the home domain. Knowledge about Surreal number transfers literally when a new case preserves the same carrier type, relation, and recognition test. It will, however, be needed in the development of the base- exponential, and it is this function that is meant whenever the notation is used in the following. Conway later adopted Knuth's term, and used surreals for analyzing games in his 1976 book On Numbers and Games. Beyond the home domain. No canonical parent is asserted for Surreal number.
Neighborhood in Abstraction Space¶
Surreal number sits in a sparse region of the domain-specific corpus (81st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Geometric Figures & Constructions (32 abstractions)
Nearest neighbors
- Non-Archimedean geometry — 0.84
- Lightface Pointclass — 0.84
- Linear order — 0.82
- Kripke–Platek set theory with urelements — 0.82
- Formal theorem — 0.82
Computed from structural-signature embeddings · 2026-10-08