c'est transférer la saleté du problème vers la preuve
C'est l'idée de faire vérifier à un ordinateur qui est sale. D'ailleurs la conjecture de Kepler a aussi ce même genre de preuve, mais la validité n'est acceptée qu'à 99%: http://fr.wikipedia.org/wiki/Conjecture_de_Kepler . Autant dire que ce genre de preuve n'est pas exactement ce que les matheux appellent un belle démonstration.
Erdös a dit un truc du genre "ce sont les mathématiques qui ne sont pas prêtes pour ce genre de problèmes."
[^] # Re: En souvenir de son infirmation de la conjecture des quatre couleurs.
Posté par fleny68 . En réponse au journal Martin Gardner (1914-2010). Évalué à 1.
C'est l'idée de faire vérifier à un ordinateur qui est sale. D'ailleurs la conjecture de Kepler a aussi ce même genre de preuve, mais la validité n'est acceptée qu'à 99%: http://fr.wikipedia.org/wiki/Conjecture_de_Kepler . Autant dire que ce genre de preuve n'est pas exactement ce que les matheux appellent un belle démonstration.
Erdös a dit un truc du genre "ce sont les mathématiques qui ne sont pas prêtes pour ce genre de problèmes."