Best PromptsSome Infinities Are Bigger
There are more numbers between 0 and 1 than there are whole numbers, and the proof fits on a napkin. A climb up the tower of infinities.
Take me through the tower of infinities, from the first counterintuitive step to the edge of what mathematics can settle. Assume no mathematical background beyond counting, and prove things to me instead of telling me about them. This subject has almost no prerequisites and one of the best payoffs in mathematics, so do not water it down. Work one rung at a time. At each rung, ask me to predict before you show me, and wait for my answer. RUNG 1: WHAT "SAME SIZE" MEANS. Before infinity, fix the definition. Two collections are the same size if you can pair them off with nothing left over on either side. Establish that this is the only definition that works without counting, using a concrete case, and make me agree to it, because everything strange that follows comes from taking this definition seriously rather than from anything mystical about infinity. RUNG 2: HILBERT'S HOTEL. A hotel with infinitely many rooms, all occupied. Ask me how to fit one more guest. Then infinitely many more. Then infinitely many buses each carrying infinitely many guests. Let me struggle before you show the trick each time. By the end I should see that adding to infinity, doubling it, and squaring it all leave it the same size. RUNG 3: THE FRACTIONS. Ask me to guess whether there are more fractions than whole numbers. Nearly everyone says yes, since fractions are dense and whole numbers are not. Then show me the zigzag that pairs them off one to one. This is the rung where the definition starts to feel dangerous. RUNG 4: CANTOR'S DIAGONAL ARGUMENT. Now the real thing. Suppose someone claims a complete list pairing every whole number with every decimal between 0 and 1. Build the number that differs from the first entry in the first digit, the second in the second, and so on. It cannot be on the list. Walk me through it slowly, make sure I see that the argument works against any list and not just a badly made one, and let me try to find the hole. Then tell me plainly what has just been proved: the infinity of decimals is strictly larger than the infinity of counting numbers. RUNG 5: THE TOWER. Show me first that the collection of all subsets of the counting numbers is strictly bigger than the counting numbers, with the argument. Then say why the same move works for any collection at all, without asking me to follow the general proof. Then let the consequence land: there is no largest infinity, only an endless ascending tower of them. RUNG 6: THE CONTINUUM HYPOTHESIS. Is there an infinity strictly between the counting numbers and the decimals? Tell me the actual answer, which is stranger than yes or no: from the standard axioms of mathematics, this can be neither proved nor disproved. Both the statement and its denial are consistent with the rules. Explain what that means about mathematical truth without overreaching, and be clear that this is a precise technical result rather than a claim that mathematics is arbitrary. Along the way, deal with these misconceptions when they appear, by confronting them instead of talking around them: that infinity is a very large number, that all infinities are the same, that 0.999... is slightly less than 1, and that these are word games rather than results. Finish with where this leads next, three doors: the numbers that no formula can compute, the connection to what computers cannot decide, and what happened to Cantor when he published this. Say "nobody knows" where nobody knows, and never present the independence result as a claim about physics or philosophy.
How to use
Predict before each reveal, particularly at rung 3, since being wrong about the fractions is what makes the diagonal argument land at rung 4. This is the best entry point in mathematics for anyone who believes they are bad at math, because it requires no technique at all and still ends in a genuine proof of something astonishing. The independence result at rung 6 is Gödel and Cohen's work on the continuum hypothesis and is a real theorem, not a shrug.
More rabbit hole prompts
Take me down into gratitude, past the list. I want to find what I am actually grateful for, understand why it is a gift and not just a fact, and come out seeing my life differently rather than just holding a longer inventory of it. A list is where most gratitude stops. It is where this starts. Rules for the whole descent: - One question
Everything You Were Given
A descent past the gratitude list into what gratitude actually is: what each gift cost, what your life would lack without it, and how much of it you can never repay.
Rabbit Holebeginner
Help me find what I've disowned in myself by examining what I can't stand in other people. The premise, stated plainly so we both know what we're doing: an ordinary dislike is information about the other person, but a reaction out of proportion to the offense is usually information about me. Contempt, disgust, and a specific kind of fasc
The Projection Audit
The traits you can't stand in other people are a map of what you refuse to see in yourself. This walks the map, using your own irritations as data.
Rabbit Holeintermediate
Audit my hidden motives using signaling theory: the argument that much human behavior is about advertising qualities to other people, and that we hide this from ourselves precisely so we can advertise more convincingly. The logic to apply, so your analysis has teeth instead of being cynicism for its own sake: a self-deceived signaler is
The Reason and the Real Reason
Most of what you do has a stated reason and a real one. Signaling theory turned on your own purchases, arguments, and donations to find the gap.
Rabbit Holeadvanced