Home > History > Socks and the Axiom of Choice

Socks and the Axiom of Choice


Every time I buy socks I think of the Axiom of Choice.

About a century ago, mathematicians were arguing about exactly which basic axioms, or assumptions, were needed in order to justify all of our mathematics.  Because of the personalities involved and the nature of mathematical discourse at the time, Set Theory was the starting point, and one of the axioms under consideration was the Axiom of Choice.

Deciding on axioms is tough business:  an axiom has to be powerful enough to do something, but obvious enough for people to accept it as true without evidence.  But deciding on axioms has to be done:  before we can prove anything, we need to assume something is true.

The Axiom of Choice essentially says that if you have an infinite number of sets, you can form a new set by choosing an arbitrary element from each of those sets.  It seems sensible enough, but fierce mathematical debate raged for years about whether this was obvious enough to be true.  Some mathematicians still don’t accept this principle.

So why would someone object to this sensible-enough idea?  That’s where shoes and socks come in.

Suppose you had infinitely many pairs of shoes.  There’s a straightforward way to define a new set that contains one shoe from each pair:  choose every left shoe.  This explicit rule make its clear how to construct this new set, and so forming this new infinite set seem reasonable.

But imagine you had infinitely many pairs of socks.  Since the socks are identical, you can’t give a specific rule that says “for each of the pair of socks, give me that one”.  You need to believe in the Axiom of Choice in order to believe that such a set, one containing one sock from each pair of socks, can really be formed without giving an explicit rule.

As it turns out, deciding to believe in this set of socks has substantial consequences for what you can prove in mathematics.  So there’s something to think about the next time you are sock shopping!

Click here to see more in History.

www.MrHonner.com

  1. No comments yet.
  1. February 21, 2011 at 10:44 am

Leave a Reply

Fill in your details below or click an icon to log in:

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

%d bloggers like this: