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.
Type de document :
Article dans une revue
Interstices, INRIA, 2004
Liste complète des métadonnées

https://hal.inria.fr/hal-01350210
Contributeur : Inria Interstices <>
Soumis le : vendredi 29 juillet 2016 - 17:44:48
Dernière modification le : lundi 13 février 2017 - 12:24:23

Identifiants

  • HAL Id : hal-01350210, version 1

Collections

Citation

Anita Castiel. Une preuve sur les nombres premiers. Interstices, INRIA, 2004. 〈hal-01350210〉

Partager

Métriques

Consultations de la notice

67