Tangente Hors-série. N° 68. p. 28-30. Les preuves par ordinateur.
Auteur : Lehning Hervé
Résumé
La machine peut-elle démontrer ? Sans humain qui la dirige, sans doute non, mais l’ordinateur est de plus en plus utile pour l’assister, par exemple pour transformer une preuve humaine en preuve formelle. L’auteur de cet article présente des développements et des applications spectaculaires actuellement en cours.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Des mathématiques partout ! dans Tangente Hors-série n° 68 – Intelligence artificielle.
Il est également paru dans Bibliothèque Tangente n° 68 – Intelligence artificielle .
Données de publication
Éditeur Editions POLE Paris , 2018 Format A4, p. 28-30
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification