
Nearly 30 years ago, John Horton Conway introduced a new way to construct numbers. Donald E. Knuth, in appreciation of this revolutionary system, took a week off from work on The Art of Computer Programming to write an introduction to Conway's method. Never content with the ordinary, Knuth wrote this introduction as a work of fiction--a novelette. If not a steamy romance, the book nonetheless shows how a young couple turned on to pure mathematics and found total happiness. The book's primary aim, Knuth explains in a postscript, is not so much to teach Conway's theory as "to teach how one might go about developing such a theory." He continues: "Therefore, as the two characters in this book gradually explore and build up Conway's number system, I have recorded their false starts and frustrations as well as their good ideas. I wanted to give a reasonably faithful portrayal of the important principles, techniques, joys, passions, and philosophy of mathematics, so I wrote the story as I was actually doing the research myself."... It is an astonishing feat of legerdemain. An empty hat rests on a table made of a few axioms of standard set theory. Conway waves two simple rules in the air, then reaches into almost nothing and pulls out an infinitely rich tapestry of numbers that form a real and closed field. Every real number is surrounded by a host of new numbers that lie closer to it than any other "real" value does.
I'd argue that its format, a dialog between a novice who is yet still sharp (is able to be the one that makes the connections between ideas) and an expert who guides with pointed questions (fills in background context that is needed for the problem at hand), is one of the most effective ways of formatting mathematical communication. Surreal Numbers by Donald Knuth is another great example of the style I'm referring to.
If you're looking for a more formal approach, ie the infinitesimal analogue to the usual real analysis, it's called nonstandard analysis and you could probably start with the original, eponymous book written by the creator, Abraham Robinson, for which I unfortunately don't have a link.
If this stuff interests you btw I would also check out Knuth's book on surreal numbers[3], which I believe, in some sense, are the fullest possible extension of what we think of as numbers? But it's been a while since I read into those.
[0] https://www.bravernewmath.com/ [1] https://intellectualmathematics.com/calculus/ [2] https://people.math.wisc.edu/~hkeisler/keislercalc-06-03-26.... [3] https://people.math.harvard.edu/~knill/teaching/mathe320_201...
I don't mind in which field, and it's fine if it's quite formal (not looking for pop science). But it would be good if it is relatively self-contained (doesn't require too much prior knowledge, it establishes some foundations and builds from them).
I'm a fan of On Numbers and Games by Conway for instance, and the more literary Surreal Numbers by Knuth (written earlier but inspired by Conway's research before publication).
