Talk:Surreal number

Drafts:

Proving that 1>0
The recursive definition of surreal numbers is completed by defining comparison:

Definition
Given numeric forms x = { XL | XR } and y = { YL | YR }, x ≤ y if and only if both:
 * There is no xL ∈ XL such that y ≤ xL: every element in the left part of x is strictly smaller than y.
 * There is no yR ∈ YR such that yR ≤ x: every element in the right part of y is strictly larger than x.

Substitutions
$$ x=0=\{X_L|X_R\}=\{|\}$$ and $$y=1=\{Y_L|Y_R\}=\{0|\}$$ We must prove two things:
 * 1. There is nothing in $$X_L$$ that is larger than y. This is trivial because there is nothing in $$X_L$$.
 * 2. There is nothing in $$Y_R$$ that is less than or equal to x. This is no problem because there is nothing in $$Y_R. $$Therefore, $$1>0$$

XL={} and y={

Surreal numbers are real numbers, with a twist
Surreal numbers are defined to include positive and negative rational numbers (p/q where p and q are integers), as well as irrational numbers (&pi; and 21/2), but with a twist: Also included are not one, but an infinite number of infinities, along with a similar collection of "zeros", often called &epsilon; (in the limit that &epsilon;→0.)

What can you do with surreal numbers? Among other things, they allow you to declare that: $$ .\overline 9\; = \; \;.9999\ldots \;< 1,$$ where, $$(\ldots)$$ denotes an infinite number of nines (see disclaimer .)This article will make no attempt to explain how surreal numbers might or might not be used in applied mathematics, except to point out that some of their properties are commonly used when dealing with real numbers.