Re: En souvenir de son infirmation de la conjecture des quatre couleurs.

Retourner au contenu associé (journal : Martin Gardner (1914-2010))

[^] # Re: En souvenir de son infirmation de la conjecture des quatre couleurs.

Posté par fleny68 le 24 mai 2010 à 22:03. En réponse au journal Martin Gardner (1914-2010). Évalué à 2.

Ouah patrick_g est tombé dans le panneau. Pas n'importe qui, patrick_g ! L'homme des news sur le kernel, tout ça.

Pour les autres, la conjecture a été démontrée, mais assez salement, à l'aide d'un ordinateur:
http://fr.wikipedia.org/wiki/Th%C3%A9or%C3%A8me_des_quatre_c(...)

Paul Erdös n'aimait pas ça du tout et il a exprimé sa satisfaction lorsque le théorème de Fermat a été démontré sans ordinateur.

Acessoirement MicroSoft est lié au théorème des quatre couleurs via son labo de recherche, pour une preuve utiisant Coq (qui est un logiciel libre):
http://www.microsoft.com/france/vision/mstechdays09/Webcast.(...)
http://www.inria.fr/rocquencourt/rendez-vous/modele-et-algo/(...)
http://www.onversity.net/cgi-bin/progactu/actu_aff.cgi?Eudo=(...)
http://coq.inria.fr/what-is-coq

Pour ceux qui ont envie de 'amuser avec ce théorème:
http://www.enseignement.polytechnique.fr/profs/informatique/(...)