Une preuve sur les nombres premiers
Résumé
Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
inria Interstices : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01350210
Soumis le : vendredi 29 juillet 2016-17:44:48
Dernière modification le : vendredi 19 avril 2024-15:43:48