The tea salon
This site is built for company: one reader who loves mathematics and one who is certain they do not. Neither needs permission to start. The chapters feed both; the learning ladder walks at two speeds; and this salon is where you carry what you found. Bring a drink. Formulas optional.
Proof stories →House rules
- Nobody is allowed to say “that is obvious.” The general theorem took centuries; every reader may ask where a step comes from.
- Both seats carry real evidence: the story guest reports feelings, the proof guest reports pointers. Both reports count.
- Swap seats at intermission: the proof guest retells a scene, the story guest retells an argument. No grades, no test.
Table one · The impossible cake
On this table, from the storyChapter 1 · The impossible order · Chapter 2 · The case of three · Chapter 3 · Too many suspects · Chapter 4 · The suitcase diet · Chapter 5 · The suspicious parcel
For the guest who avoids math
Retell the case without formulas: an impossible cake order, the exponent-four case Fermat proved by descent, and a parcel carrying receipts. Why did the general theorem need centuries after that early victory?
For the guest who loves math
Explain one pebble slowly: squares never leave remainder 2 when divided by 4. Then explain why it suffices to treat exponent 4 and odd prime exponents, rather than checking every exponent separately.
For both of you to argue about
- Was the margin note a promise, a boast, or a joke? Defend your answer using only Table one.
- The parcel carries conditions and evidence for each. Which condition would you want to inspect first, and why?
- Stripping the ribbons (gcd one): housekeeping, or a deep necessity?
Words that back you upPowers and positive integers · Squares on the four-clock · From the equation to a curve
Table two · The knot that kept its shape
On this table, from the storyChapter 6 · The scissors incident · Chapter 7 · The veterans’ cabinet · Chapter 8 · The secret duet
For the guest who avoids math
Report one scene and one feeling: the scissors trying to split the knot, the veterans cabinet re-opening solved cases, and a duet rehearsed with only one biscuit of budget. Then ask the math guest which character they would hire for their own work.
For the guest who loves math
Tell one true thing at speaking speed: the knot has no loose strand — you assume a strand exists, and the argument eats itself. If curiosity shows up, hand over the finite cage E[ℓ] as the next pebble.
For both of you to argue about
- The curve sings and the form answers. Is a partnership you can prove weaker — or stronger — than one you can only feel?
- The detour through three borrows a helper curve. When is borrowing legitimate in mathematics — and in friendship?
- Which travels worse: a certificate, or a reputation?
Words that back you upTorsion points E[ℓ] · Modular forms
Table three · The bridge builders
On this table, from the storyChapter 9 · Two doors to the concert · Chapter 10 · A three-note audition · Chapter 11 · Borrow a better passport · Chapter 12 · The workshops agree · Chapter 13 · Pip’s impossible quilt
For the guest who avoids math
Tell the travel story: a suitcase that arrives carrying its own modularity passport, a porter who carries no data at all, one detour with a rented helper curve, and two workshops — one sewing quilts out of correct squares, one matching every seam. At the end stands a very small room.
For the guest who loves math
State the summit in plain words: a comparison map identifies the deformation ring with the Hecke algebra by an isomorphism. Then inspect the excerpt: showing the map is onto is only one part of that claim.
For both of you to argue about
- What is the R = T of your own bag: the one document that proves the contents are really yours?
- The suitcase must arrive alive (nonzero). In an argument, what counts as arriving alive?
- A quilt needs correct squares AND matched seams. Where does your own teamwork usually fail — pieces, or seams?
Words that back you upConductor and level lowering · Deformation rings · Patching
Table four · The empty room and the quiet owl
On this table, from the storyChapter 14 · The shrinking reservation · Chapter 15 · The concert of absolute silence · Chapter 16 · The room with no room · Chapter 17 · The extremely literal judge
For the guest who avoids math
Narrate the last act like a heist film: the stone that survived the entire journey is placed beside a box certified empty; then a courtroom where the owl refuses to applaud and only lists three names. The case file is stamped: verified. Ask your friend whether that ending is a crime drama or a fairy tale.
For the guest who loves math
Put two certificates side by side: f is nonzero, and every form in its exact space is zero. Then read the pinned axiom checkpoint. The site presents that record; it does not rerun or time the complete Lean proof.
For both of you to argue about
- Nothing was ever in the room. Where, then, was the mathematics the whole time?
- The checkpoint records three axiom names. If another appeared, what would you need to investigate before trusting the claim?
- The case is closed. What would you write in the margin now?
Words that back you upA room with no guest · Axioms and proof checking
One last rule: after the last table, swap answers. The proof guest should now retell Act one as a story; the story guest should retell Act one as an argument. If both retellings survive, Fermat's Last Theorem has gained two new translations.