Les mathématiques ont des vérités indémontrables
Les théorèmes de Kurt Gödel de 1931 ont prouvé que même les systèmes mathématiques robustes contiennent des énoncés vrais qu'ils ne peuvent pas prouver. Cela a révélé des limites fondamentales à la logique et au calcul.
En 1931, le mathématicien Kurt Gödel a fait une révélation majeure. Même les systèmes mathématiques les plus puissants ne peuvent pas prouver toutes les affirmations vraies en leur sein. Ses théorèmes d'incomplétude l'ont montré. Tout système cohérent décrivant l'arithmétique de base aura toujours des propositions vraies. Celles-ci ne pourront être ni prouvées ni réfutées. Cela a brisé le rêve d'un système mathématique complet et cohérent.
Il y a plus à découvrir — ouvrez l'app pour continuer la lecture.