A Human-Checkable Four-Color Theorem Proof
Discrete Mathematics
2019-11-05 v9
Abstract
This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are presented in the Introduction.
Cite
@article{arxiv.1708.07442,
title = {A Human-Checkable Four-Color Theorem Proof},
author = {André Luiz Barbosa},
journal= {arXiv preprint arXiv:1708.07442},
year = {2019}
}
Comments
26 pages, 43 figures, 5 tables and 1 new great idea!