Bibliothèque Tangente. N° 61. Kurt Gödel et l’indécidabilité. p. 70-73.
Auteur : Lehning Hervé
Résumé
En mathématiques, « vrai » et « prouable » semblent se confondre. Même s’il existe de nombreuses conjectures probablement vraies mais non prouvées : on pense ordinairement que la preuve existe mais que personne ne la encore mise à jour. Pourtant Kürt Gödel a montré qu’il n’en était rien. L’auteur de cet article présente ce problème fondamental d’autoréférence.
Notes
Cet article est publié sous la rubrique « Savoirs ». Il fait partie du dossier : Opérations, structures, nombres dans Bibliothèque Tangente n° 61 – Les ensembles.
Données de publication
Éditeur Editions POLE Paris , 2017 Collection Bibliothèque Tangente Num. 61 Format 17 cm x 24 cm, p. 70-73
ISBN 2-8488-4213-X EAN 9782848842134 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