Les systèmes mathématiques ne peuvent pas prouver toutes leurs vérités
Les théorèmes de Kurt Gödel de 1931 ont révélé que les systèmes mathématiques cohérents, assez puissants pour l'arithmétique de base, ne peuvent pas prouver toutes leurs propres vérités. Cela expose des limites inhérentes à la logique formelle.
En 1931, le mathématicien Kurt Gödel a fait une révélation majeure. Aucun système mathématique cohérent, assez puissant pour l'arithmétique de base, ne peut prouver toutes ses propres affirmations vraies. Ces systèmes sont donc incomplets par nature. Ils ne peuvent pas saisir toutes les vérités mathématiques avec leurs seules règles internes. Il a aussi montré qu'un système cohérent ne peut pas prouver sa propre cohérence.
Il y a plus à découvrir — ouvrez l'app pour continuer la lecture.