Hi, I'm sorry to make this my first post - I love xkcd, and I didn't notice that there was a forum for it until today. It just so happens I'm in the middle of a medium-grade panic about Surreal Numbers. Looking around a bit, I noticed that some of you brought up Knuth and Conway in other threads, so it seems likely that some of you might know where I'm coming from.

I'm taking an individual studies course going through Conway's On Numbers and Games, and it's been a trip so far. I've been working on the "On Numbers" part of the book pretty much since the beginning of the semester, and I've run into a brick wall - divison. I can see easily how addition works in Conway's scheme. With some rectangle-drawing I can see how multiplying two numbers makes a number, though I can't exactly prove it yet...It's division that's giving me all sorts of headaches. I tried for an hour last night trying to find 1/2 by making the inverse of 2, and I couldn't begin to get rid of the "inductive" (?) options of the inverse. I can see how this is important in making a field, but must it be so complicated?

It seems that there are two inductions at work in his definition of division, and it's just been...frustrating. Anyone have any tips?

## ONAG: "Surreal Numbers" make a field?

**Moderators:** gmalivuk, Moderators General, Prelates

- revslaughter
**Posts:**6**Joined:**Tue Sep 16, 2008 3:27 pm UTC**Location:**KCMO-
**Contact:**

### ONAG: "Surreal Numbers" make a field?

Only when the Surreal become Real will you enter the Kingdom of God.

That is, on Day ω...

That is, on Day ω...

- Xanthir
- My HERO!!!
**Posts:**5215**Joined:**Tue Feb 20, 2007 12:49 am UTC**Location:**The Googleplex-
**Contact:**

### Re: ONAG: "Surreal Numbers" make a field?

I'll take a look at my copy of ONAG tonight and see if I can be of any help. Won't be able to post until tomorrow - I still haven't gotten power back after Hurricane Ike.

(defun fibs (n &optional (a 1) (b 1)) (take n (unfold '+ a b)))

- jestingrabbit
- Factoids are just Datas that haven't grown up yet
**Posts:**5963**Joined:**Tue Nov 28, 2006 9:50 pm UTC**Location:**Sydney

### Re: ONAG: "Surreal Numbers" make a field?

Doesn't answer your question but wouldn't the surreal numbers have to be a set to be a field?

ameretrifle wrote:Magic space feudalism is therefore a viable idea.

- Xanthir
- My HERO!!!
**Posts:**5215**Joined:**Tue Feb 20, 2007 12:49 am UTC**Location:**The Googleplex-
**Contact:**

### Re: ONAG: "Surreal Numbers" make a field?

The surreals do form a set. Unless there's some crazy definition of "set" involved here that I'm not aware of. I know they don't run into any of the self-reference issues.

(defun fibs (n &optional (a 1) (b 1)) (take n (unfold '+ a b)))

- revslaughter
**Posts:**6**Joined:**Tue Sep 16, 2008 3:27 pm UTC**Location:**KCMO-
**Contact:**

### Re: ONAG: "Surreal Numbers" make a field?

Xanthir wrote:I'll take a look at my copy of ONAG tonight and see if I can be of any help. Won't be able to post until tomorrow - I still haven't gotten power back after Hurricane Ike.

Thank you! Hope you get power back soon.

Only when the Surreal become Real will you enter the Kingdom of God.

That is, on Day ω...

That is, on Day ω...

- jestingrabbit
- Factoids are just Datas that haven't grown up yet
**Posts:**5963**Joined:**Tue Nov 28, 2006 9:50 pm UTC**Location:**Sydney

### Re: ONAG: "Surreal Numbers" make a field?

Xanthir wrote:The surreals do form a set. Unless there's some crazy definition of "set" involved here that I'm not aware of. I know they don't run into any of the self-reference issues.

I'm pretty sure there is self reference going on.

http://sci.tech-archive.net/Archive/sci ... 04588.html

WP also specifically mentions the thing about them not forming a set, but instead a proper class, with a sentence that is like "they're a field but..."

ameretrifle wrote:Magic space feudalism is therefore a viable idea.

- Xanthir
- My HERO!!!
**Posts:**5215**Joined:**Tue Feb 20, 2007 12:49 am UTC**Location:**The Googleplex-
**Contact:**

### Re: ONAG: "Surreal Numbers" make a field?

::facepalm:: Blarg. Yes. The surreals are too large to form a set; they form a class instead.

They still form a Field, with the convention being that Field uses a class as it's basis (while a field uses a set).

They still form a Field, with the convention being that Field uses a class as it's basis (while a field uses a set).

(defun fibs (n &optional (a 1) (b 1)) (take n (unfold '+ a b)))

- skeptical scientist
- closed-minded spiritualist
**Posts:**6142**Joined:**Tue Nov 28, 2006 6:09 am UTC**Location:**San Francisco

### Re: ONAG: "Surreal Numbers" make a field?

From wikipedia:

In the original formulation using von Neumann–Bernays–Gödel set theory, the surreals form a proper class, rather than a set, so the term field is not precisely correct; where this distinction is important, some authors use Field or FIELD to refer to a proper class that has the arithmetic properties of a field. One can obtain a true field by limiting the construction to a Grothendieck universe, yielding a set with the cardinality of some strongly inaccessible cardinal, or by using a form of set theory in which constructions by transfinite recursion stop at some countable ordinal such as epsilon nought.

I'm looking forward to the day when the SNES emulator on my computer works by emulating the elementary particles in an actual, physical box with Nintendo stamped on the side.

"With math, all things are possible." —Rebecca Watson

"With math, all things are possible." —Rebecca Watson

- revslaughter
**Posts:**6**Joined:**Tue Sep 16, 2008 3:27 pm UTC**Location:**KCMO-
**Contact:**

### Re: ONAG: "Surreal Numbers" make a field?

Hmmm...I'm still rather stuck on how the surreals are closed under multiplication, class or no.

Does anybody have any advice? The proof given in ONAG is really cryptic.

Does anybody have any advice? The proof given in ONAG is really cryptic.

Only when the Surreal become Real will you enter the Kingdom of God.

That is, on Day ω...

That is, on Day ω...

### Re: ONAG: "Surreal Numbers" make a field?

I'm still rather stuck on how the surreals are closed under multiplication, class or no. Does anybody have any advice?

Theorem 8. (i) If x and y are numbers, so is xy. The proof is given in On Numbers and Games, by John H. Conway. What part of the proof is the sticking point?

### Re: ONAG: "Surreal Numbers" make a field?

Com3t wrote:I'm still rather stuck on how the surreals are closed under multiplication, class or no. Does anybody have any advice?

Theorem 8. (i) If x and y are numbers, so is xy. The proof is given in On Numbers and Games, by John H. Conway. What part of the proof is the sticking point?

When they called the proof in ONAG cryptic, they were talking about the proof in On Numbers and Games.

So, they knew where the proof was.

Also, the previous post was like, 9 years ago.

I found my old forum signature to be awkward, so I'm changing it to this until I pick a better one.

### Who is online

Users browsing this forum: No registered users and 9 guests