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