Surreal number
 See also this Youtube video, Surreal number (subpages/draftspace), Chatbot math/Gemini/24.03/Surreal numbers, and other WMF resources: W:Surreal number, W:Set theory, W:Infinity, B:Surreal Numbers and Games.
It is nearly impossible to introduce surreal numbers without either trivializing difficult concepts, or describing these same concepts in a way no novice could possibly understand. What I can do is locate points on the real number line that correspond to some of the surreal numbers. And, I can briefly introduce a few concepts that while peripheral to the topic of surreal numbers, appear to be similar to related topics that are essential to far more difficult concepts that are essential to the topic of surreal numbers. I emphasize "appear to be", because I myself to not fully grasp the more difficult topics. This begs the question of why a nonexpert would be attempting to explain surreal numbers: First, we are allowed to do things that the other WMF wikis forbid. Also, in applied mathematics (especially physics) one is permitted to judge a mathematical on the problems it solves and the insight it yields, without worrying too much about rigor.
Finally, a conversation with chatbot Gemini (14 May 2024) informed me that I should study: Set Theory (especially with wellordered sets like ordinals and proper classes). Ordinal Arithmetic (defines addition and multiplication for infinite numbers). Axiomatic Set Theory (ZermeloFraenkel set theory with Choice, and Alternative Set Theory (von NeumannBernaysGödel.)
Wikipedia links
[edit  edit source] Surreal number:
Surreal number, Infinitesimal, Epsilon number, Hackenbush, Infinity plus one, w:,
 Set Theory:
Set theory, Class, Ordinal number, Von Neumann–Bernays–Gödel set theory, Zermelo–Fraenkel set theory, Ordinal arithmetic, Axiom of global choice, Paradoxes of set theory, Glossary of set theory, w:, w:,
 This page introduce fundamentals: Dyadic rational numbers are easy to grasp, and will be introduced sequentially in a way that superficially seem to "fill the number line".
This discussion mixes prerequisite knowledge required by the Wikipedia article with insights that might make surreal numbers more interesting. Our focus is on concepts involving to countability and infinity that are easy to explain. To this end, we employ the language of naive set theory in a way that cannot fully explain or describe surreal numbers. The current author of this resource is not an expert on this subject, and for that reason, corrections and elaborations are welcome. While this might seem like a chaotic way to start a resource, it will generate a number of projects for students that take the form, "Is this really true?".
The first 31 positive surreal numbers are created on days 15, and are all rational dyadic fractions. They range from 1 through 5, and almost half of them are less than 1.
Important facts about surreal numbers:
 The story begins with 0 and dyadic rational fractions, which are ratios are of the form p/q where p is an integer and q=2^{n}, where n is a nonnegative integer. These dyadic rationals are shown in figure 1 as as "0", "±1", "±½","±2",…. The quotation marks around the "numbers" will be explained later.
 In a strange sort of way, these dyadic ratios can define the set of all rational and irrational numbers.
 The surreal rational and irrational numbers are defined in the language of set theory in a way that has little to do with numbers as we know them.
 An axiomatic version^{[1]}^{?}of set theory can be used to create definitions that reminds one of entities such as 0/0 and ∞/∞, that virtually all textbooks dismiss as "indeterminant". This variation of set theory can also give meaning to an algebraic expression like, (except that it is customary to use instead of to represent one of the many (infinite) versions of infinity associated with surreal numbers.)
"Counting" the dyadic rationals
[edit  edit source]Dyadic rationals are fractions where the denominators are powers of 2, i.e., fractions form p/q^{n}, where p is an integer and n is a positive integer, as shown in figure 2.
For reasons to be explained later, the counting is done in groups known as "birthays" (or simply days when each dyadic rational is "born".)
is born on day 0. On day 1, two numbers are born: , and ) are born on day 1. Note that and , so that on day 2 we have four new numbers: , , , and ) Each day the the count doubles, so that on day 3, we obtain eight numbers: , , , , , , , .
The rules for creating new positive numbers are as follows:
 Each day a new positive integer is created by adding 1 to the previous day's new positive integer.
 All other new numbers are dyadic fractions created as the midpoint between the fractions created on the previous day.
 The negative numbers are created in a symmetric fashion. On the same day that p/q is created, −p/q is also created.
