Melissa writes,
I have a mathematical tattoo on my left forearm. It’s in Frege’s notation (from “Grundgesetze der Arithmetik”), which was one of the first modern logical notations. If it were written on a flat surface, it would start with the short vertical line, which is the assertion sign. What it asserts is: If {Cantor’s theorem} then {heart}.
Cantor’s Theorem says that the power set of any set is strictly larger than the set itself. (The power set of a set is the set of all its subsets.) For finite sets, this is pretty obvious; for example, the power set of {1,2} is {{}, {1}, {2}, {1,2}}. In general, if a finite set has n members, its power set has 2^n. But Cantor’s Theorem is also true for *infinite* sets, which is kind of unexpected. After all, the set of all even numbers is the same size as the set of all numbers — why does the power set of the set of all numbers have to be bigger?
That’s why the proof of the theorem is so cool. It proves it for finite sets and infinite sets, no matter how huge, at the same time. You start by assuming that some arbitrary set S has the same number of members as its power set P(S). That is, assume there’s a one-one function f which maps the members of S to the members of P(S). Now consider the set D, which consists of all and only the members of S that don’t get mapped to a set of which they’re a member. (So, for instance, if 7 is a member of S, and f(7) = {4, 5, 12}, then 7 is in D because it’s not a member of f(7).) D is a subset of S, so it’s a member of P(S). That means that f maps some member of S, call it d, to D. But: is d in D or not? If it is, then it’s a member of f(d), so by the definition of D, it’s not in D. If it’s not in D, then it’s not a member of f(d), so, again by the definition of D, it’s in D. Either way leads to a contradiction, and there’s only one way out: it’s not possible to have a one-one function from any set to its power set. QED! (Of course, you also have to prove that P(S) can’t be *smaller* than S, but that’s easy.)
When I saw how short and simple (and beautiful!) the proof of such a powerful theorem was, I knew I could spend the rest of my life doing set theory and logic. So last year, when I got my bachelor’s degree in philosophy and went on to grad school, I celebrated by getting the theorem tattooed on my arm. As for the tattoo itself, it’s easiest to read from the bottom. The stuff on the right-hand side of the ‘=’ means: for all a, if a is in r, then a is in u. (In other words, r is a subset of u.) The whole bottom line means: for all r, r is in v if and only if it’s a subset of u. (So v is the power set of u.) The bottom line and the one above it together mean: if v is the power set of u, then v is strictly bigger than u. So those two lines state Cantor’s Theorem, and the whole tattoo means: if Cantor’s Theorem, then {heart}. (Incidentally, I got that heart symbol from an illustration in “Alice in Wonderland”. It’s the top of the King of Hearts’s crown.)
You can see the rest of the Science Tattoo Emporium here or in my book, Science Ink: Tattoos of the Science Obsessed.
Related Topics
Go Further
Animals
- These 'trash fish' are among Earth's most primitive animalsThese 'trash fish' are among Earth's most primitive animals
- These photos are works of art—and the artists are bugsThese photos are works of art—and the artists are bugs
- The epic migration of a 6-foot long, 200-pound catfishThe epic migration of a 6-foot long, 200-pound catfish
- Frans de Waal, biologist who studied animal emotion, dies at 75Frans de Waal, biologist who studied animal emotion, dies at 75
Environment
- Are synthetic diamonds really better for the planet? The answer isn't clear-cut.Are synthetic diamonds really better for the planet? The answer isn't clear-cut.
- This year's cherry blossom peak bloom was a warning signThis year's cherry blossom peak bloom was a warning sign
- The U.S. just announced an asbestos ban. What took so long?The U.S. just announced an asbestos ban. What took so long?
- The most dangerous job? Inside the world of underwater weldersThe most dangerous job? Inside the world of underwater welders
- The harrowing flight that wild whooping cranes make to surviveThe harrowing flight that wild whooping cranes make to survive
History & Culture
- Meet the powerful yokai that inspired the demon king in ‘Demon Slayer’Meet the powerful yokai that inspired the demon king in ‘Demon Slayer’
- A surprising must-wear for European monarchs? Weasels.A surprising must-wear for European monarchs? Weasels.
- Meet the woman who made Polaroid into a cultural iconMeet the woman who made Polaroid into a cultural icon
- Inside the observatory that birthed modern astrophysicsInside the observatory that birthed modern astrophysics
Science
- LED light treatments for skin are trendy—but do they actually work?LED light treatments for skin are trendy—but do they actually work?
- NASA smashed an asteroid. The debris could hit Mars.NASA smashed an asteroid. The debris could hit Mars.
- Humans really can have superpowers—scientists are studying themHumans really can have superpowers—scientists are studying them
- Why engineers are concerned about aging infrastructureWhy engineers are concerned about aging infrastructure
Travel
- 2024 will be huge for astrotourism—here’s how to plan your trip2024 will be huge for astrotourism—here’s how to plan your trip
- Play and stay in the mountains of eastern Nevada
- Paid Content
Play and stay in the mountains of eastern Nevada - This couple quit the city to grow wasabi in Japan's mountainsThis couple quit the city to grow wasabi in Japan's mountains