Grand débat philosophique — Sciences, maths, logique
💬 L’enjeu
Sur quoi reposent les mathématiques ? Au tournant du XXe siècle, les paradoxes de la théorie des ensembles (celui de Russell notamment) déclenchent une véritable crise des fondements. Trois programmes rivaux prétendent la résoudre — et derrière la technique, c’est la nature même du vrai mathématique qui se joue : découverte d’objets, construction de l’esprit, ou jeu de symboles ?
⚔️ Les deux positions
Logicisme — les maths sont de la logique. Pour Frege puis Russell (Principia Mathematica), l’arithmétique se déduit des seules lois logiques ; les nombres sont définissables logiquement. La vérité mathématique serait analytique, garantie a priori. Mais le paradoxe de Russell fissure l’édifice frégéen.
Intuitionnisme — les maths sont une construction. Brouwer refuse tout objet mathématique préexistant : n’existe que ce que le sujet peut construire par une intuition temporelle. Conséquence radicale : rejet du tiers exclu pour les ensembles infinis — une proposition n’est ni vraie ni fausse tant qu’on n’a pas construit sa preuve ou sa réfutation. Une preuve d’existence par l’absurde ne suffit plus.
Formalisme — les maths sont un jeu d’axiomes. Hilbert veut sauver les mathématiques classiques en les traitant comme des systèmes formels de signes, manipulés selon des règles, dont il suffirait de prouver par des moyens finitistes la cohérence (non-contradiction). Le sens importe peu : seule compte la consistance du système.
🔬 Portée & prolongements
Le choc décisif vient de Gödel (1931) : ses théorèmes d’incomplétude montrent qu’un système formel assez riche contient des vérités indémontrables en son sein, et ne peut prouver sa propre cohérence. Le rêve hilbertien d’une fondation close est brisé ; le logicisme intégral échoue aussi. Reste un paysage sans vainqueur : chaque école a éclairé une facette du savoir mathématique, et la question ontologique — les nombres existent-ils ? — demeure ouverte.
🔗 Liens
Fiches qui citent celle-ci (2)
- Les grands débats de la philosophie (50 oppositions) Philosophie
- Réductionnisme contre holisme Philosophie