Tangente. N° 192. p. 32-33. Les théorèmes d’incomplétude de Gödel.
Auteur : Lehning Hervé
Résumé
En mathématiques, même s’il existe de nombreuses conjectures et hypothèses, on pense généralement que la preuve ou la réfutation d’une affirmation bien formulée existe nécessairement. Kurt Gödel a montré qu’il n’en est rien. Dans cet article, l’auteur présente l’idée de sa démonstration qui utilise l’autoréférence.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : L’autoréférence (2) – Les raisonnements circulaires.
Données de publication
Éditeur Editions POLE Paris , 2020 Format A4, p. 32-33
ISSN 0987-0806
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