Math Nerds Need Social Networks, Too

It turns out that there's a Facebook group for quantum information types called the Church of the Larger Hilbert Space after a remark by John Smolin (Facebook link here), which I thought was the nerdiest thing I ever saw. Until I looked at the "Related Groups," and saw "I support the right to choose one element from each set in a collection" (here, if you have access), which is, of course, a political group for people who are Pro-(Axiom-of-)Choice. Who are, of course, opposed by "The Axiom of Life (aka Negation of Axiom of Choice)" (here). Both of those are nerdier than the Church of the Larger Hilbert Space.

Lest you think that there's nothing but frivolous fake political groups on there, though, there are people who are using Facebook to do useful research. Such as, for example, these guys, who plan to use it to prove the Generalized Continuum Hypothesis:

So, the GCH may be independent of Zermelo-Fraenkel Set Theory, but this need not keep us down. We've decided to decide the CH once and for all by simply managing to get a group with Aleph-One members, and then to count the number of members in our group to determine whether Aleph-One=C

They're got 44 members at the time of this writing, so only Aleph-1 to go...

More like this

Paul Cohen, one of the giants of twentieth century mathematics, has died of lung disease at 72. Cohen's major claim to fame was his resolution of the Continuum Hypothesis. Here are the basic ideas: Suppose you have two finite sets and you want to show they contain the same number of elements. You…
Axiomatic set theory builds up set theory from a set of fundamental initial rules. The most common axiomatization, which we'll be used, is the ZFC system: Zermelo-Fraenkel with choice set theory. The ZFC axiomatization consists of 8 basic rules which are pretty much universally accepted, and two…
One of the strangest, and yet one of the most important ideas that grew out of set theory is the idea of cardinality, and the cardinal numbers. Cardinality is a measure of the size of a set. For finite sets, that's a remarkably easy concept: count up the number of elements in the set, and that's…
Today we've got a bit of a treat. I've been holding off on this for a while, because I wanted to do it justice. This isn't the typical wankish crackpottery, but rather a deep and interesting bit of crackpottery. A reader sent me a link to a website of a mathematics professor, N. J. Wildberger, at…

Well let's see. Then there's the Monster Group, I Am a Proud Member of the Empty Set, and If this group reaches 4,294,967,296 it might cause an integer overflow. The group "I like factoring numbers that I see in daily life" is also rather disturbing (or amusing, depending on your initial state of mind) given the discussions of factoring techniques.