October 30, 2025
Choose your fighter
How to Use Zorn's Lemma
Math explainer ignites 'Choice vs Zorn' showdown — students cheer, purists grumble
TLDR: Tim Gowers published a student-friendly guide to using Zorn’s lemma, a way to finish endless builds. Commenters split between teaching it directly as the Axiom of Choice and sticking with the lemma, tossing memes and requests for examples—spotlighting a classic fight over clarity vs tradition in math education.
On Gowers’s Weblog, mathematician Tim Gowers drops a how-to on Zorn’s lemma — framed as a way to finish building something when your construction could go on forever. Aimed at undergrads, it bundles a quick description and examples (think quirky functions on real numbers) to help students spot when the trick applies. But the real fireworks lit up the comments: the loudest take insists this is just the Axiom of Choice in a different outfit. Translation: instead of learning a fancy name, teach the core idea — you’re allowed to make arbitrary choices as you climb an “infinity staircase.”
One commenter nails that mood with, “you can make arbitrary choices at each stage of a transfinite induction,” arguing Zorn is mainly pedagogy. Others push back: stop gatekeeping and give learners the tools that actually solve problems. Meme-lords chimed in with “Choose Your Fighter: Choice vs Zorn,” and “Infinite LEGO set, Zorn’s lemma is the final boss.” Practical voices want more examples and a cheat-sheet of “spot the signs” where it works. Verdict: a friendly explainer sparked a classic math-teaching skirmish — theory purists vs toolbox pragmatists — and the students are here for the shortcuts. Cue the popcorn, folks. Seriously.
Key Points
- •The article is an expository guide for undergraduates on how to recognize situations where Zorn’s lemma applies.
- •A heuristic is given: ongoing stage-by-stage construction without obstruction suggests using Zorn’s lemma.
- •Prerequisites include basic undergraduate topics like vector spaces.
- •The author shares a motivating anecdote involving problems set by Béla Bollobás and a solution using Zorn’s lemma.
- •At present, the article includes two example applications, including an additive function on real numbers.