APPEL KENNETH (1932- )

Ce sujet est traité dans les articles suivants :

1.  INFORMATIQUE ET VÉRITÉ MATHÉMATIQUE

Écrit par : Jean-Paul DELAHAYE

Dans le chapitre "Preuves mathématiques classiques avec ordinateur"  : … carte de telle façon que deux pays ayant une frontière commune ne portent jamais la même couleur. *Ce résultat, conjecturé en 1852 par Francis Guthrie (1831-1899), fut démontré en juin 1976 par Kenneth Appel et Wolfgang Haken, en partie à l'aide d'un calcul par ordinateur. La preuve a été redonnée plusieurs fois – et même améliorée –, mais elle ne… Lire la suite