|
Titre :
|
Démonstrations et certitude en mathématiques (2005)
|
|
Auteurs :
|
Jean-Paul Delahaye, Auteur
|
|
Type de document :
|
Article : texte imprimé
|
|
Dans :
|
Pour la science. Dossier (049, 10/2005)
|
|
Article en page(s) :
|
p.38-43
|
|
Langues de la publication :
|
Français
|
|
Descripteurs
|
[UNESCO] Logique mathématique
|
|
Mots-clés :
|
vérité
|
|
Résumé :
|
Les développements de la logique et de l'informatique permettent de redéfinir la notion de démonstration. Examen du cas des preuves graphiques : "les preuves sans mot", les preuves animées, les démonstrations aidées par l'ordinateur comme la démonstration de Thomas Hales ou le théorème des quatre couleurs. Principe général des preuves sans transfert de connaissance et idée des preuves quantiques. Bibliographie, schémas, webographie.
|
|
Nature du document :
|
Article de périodique
|
