Why Infinity Keeps Breaking Mathematicians
I picked up Eli Maor's To Infinity And Beyond Eli Maor because I wanted to actually understand what mathematicians were arguing about for two thousand years, not just read a pop science summary. What I found was a book that traces how different civilizations handled the concept of infinite processes, and honestly, some of the older approaches are way more interesting than the modern formalism we end up learning in calculus classes. The book covers everything from Zeno's paradoxes to Cantor's set theory. Maor doesn't shy away from the messy periods where people had no idea what they were doing either. He presents the actual historical timeline, which means you see ideas being built on top of flawed reasoning, corrected, thrown out, and then rediscovered properly decades later.
To Infinity And Beyond Eli Maor
First published in 1991, the book got a significant revision in 2007 that added a final chapter on the axiom of choice and its consequences. If you are reading a copy, make sure it is the updated edition because the original version ends before the interesting stuff about well-ordering theorems and the banach-tarski paradox gets explained. Maor's approach is straightforward historical narrative. He does not try to be rigorous in the way a textbook is rigorous. Instead he walks you through the actual problems that drove mathematicians to keep pushing past finite thinking. The ancient Greeks were stuck because they could not reconcile the idea of an actually completed infinite with their geometric intuition. That tension lasted until the nineteenth century. Archimedes is the early standout. He used the method of exhaustion to calculate areas and volumes by comparing them to infinite series. He never claimed the series was "completed," which would have bothered him philosophically. He just showed that the remainder could be made smaller than any positive number you choose. That is essentially the epsilon-delta approach hiding under a different name.
I spent a solid afternoon trying to follow Maor's explanation of how Dedekind cuts actually work, and the first pass went poorly because I kept confusing the definition of a cut with the properties it needs to satisfy. The workaround was simple: draw it. Sketch a rational number line, pick a point like sqrt(2), and mark all the rationals below it versus all the ones above it. Once you see the partition visually, the definition stops being abstract.
What the Book Gets Right
Maor explains why Cantor's diagonal argument is not just a clever trick but a structural necessity. Most people encounter the proof and nod along without understanding why a simpler counting argument cannot work. The book makes the case that countability is genuinely restrictive, not just a quirk of how we label numbers. The treatment of non-standard analysis gets a fair shake too. Maor does not pretend it solved everything, which is refreshing. Abraham Robinson's system is elegant but introduces complications that most working mathematicians ignore because the standard framework already does the job. The book acknowledges that without dismissing the alternative outright. One thing I noticed that catches people off guard: Maor devotes real attention to how philosophical commitments shape mathematical practice. The intuitionists, the finitists, the formalists. These were not just academic debates. They influenced which problems people felt allowed to tackle and which results counted as legitimate. You can trace the controversy straight into modern computer science, where constructive proofs map directly to executable code.
Pitfalls and Where the Book Falls Short
The 1991 edition has no coverage of cardinal arithmetic beyond basic comparisons. If you finish the book and then open a modern set theory text, the jump will feel abrupt. The 2007 revision partially fills this gap, but it is still not a substitute for a proper graduate-level treatment. Maor also occasionally handwaves technical details when the narrative would stall otherwise. A reader who wants to verify a claim about the measure of a particular set will hit a dead end. I ran into this with the Vitali set construction. The book describes the result and why it matters, but skips the proof that the set is non-measurable. I had to go to a real analysis text to fill that gap. Another limitation: the book treats topology and analysis as separate concerns for much of its discussion. Modern treatments often intertwine them earlier, and some readers may find that the historical separation makes certain connections less obvious than they should be.
Who Should Read It and How to Get It
This is not a textbook. Do not buy it expecting problem sets or exercises. It is a narrative history written for readers who have seen some calculus and are curious about what lies beneath the definitions they memorized. If you have taken a real analysis course and then wondered why your professor kept saying "we assume X is countable" without explaining the consequences, this book answers that. You can find physical copies on Amazon, Barnes & Noble, and independent bookstores. The ISBN for the 2007 Princeton University Press edition is 978-0691119684. Used copies run anywhere from ten to twenty-five dollars depending on condition. The ebook version is also available through most major retailers. I would recommend reading it straight through on the first pass. The historical arc matters more than any single chapter. Skipping ahead to the Cantor section loses the context of why his work was controversial in the first place. The resistance was not just philosophical pettiness. It came from genuine confusion about what an infinite set actually is, and that confusion is worth sitting with.
A Note on Reading This Kind of History
Books like this work best when you pause and work through the examples yourself. Maor gives you the intuition, but the details stick when you test them. I kept a notebook open and re-derived the nested intervals theorem myself instead of just reading his version. It took me about twenty minutes, and the effort made the connection to completeness of the reals click in a way that passive reading never would have. If you are looking for something more technical alongside Maor, pairs it well with Halmos's Naive Set Theory for the foundations and Spivak's Calculus for the analytical side. Neither replaces the book, but together they cover the gaps that come up naturally while reading it. Infinity is a weird concept. It does not behave like any number you have ever used. Maor's book does not try to make it comfortable. It shows you why mathematicians struggled with it for centuries and how they eventually built tools that let them manipulate it without losing their minds in the process. That is the whole point, and the book delivers on it without pretension or filler.
