ケネス・アッペル 氏Kenneth Ira Appel

ドイツの数学者、ヴォルフガング・ハーケンと共に、四色定理を電子計算機を用いて証明した。