Graph Theory 9: Philosophical Signifance of Four Color Theorem

Discusses why the Appel and Haken's computer-assisted proof of the four color theorem (1960) caused controversy. References Tymoczko's "The Four Color Theorem and Its Philosophical Significance": www.semanticscholar.org/paper...

[@HSUmusic]

Thank you, exactly the kind of concise treatment I was looking for

[@christopherwalsh3101]

I hope my homework tonight is about the Four Color Theory, given its been the last three videos!

[@cafeinst]

I like reading Doron Zeilberger’s take on all of this.

[@alancalvitti]

link?

[@allabouthim82]

Wow, amazing video

[@relike868p]

But can we still check the 1936 cases ourselves as humans?

[@MathatAndrews]

In principle, yes! But in practice, no, as it is far too much work.

[@bradleyobare5379]

Your making me love math

[@mehrdadghominejad4851]

You said that this theorem can be easily proved for 5 colors. Would you give me a reference about it ? I mean how we can understand that 5 colors for every kind of maps are enough?

[@MathatAndrews]

You can see that proof explained here: th-cam.com/video/5mdH0UeBaR0/w-d-xo.html