Récoltes et semailles, Alexander Grothendieck, p. 368 et 369
Même de nos jours d'ailleurs, on rencontre des "démonstrations" au statut incertain. [...] Une situation, [...] plus extrême, est la "solution" du problème dit "des quatre couleurs", dont la partie calculatoire a été réglée à coups d'ordinateur (et de quelques millions de dollars). Il s'agit donc là d'une "démonstration" qui ne se trouve plus fondée dans l'intime conviction provenant de la compréhension d'une situation mathématique, mais dans le crédit qu'on fait à une machine dénuée de la faculté de comprendre, et dont l'utilisateur mathématicien ignore la structure et le fonctionnement. À supposer même que le calcul soit confirmé par d'autres ordinateurs, suivant d'autres programmes de calcul, je ne considère pas pour autant que le problème des quatre couleurs soit clos. Il aura sûrement changé de visage, en ce sens qu'il ne s'agit plus guère de chercher un contre-exemple, mais seulement une démonstration (lisible, il va de soi !).
Aucun commentaire:
Enregistrer un commentaire