Of all the constructions of the reals, the construction via the surreals seems the most elegant to me.


It seems to immediately capture the total ordering and precision of Dedekind cuts at a fundamental level since the definition of a number is based entirely on how things are ordered. It avoids, or at least simplifies, the convergence question of Cauchy sequences. And it naturally transcends finiteness without sacrificing awareness of it.


The one "rumor" I've consistently heard is that it is hard to naturally define integrals and derivatives in the surreals, although I have yet to see a solid technical justification of that.


Are there known results that suggest we should avoid further study of this construction, or that show limitations of it?



What's wrong with the surreals?
At a recent conference in Paris on [Philosophy and Model Theory](http://www.u-paris10.fr/79587394/0/fiche___pagelibre/&RH=1257591848904) (at which I also spoke), [Philip Ehrlich](http://oak.cats.ohiou.edu/%7Eehrlich/) gave a fascinating talk on the surreal numbers and new developments, showcasing it as unifying many disparate paths in mathematics. The abstract is available [here, on page 8](http://lumiere.ens.fr/%7Edbonnay/files/abstracts.pdf), and here his article on the [Absolute Arithmetic Continuum](https://web.archive.org/web/20141027065123/http://www.ohio.edu/people/ehrlich/Unification.pdf). The principal new technical development is a focus on the underlying tree.


Philip expressed his frustration that Conway often treated his creation of surreal numbers as a kind of game or just-for-fun project---an attitude reinforced by the excellent Knuth book---whereas they are in fact a profound mathematical development unifying disparate threads of mathematical investigation into a single unifying structure. And he made a very strong case for this position at the conference.


Meanwhile, perhaps exhibiting Philip's point, at a conference on logic and games here at CUNY, I once heard Conway describe the surreal numbers as one of the great disappointments of his life, that they did not seem after all to have the profound unifying nature that he (and many others) thought they might. Philip Ehrlich strove to make the case that Conway was his own worst enemy in promoting the surreals, and that they actually do have the unifying nature Conway thought they did, but that Conway scared people away from this perspective by treating them as a toy. I encourage you to read Philip's articles.


So my answer, supporting Philip, is that *nothing* is wrong with the surreals---please have at them! Of course they have their own issues, which will need to be surmounted, but we shall all benefit from a greater investigation of them.


