Bibliothèque Tangente. N° 68. Les preuves par ordinateur. p. 122-126.
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 : L’IA pour comprendre dans Bibliothèque Tangente n° 68 – Intelligence artificielle.
Il est également paru dans Tangente Hors-série n° 68 – Intelligence artificielle .
Données de publication
Éditeur Editions POLE Paris , 2019 Collection Bibliothèque Tangente Num. 68 Format 17 cm x 24 cm, p. 122-126
ISBN 2-84884-227-X EAN 9782848842271 ISSN 2263-4908
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type chapitre d’un ouvrage, vulgarisation, popularisation Langue français Support papier
Classification