L'incomplétude mathématique
| Chap. 1 : |  Le paradoxe du menteur (16) |
|---|---|
| Chap. 2 : | Les prédicats de vérité et le théorème d’incomplétude de Tarski (16) |
| Chap. 3 : | Les prédicats de prouvabilité et le premier théorème d’incomplétude de Gödel (16) |
| Chap. 4 : | Les ensembles indicibles sont indéfinis (16) |
| Chap. 5 : | Les ensembles décidables et énumérables (16) |
| Chap. 6 : | Le théorème fondamental de l’indécidabilité et le problème de Turing (16) |
| Chap. 7 : | Où sont les axiomes manquants ? (16) |
Présentation []
L’existence des ensembles indicibles montre le caractère essentiellement incomplet de toute théorie mathématique. Cette incomplétude ontologique n’était pas considérée comme une restriction trop sévère avant que Gödel ait prouvé ses théorèmes d’incomplétude. Les mathématiciens pouvaient espérer que les éléments sans noms des ensembles indicibles n’étaient pas importants, que tous les ensembles « intéressants » pouvaient être définis à l’intérieur des théories existantes. La pratique confirmait cet espoir, parce que les outils connus de construction des ensembles étaient suffisants pour couvrir tous les besoins courants.
Les théorèmes de Gödel ont montré que l’incomplétude mathématique n’est pas seulement ontologique. Toutes les théories mathématiques générales sont incomplètes au sens où elles ne sont jamais capables de prouver toutes leurs vérités. Elles ne peuvent pas apporter de réponses à toutes les questions qu’elles permettent pourtant de poser. Elles ne contiennent jamais assez d’axiomes pour cela.
Le chapitre 6 prouvera que l’incomplétude de la prouvabilité axiomatique est étroitement liée à l’incomplétude ontologique, ce qui n’est pas étonnant, puisqu’une ontologie est fixée par des axiomes. Mais c’est très important pour comprendre que les théorèmes d’incomplétude sont des manifestations de la puissance de l’imagination et de la raison. Ils ne sont pas des preuves d’une insuffisance de la logique, comme cela est admis couramment, d’une façon incohérente, parmi de nombreux autres préjugés, ésotériques ou pseudo-mystiques, qui circulent sur ce sujet.
Objectifs
Les objectifs de cette leçon n'ont pas encore été fixés. Pour le faire, cliquez ici.
Niveau et prérequis conseillés
Leçon de niveau 16. Les prérequis pour cette leçon n'ont pas encore été précisés. Pour le faire, cliquez ici.
Référents []
Ces personnes sont prêtes à vous aider concernant cette leçon :