The Official Blog for Tattoo Artist Magazine

Carl Zimmer: Science Tattoo Emporium (Love of Logic)

Carl Zimmer is a blogger and writer for both The New York Times and Discover Magazine, which also hosts his blog, The Loom Zimmer writes on a wide range of scientific topics. He is the author of 12 books, the most recent of which is Science Ink: Tattoos of the Science Obsessed. When Zimmer asked on his blog how many scientists out there had tattoos, he was inundated with photo submissions and commentary, which he has collected into the neat book you can see and order below. It’s our pleasure to share some of them…

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}.

Cantors-proof-tattoo600

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.)

Click here to go to the full Science Tattoo Emporium.

Related TAM Blog Articles:

Click here to see more from Carl Zimmer: Science Tattoo Emporium

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 1,796,252 other followers