Tangente Hors-série. N° 38. p. 50-52. Les théorèmes d’incomplétude de Kurt Gödel.
Auteur : Sauvageot Myrto
Résumé
Dans les mathématiques classiques que nous utilisons, ou dans des mathématiques non standard, fondées sur d’autres axiomes mais restant cohérentes, la plupart des propositions sont indécidables : elles peuvent être vraies ou fausses sans enlever au système sa cohérence. Cet énoncé, émis par Kurt Gödel en 1931, fit l’effet d’une bombe.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : La logique dans Tangente Hors-série n° 38 – Maths et philosophie
Il est également paru dans Bibliothèque Tangente n° 38 – Maths et philosophie , Bibliothèque Tangente n° 38 – Edition 2019.
Données de publication
Éditeur Editions POLE Paris , 2009 Format A4, p. 50-52
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification