40
$\begingroup$

Common folklore dictates that the Surreals were discovered by John Conway as a lark while studying game theory in the early 1970's, and popularized by Donald Knuth in his 1974 novella.

Wikipedia disagrees; the page claims that Norman Alling gave a construction in 1962 which modified the notion of Hahn series fields to realize a field structure on Hausdorff's $\eta_\alpha$-sets, and that this construction yields the Surreals when considered over all ordinals -- the article pretty explicitly characterizes Conway's construction as a popularized rediscovery more than 10 years later (!).

The given reference links to a paper from 1962 (received by editors in 1960) which seems to fit the bill, however this paper gives no indication that Alling considered his construction extended to all ordinals nor does it contain mention of proper classes that I can find.

Is there any evidence indicating that Alling considered a proper class sized version of his construction almost a decade before Conway did?

Alling published a book in 1987 which constructs the Surreals in exactly this manner*, but this is (of course) more than a decade after Conway's construction was popularized. Was this construction known to Alling earlier and only written up in book form when he realized there was a more widespread interest, or were proper-class considerations in this arena genuinely not in play before Conway?

*This is incorrect, thanks to Philip Ehrlich for pointing out my mistake. Alling's 1987 book doesn't construct the surreals as modified formal power series in the fashion of his 1962 paper; the methods involved are more subtle. On January 3, 1983 and December 20, 1982, Norman Alling and Philip Ehrlich respectively submitted papers which constructed isomorphic copies of the surreals using modified versions of the constructions in Allings 1962 paper, and these submissions eventually lead to the publication of two papers to this effect. The 1987 book mentioned above contains expansions of these works in sections 4.02 and 4.03, respectively. (see Philip's excellent answer below for a better description of events)

$\endgroup$
9
  • 3
    $\begingroup$ It seems like the attribution to Alling resulted from the combination of two edits, about a year apart: en.wikipedia.org/w/… and: en.wikipedia.org/w/… $\endgroup$ Commented Feb 6, 2019 at 14:46
  • 4
    $\begingroup$ The title takes a bold philosophical stand. $\endgroup$
    – Asaf Karagila
    Commented Feb 7, 2019 at 10:42
  • 3
    $\begingroup$ @AsafKaragila I am glad you called me out on this - so be it! Hopefully we can agree (for example) that the electron was discovered and not invented. Perhaps we invented the name electron and the diagrammatic/equational understandings we have of them, but the piece of the universe we’ve labelled electron was discovered by J.J. Thomson during cathode ray tube experiments in 1897. I view mathematical entities in a similar fashion - they exist prior to us writing them up, and when our exploration reaches them is a function of what other tools we’ve already discovered. $\endgroup$
    – Alec Rhea
    Commented Feb 7, 2019 at 11:15
  • 2
    $\begingroup$ Your justifications for Platonism are circular. Math is discovered because we use tools that we already discovered to discover it. :) $\endgroup$
    – Asaf Karagila
    Commented Feb 7, 2019 at 11:30
  • 2
    $\begingroup$ @AsafKaragila With a bit more sobriety, I think my justifications are recursively defined rather than circular. Our universe began with the big bang, and as time progresses things have been getting more complex locally in the form of fusion and chemical bonding of heavier elements/compounds. We are the most complex part of our little corner of the universe (in particular our brains are more complex than anything else apparent in the local universe), and have attained sufficient complexity to begin considering and exploring the rules underpinning our own existence in the form of math/physics. $\endgroup$
    – Alec Rhea
    Commented Feb 9, 2019 at 0:18

3 Answers 3

47
$\begingroup$

Norman Alling's Conway's field of surreal numbers (1985) gives full credit to Conway:

Conway introduced the Field No of numbers, which Knuth has called the surreal numbers. No is a proper class and a real-closed field, with a very high level of density, which can be described by extending Hausdorff's $\eta_\xi$ condition. In this paper the author applies a century of research on ordered sets, groups, and fields to the study of No.

References to Alling's own 1962 paper appear only in passing, on page 373 and 377–378. The 1987 book referred to in the OP follows up on this 1985 exposition, which makes it clear that Alling in no way claims independence from Conway.

$\endgroup$
2
  • 5
    $\begingroup$ Much appreciated, it's good to know this part of my life wasn't a lie :^). $\endgroup$
    – Alec Rhea
    Commented Feb 6, 2019 at 7:27
  • 11
    $\begingroup$ I've edited the WP article to reflect this answer. $\endgroup$
    – user21349
    Commented Feb 6, 2019 at 15:00
