Four Color Theorem

A graduate student at UCSB claims to have proven the Four Color Theorem in four pages and without any computer program. I read his write-up of it quite thoroughly and failed to find anything wrong. (Well, I don’t believe his proof of one of his lemmas, but he doesn’t even use that lemma in full generality but only a special case which is very obvious and easy to prove.) However, I don’t know what it has to do with the Four Color Theorem. He claims that it was shown to be equivalent to something else two years ago and he proved the something else, so now I’ll have to ask him for a reference on that if I see him next week. Understandably, the math department was talking about nothing else all afternoon.

\begin{edit} Now I know what the paper has to do with the Four Color Theorem after reading this AMS article. (You might need an AMS account to read it.) \end{edit}


About Simon

Hi. I'm Simon Rubinstein-Salzedo. I'm a mathematics postdoc at Dartmouth College. I'm also a musician; I play piano and cello, and I also sometimes compose music and study musicology. I also like to play chess and write calligraphy. This blog is a catalogue of some of my thoughts. I write them down so that I understand them better. But sometimes other people find them interesting as well, so I happily share them with my small corner of the world.
This entry was posted in Uncategorized. Bookmark the permalink.

6 Responses to Four Color Theorem

  1. mathfanatic says:

    Wow. My USAMO proof of #4 was longer than that…hehe…

  2. itsthomson says:

    I’m completely dumbfounded…is there a copy of his paper online? There’s a 12 page proof of this theorem (Cohit) w/o use of Coq, but even that’s still under dispute…

  3. Anonymous says:

    So then the flaw is irreperable?

Leave a Reply

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

You are commenting using your 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