Timeline for Algebraic proof of 4-colour theorem?
Current License: CC BY-SA 2.5
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 25, 2010 at 23:39 | comment | added | Noah Snyder | Thanks for not taking my criticism personally. I think "what remains to be checked" is not quite the right way of thinking about it. What you have is a tensor category given by generators and relations, and you want to understand why all closed diagrams evaluate to something positive. There are lots of other tensor categories given by generators and relations, and people find new techniques for dealing with them all the time. The hope is that someday the right new technique will crack the 4-color theorem. | |
| Mar 25, 2010 at 19:04 | comment | added | Tony Huynh | Hi Noah. I think a reasonable answer was given by Igor, and I'll probably accept his answer once I've looked at the Cautis and Jackson paper more carefully. In another sense, I think the question is also a general probe into the current state of affairs in areas related to the 4-colour theorem. So, your second paragraph was quite helpful. Indeed, if you could elaborate or provide a link on what you feel remains to be checked that would be very helpful. | |
| Mar 25, 2010 at 17:57 | history | answered | Noah Snyder | CC BY-SA 2.5 |