par azgj2 » Sam Sep 22, 2007 11:52 pm
La démonstration formelle de l'exactitude ou de l'erreur d'une démonstration de ce genre est très difficile. Les tentatives de démonstration de certaines grandes conjectures le montrent bien. Les argumentations sont parfois tellement subtiles qu'une toute petite poignée de mathématiciens au monde peuvent les comprendre.
Pourtant, il y a un moyen trivial (certes pas élégant, mais efficace) de montrer qu'un théorème finalement est faux : exhiber un contre-exemple. Cela suffirait.

On ne peut pas attendre que l'inspiration vienne. Il faut courir après avec une massue. (Jack London)