27
$\begingroup$

If one thinks of the surreal numbers as just a proper-class sized saturated real-closed field, then I think Alling deserves much of the credit for the discovery or invention. He didn't deal with the proper-class sized case, but his hypotheses do cover the case of strongly inaccessible cardinals. A strongly inaccessible cardinal can be viewed as class-sized simply by cutting off the (cumulative hierarchy view of the) universe of sets one level after that cardinal. So I'm inclined to view the passage to proper-class size as no big deal.

But the field of surreal numbers has an important additional structure, namely what Conway calls "birthdays". In other words, this field has a very natural construction in terms of transfinitely iterated filling of Dedekind cuts. As far as I know, this construction and the fact that it produces a saturated real-closed field are entirely due to Conway.

$\endgroup$
18
  • 7
    $\begingroup$ I've always been perplexed by the insistence with which some people want to consider surreals in the class-sized variant. I mean, "class-sized" just means "the smallest cardinal my model of set theory can't handle" — well, if it can't handle it, pick a larger size! And no interesting property of the surreals depends on class-size-ness and can't be stated for a cardinal $\kappa$ of large enough cofinality. So whence the class craze? $\endgroup$
    – Gro-Tsen
    Commented Feb 6, 2019 at 18:22
  • 5
    $\begingroup$ But anyway, to answer your question as to why I claim that any property of some class-sized object can be attained at some large enough ordinal, this is essentially the content of various reflection principles. Take your favorite property of the surreals, then by a reflection principle there are club-many $\alpha$ such that the same is true in $V_\alpha$, and the surreals in $V_\alpha$ are essentially the surreals of that length. $\endgroup$
    – Gro-Tsen
    Commented Feb 6, 2019 at 21:40
  • 4
    $\begingroup$ Just to emphasize, much of what is interesting about the surreals comes from the extra structure beyond the Field structure (what I like to call the "L|R structure"). For example there is no way to distinguish ω from ω.2 using just the Field structure. Back in 1999, Steve Simpson made a rather big fuss on the Foundations of Mathematics mailing list about the surreals being "not new," but after some back-and-forth discussion, he clarified that he meant that the structure of the surreals qua ordered Field was already known, not that the L|R structure had been previously described. $\endgroup$ Commented Feb 7, 2019 at 0:55
  • 5
    $\begingroup$ @AlecRhea : The dot represents ordinal multiplication. I guess maybe I phrased my comment unclearly. Conway's construction naturally gives rise to the ordinals, as as ordinals, ω and ω.2 are certainly distinguishable. However, if you throw away all the structure except the Field structure, then you can no longer reconstruct which element was ω and which element was ω.2 $\endgroup$ Commented Feb 7, 2019 at 3:19
  • 8
    $\begingroup$ @AlecRhea There is a field automorphism of the sureals that takes $\omega\cdot2$ to $\omega$ (and $\omega$ to $\frac12\omega$). You can tell apart $\omega$ from $\omega\cdot2$ (in the sense that they are distinct elements, and $\omega<\omega\cdot2$), but there is no way you can just look at the field structure, and point towards $\omega$. All infinitely large elements have the same field-theoretic properties. $\endgroup$ Commented Feb 7, 2019 at 8:03
21
$\begingroup$

Let me begin by adding my voice to those who have said that Conway is the sole originator of the theory of surreal numbers, the reasons given by Andreas being critical. Moreover, based on my conversations and correspondence with Norman (Alling), with whom I did the following joint work on the surreals in the 1980s, there is no question he would concur.

(i) An Alternative Construction of Conway's Surreal Numbers, C.R. Math. Rep. Acad. Sci. Canada VIII (1986), pp. 241-46.

(ii) An Abstract Characterization of a Full Class of Surreal Numbers, C.R. Math. Rep. Acad. Sci. Canada VIII (1986), pp. 303-8.

(iii) Sections 4.02 and 4.03 of Norman Alling’s Foundations of Analysis Over Surreal Number Fields, North-Holland Publishing Co., Amsterdam, 1987.

My principal reason for writing this answer is to help clarify the relation between Conway's (1976) work, Norman’s work of 1962, and some work Norman and I did independently in the early 1980s making use of Norman’s work of 1962, and to correct the mistaken characterization of the construction of the surreals contained in Norman’s book as described by Alec in his question.

