Percy John Heawood

Percy John Heawood (1861-1955) était un mathématicien britannique. Il consacra l'essentiel de ses travaux mathématiques au théorème des quatre couleurs et montra en 1890 que la preuve d'Alfred Kempe était fausse. Celle-ci, publiée en 1879, avait été considérée comme valide pendant 11 ans. Le théorème des quatre couleurs redevint ainsi une conjecture, mais Heawood montra que la partie correcte de la preuve de Kempe permettait d'établir le théorème des cinq couleurs. Le théorème des quatre couleurs dut attendre 1976 pour trouver une preuve de sa validité, utilisant l'informatique.