Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
Auteur : Schabanel Nicolas
Résumé
Le théorème PCP affirme qu’il est possible d’être convaincu de la validité d’une preuve par la seule lecture de trois bits. En outre la preuve écrite sous la forme qui convient n’est pas beaucoup plus longue que la preuve originale. Cet article montre comment un tel miracle est possible.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Les apports de l’informatique dans Bibliothèque Tangente n° 55 – Les démonstrations.
Données de publication
Éditeur Editions POLE Paris , 2015 Collection Bibliothèque Tangente Num. 55 Format 17 cm x 24 cm, p. 130-131
ISBN 2-84884-198-2 EAN 9782848841984 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