In his paper of 1962, Norman proves the existence of a real-closed field that is an $\eta_\alpha$-set of power $\aleph_\alpha$, whenever $\aleph_\alpha$ is regular and satisfies another natural set-theoretic condition, thereby providing an affirmative answer to a question of Erdös, Gillman and Henriksen that arose from their work on rings of continuous functions. To prove the result, Norman employed a construction that is a marriage of Hahn’s (1907) celebrated construction of non-Archimedean ordered fields and Hausdorff’s (1907) equally celebrated construction of $\eta_\alpha$-sets obtained from transfinite sequences of 0s and 1s. In my opinion, Norman’s result is one of the genuinely important results of the 20th-century theory of ordered algebraic systems.

On January 3, 1983 and December 20, 1982, Norman and I respectively submitted papers for publication in which we show that an isomorphic copy of Conway’s ordered field $\mathbf{No}$ could be obtained using Norman’s just-mentioned construction or simple variations thereof. Norman did this via the union of a chain $K_{\alpha + 1}$, $\alpha \in \mathbf{On}$, of real-closed fields that are $\eta_{\alpha + 1}$-sets (constructed with minor modifications as in his (1962)) and I did it more simply using Hahn’s construction in conjunction with Custa-Dutarti’s construction of successively filling in cuts (Algebra Ordinal, Rev. Acad. Ci Madrid 48 (1954), pp. 103-145), a construction Harzheim had shown leads to various $\eta_\alpha$-sets at various levels of recursion (Beiträge zur Theorie der Ordnungstypen, lnsbesondere der $\eta_\alpha$-Mengen, Math. Ann. 154 (1964), pp. 116-134). In our respective papers, we also introduced analogous constructions for families of isomorphic copies of distinguished subfields of ${\bf{No}}$ that are real-closed fields that are $\eta_\alpha$-sets. Norman’s paper appeared as Conway’s Field of Surreal Numbers, Trans. Am. Math Soc. 287, (1985), pp. 365-386, and a portion of my paper, which was initially submitted to Fund. Math., eventually appeared six years later as An Alternative Construction of Conway's Ordered Field ${\bf{No}}$, Algebra Universalis, 25 (1988), pp. 7-16. Another portion of that work appeared in my Absolutely Saturated Models, Fund. Math., 133 (1989), pp. 39-46. While I was waiting to hear back from the journal, I sent my paper to Norman, who I did not know at the time and who informed me that his paper (which I was unaware of) had been accepted for publication. Nevertheless, he believed my paper, which differed from his in various ways (including an emphasis on model theoretic connections, and the inclusion of the Custa-Dutarti cut construction which he was not familiar with), should be published, and he proposed we carry out joint work, which led to (i)-(iii) above. (i) is a treatment of the construction of the surreals based on the Custa-Dutarti cut construction, (ii) provides an axiomatiization of the surreals including its birthday structure, and (iii) is two subsections of Norman's book containing expansions of the just-said works.

As my characterization of (iii) suggests, Alec is mistaken when he asserts that in his (1987) Alling constructs the surreals as a field of formal power series (using techniques from his (1962)). What is true is that long after Norman and I introduce the surreals in that work using the Cuesta Dutari cut construction (pp. 121-127), with sums and products defined à la Conway, Norman points out (see pp. 246-247) that ${\bf{No}}$ so constructed is isomorphic to a distinguished field of formal power series. It is worth noting that while Conway was not familiar with the historical background that Norman and I drew attention to in our papers from the 1980s, Conway was aware of the relation between ${\bf{No}}$ and distinguished fields of formal power series (as is evident from Theorem 21 and the subsequent remarks from in his monograph On Numbers and Games). A simple proof of that relationship making use of ${\bf{No}}$’s simplicity hierarchy is the proof of Theorem 16, p. 1249 of the present author’s Number Systems with Simplicity Hierarchies: A Generalization of Conway’s Theory of Surreal Numbers, J. of Sym. Log. 66 (2001), pp. 1231-1258.

$\endgroup$
2
  • 1
    $\begingroup$ Thank you for (again) catching one of my careless errors Philip, and thank you very much for the excellent references and history. I'll edit the question to fix the mistake. $\endgroup$
    – Alec Rhea
    Commented Feb 9, 2019 at 17:28
  • $\begingroup$ Happy to be of help, Alec. $\endgroup$ Commented Feb 9, 2019 at 17:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .