Certaines vérités mathématiques ne peuvent jamais être prouvées
Les théorèmes de Kurt Gödel de 1931 ont prouvé que même les systèmes mathématiques cohérents contiennent des énoncés vrais mais impossibles à prouver. Cela révèle des limites fondamentales de la logique et de la connaissance.
En 1931, le mathématicien Kurt Gödel a révélé une vérité profonde. Tout système mathématique cohérent, assez puissant pour l'arithmétique de base, contient des énoncés vrais mais impossibles à prouver en son sein. Il a créé un paradoxe autoréférentiel. C'est comme dire : « cette affirmation est indémontrable ». Si elle est vraie, elle est indémontrable. Si elle est fausse, cela crée une contradiction.
Il y a plus à découvrir — ouvrez l'app pour continuer la lecture.
Continuer la Lecture dans l'App
1 paragraphes de plus · et un quiz de 3 questions