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

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

Posté par oao le 27 mai 2010 à 01:39. En réponse au journal Martin Gardner (1914-2010). Évalué à 2.

Le fait que coq soit - si je ne m'abuse - vérifié par lui-même est un gros plus et j'ai plus confiance en lui pour cela que pour le fait qu'il soit vérifié par X personnes.

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