Le patron depuis 5 ans de Microsoft est à Paris ces jours-ci.
Il parle beaucoup des qualités de la R&D française.
Une annonce est prévue cet après-midi...
Il cite volontiers la coopération de longue date entre Microsoft et des organismes comme l'Inria
=>notamment pour la démonstration par ordinateur
du fameux théorème des quatre couleurs:
toute carte de géographie est coloriable avec quatre couleurs sans que deux
régions frontalières ne soient colorées de la même manière.
"Un théorème démontré en 1976 par deux athématiciens de l'Université de l'Illinois, Kenneth Appel et Wolfgang Haken" nous dit le site cité plus haut.
Mais, moi, la seule question que je me pose est la suivante:
Qu'est-ce qui a bien se passer dans la tête des matheux du monde entier depuis un siècle et demi pour qu'ils se lancent un tel défi de coloriage'?
On dirait un gag, un jeu d'enfant.
La réponse est simple: les matheux sont de grands enfants.
suite de la citation: "leur démonstration repose crucialement sur la longue étude, au cas
par cas, d'un ensemble de près de 2000 configurations géographiques
particulières, étude menée pour l'essentiel sur ordinateur et
nécessitant de tels temps de calcul qu'aucune vérification humaine
n'est aujourd'hui envisageable - de sorte que la question de
l'existence d'une preuve ``à visage humain'' du théorème des quatre
couleurs reste ouverte."
Je ne sais pas si on a le droit de parler de "démonstration par ordinateur". Cette démonstration repose sur l'étude de tous les cas possibles. Je ne sais pas s'il s'agit vraimment d'une démonstration du coup.
RépondreSupprimer