It is impossible to create all of the surreal numbers created on day until all surreal numbers had been created on on day But after the previous day's numbers were created, the next day's numbers can be created in any order.
What does it mean to count numbers?
[edit  edit source]By definition, "counting" doesn't mean you finish, but that you can create a list that includes every item if you count long enough. Stating a formal definition of "countability" is not a trivial task. But figure 3 illustrate a wellknown countable infinity.
The rational numbers are countable
[edit  edit source]0  .  9  3  3  2  4  7  0  2  0  ... 
0  .  6  3  7  4  9  3  3  6  1  ... 
0  .  2  7  7  5  5  2  4  6  6  ... 
0  .  4  7  5  5  6  8  2  9  7  ... 
0  .  8  3  8  1  4  2  2  4  9  ... 
0  .  2  5  2  3  5  2  5  7  6  ... 
0  .  8  4  4  2  2  1  1  4  1  ... 
0  .  6  8  6  2  1  5  1  8  3  ... 
0  .  1  7  8  6  6  2  8  1  5  ... 
⋮  .  ⋮  ⋮  ⋮  ⋮  ⋮  ⋮  ⋮  ⋮  ⋮  ⋱ 
Fig. 4: Failed attempt to count real numbers 
Figure 3 shows you can count all fractions of the form where and are integers. Simply follow the arrows. You should be able to convince yourself that if is larger than both and , then you will reach in no more than steps. This fact is essential to the formal proof that the rational numbers are countable.
Real numbers are not countable
[edit  edit source]Figure 4 establishes that the real numbers are uncountable. To prove this, imagine that a list of all numbers between 0 and 1 has been created, as shown in the table to the right. It is possible to find an irrational number that is not on this list as follows:
 The first number on the list is 0.9332... . Change the first digit after the decimal point from 9 to 0.
 On the second number (0.6374...), change the second digit from 3 to 4
 On the third number, change the third digit (7) to 8.
You have to do this to infinity, but when you are "done", you will have a number not on your original list. Therefore it is impossible to make an infinite list that contains all the irrational numbers in the interval (0,1). This argument can be found on a website found on Carnegie Mellon University,^{[2]} and it seems to contradict two ideas essential to the construction of surreal numbers:
 Fractions are countable, while the real numbers are not.
 The real numbers can be represented by a sequence of (dyadic) fractions.
The resolution of this fauxparadox is to note that irrational numbers and fractions like 1/3 can only be defined as surreal numbers using a sequence of didactic numbers:
where is the nth element a sequence such as,
Each of these dycactic fractions can be labeled with a unique integer on the day of its birth. But the sequence can only be defined as an infinite collection of integers. For that reason, counting the real numbers is impossible for the same reason that real numbers in decimal form cannot be counted.
About the "sets" and "numbers"
[edit  edit source]Figure 1 equates what look like sets with what look like numbers. This is an attempt to translate the settheory language into conversational english.
"0"={ΦΦ} ...(Day zero)
"0" is created. "Nothing" is to the left and "nothing" to the right.
Here, "nothing" means the null set Φ, and to the left (right) means "smaller" ("larger")
"−1"={Φ0} & "1"={0Φ} ...(Day one)
"−1" is created with "nothing" to the left and "0" to the right.
"1" is created with "0" to the left and "nothing" to the right.
"−2"={Φ−1} , "−½"={−1−1} , "½"={12} & "2"={1Φ} ...(Day two)
"−2" is created with "nothing" to the left and "−1" to the right.
"−½" is created with "−1" to the left and "0" to the right.
"½" is created with "0" to the left and "1" to the right.
"2" is created with "−1" to the left and "nothing" to the right.
The instructions might have been more clear if the (positive) integer N was declared one unit to the right of N−1. Similarly, it could have been mentioned that "½" was midway between "0" and "1". Perhaps the author wanted to keep the reader in suspense. Or, perhaps this discussion fails to capture the beauty of surreal numbers. The next section suggests surreal numbers are indeed quite dazzling.
The rest of this resource is under construction
[edit  edit source]This section is under construction. It will summarize some (but not all) of the following Wikipedia articles:
Reading list:
References
[edit  edit source] Introduction to Category Theory/Products and Coproducts of Sets
 Introduction to Category Theory/Sets and Functions
 Set theory
 Review on amazon.com]
 staxeschange definition of all dyadics
 Scientific American badiouandscience part1 I might copy graph
 what is a game? (mit)
 .9999
 wikipedia:Surreal number
 whitman.edu (Grimm.pdf) Includes games
 scietificamerican.com
 Roughan Directed Acyclic Graphs (DAG); 2*3 & 3/4 + 3/4/ (too complicated for me)
Under construction
[edit  edit source]Positive dyadic rationals: days 15
[edit  edit source]
proof of conways simplicity rule


https://math.stackexchange.com/questions/816540/proofofconwayssimplicityruleforsurrealnumbers

Limits and analysis
[edit  edit source]Infinity is easy to imagine, but difficult to incorporate


Infinity is easy to imagine, but difficult to incorporate into rigorous mathematics. The following calculation certainly violates the rules of mathematics:
This is why expressions like and of often called indeterminant. Most of the time, mistakes like this can be avoided by utilizing concepts taught in a course on mathematical analysis. Both the Wikipedia article and a query sent to an online chatbot suggest that no widely known problems in this field have been solved using surreal numbers. For that reason, any forrey into surreal numbers should probably be viewed as recreational. 
Categories
[edit  edit source] ↑ The question mark ? is needed here because currently the only reference is the ChatBot Bard, which is known to be unreliable. (See Chatbot math for examples of recent false statements made by online chatbots.) If you know of a reliable reference, please insert it here!
 ↑ https://www.math.cmu.edu/~wgunther/127m12/notes/CSB.pdf