Human-readable four color map theorem proof?

Next: About Bohmian mechanics   Up: Introduction science education project   Previous: Potentials in Newtonian mechanics

Dated: 3 September 2019

The science this deals with is mathematics, for a change, not physics. I found a paper by Robert Shuler recently, claiming to give a human-readable proof of the four-color map theorem. The problem with existing proofs is that they have to delegate the evaluation of an extensive finite number of case differentiations to the computer. Usually the task, while "mechanical", is so large that humans cannot perform it directly. Only the less time-consuming parts of the proof and the computer program may be checked. Clearly, simpler proofs are desirable. Unfortunately, Shuler's claim is wrong. His proof is incorrect which I show in the attached document.

No human-readable proof of the four color map theorem in sight so far, 03.09.2019

Next: About Bohmian mechanics   Up: Introduction science education project    Previous: Potentials in Newtonian mechanics

Datenschutzerklärung der Otto-von-Guericke-Universität Magdeburg nach DSGVO