Bibliothèque Tangente. N° 38. Les théorèmes d’incomplétude de Kurt Gödel. p. 62-66.
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 Bibliothèque Tangente n° 38 – Maths et philosophie.
Il est également paru dans Tangente Hors-série n° 38 – Maths et philosophie , Bibliothèque Tangente n° 38 – Edition 2019.
Données de publication
Éditeur Editions POLE Paris , 2010 Collection Bibliothèque Tangente Num. 38 Format 17 cm x 24 cm, p. 62-66
ISBN 2-84884-110-9 EAN 9782848841106 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