A Beautiful Theorem with an Ugly Proof

The Art of Mathematics - A podcast by Carol Jacoby

The Four Color Theorem is a pretty little conjecture that has been intriguing mathematicians for more than a century. Too bad the proof stands as an example of really ugly mathematics.