Bibliothèque Tangente. N° 55. Kurt Gödel : le vrai et le démontrable. p. 34-38.
Auteur : Justens Daniel
Résumé
Jusqu’au premier quart du 20e siècle, les mathématiciens étaient persuadés que toute propriété vraie dans un système d’axiomes cohérents pouvait être démontrée. En présentant ses deux théorèmes d’incomplétude, Kurt Gödel a ruiné tout espoir de pouvoir produire un système axiomatique cohérent et complet. Cet article présente les travaux de Gödel.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Les fondements de la preuve dans Bibliothèque Tangente n° 55 – Les démonstrations.
Il est également paru dans Tangente Hors-série n° 55 – Démontrer : l’art de convaincre.
Données de publication
Éditeur Editions POLE Paris , 2015 Collection Bibliothèque Tangente Num. 55 Format 17 cm x 24 cm, p. 34-38
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