Premier théorème d'incomplétude
Tout système formel cohérent F suffisamment puissant pour exprimer l'arithmétique de base contient des énoncés qui sont vrais mais indémontrables au sein de F. La preuve repose sur l'autoréférence : Gödel a construit un énoncé G qui affirme « cet énoncé n'est pas démontrable dans F ». Si F démontre G, alors F est incohérent. Si F ne peut pas démontrer G, alors G est vrai (puisqu'il affirme qu'il n'est pas démontrable) mais indémontrable. Dans les deux cas, F est incomplet ou incohérent.
Second théorème d'incomplétude
Aucun système formel cohérent suffisamment puissant pour exprimer l'arithmétique de base ne peut prouver sa propre cohérence. Vous ne pouvez pas utiliser un système pour établir que ce système ne prouvera jamais de contradiction. C'est le résultat le plus profond : il signifie que le programme de Hilbert visant à prouver la cohérence des mathématiques par des moyens mathématiques est impossible.
Ce que Gödel ne prouve pas
Les théorèmes d'incomplétude ne signifient pas que les mathématiques sont peu fiables ou que « tout est permis ». Ils s'appliquent aux systèmes formels (systèmes axiomatiques avec des règles de preuve mécaniques), et non à l'intuition mathématique en général. Ils ne signifient pas que toute question mathématique est indécidable, seulement qu'aucun système d'axiomes fini ne permet de trancher toutes les questions. Gödel lui-même était platonicien : il croyait que les vérités mathématiques sont objectivement réelles et accessibles à l'intuition mathématique, même lorsqu'elles dépassent la preuve formelle.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Implications au-delà des mathématiques
Les théorèmes de Gödel ont été interprétés (souvent surinterprétés) comme ayant des implications pour l'intelligence artificielle, les limites de la connaissance humaine et la nature de la conscience (l'argument de Penrose). L'interprétation la plus défendable : toute IA suffisamment puissante basée sur un système formel aura des angles morts, c'est-à-dire des vérités mathématiques qu'elle ne pourra pas démontrer. La question de savoir si l'intuition mathématique humaine échappe à cette limitation fait l'objet de débats intenses.
Foire aux questions
Que disent les théorèmes d'incomplétude de Gödel ?
Le premier théorème : tout système formel cohérent suffisamment puissant pour l'arithmétique contient des énoncés vrais qu'il ne peut démontrer. Le second théorème : aucun système de ce type ne peut prouver sa propre cohérence. Ensemble, ils montrent que les mathématiques ne peuvent être entièrement axiomatisées : il y aura toujours des vérités mathématiques au-delà de tout système de preuve fixe.
Les théorèmes de Gödel prouvent-ils que l'IA ne pourra jamais égaler l'intelligence humaine ?
Roger Penrose soutient que oui : si l'esprit humain était un système formel, le théorème de Gödel s'appliquerait ; puisque les mathématiciens peuvent reconnaître des vérités au-delà de la preuve formelle, l'esprit doit être quelque chose de plus. Les critiques (y compris la plupart des chercheurs en IA) soutiennent qu'il s'agit d'une mauvaise application des théorèmes : Gödel s'applique aux systèmes formels fixes, et un système d'apprentissage ou qui modifie ses axiomes n'est pas la même chose.
Les théorèmes de Gödel concernent-ils les limites de la connaissance humaine ?
Ils concernent spécifiquement les systèmes axiomatiques formels, et non la connaissance humaine en général. Gödel pensait que les humains possédaient une intuition mathématique transcendant tout système formel particulier, car il était platonicien. Les théorèmes montrent qu'aucune procédure de preuve mécanique ne peut capturer la totalité des mathématiques, mais savoir si la compréhension mathématique humaine dépasse les procédures mécaniques reste une question philosophique distincte.