1. Le zéro et la notation positionnelle (Inde, v. 500 ap. J.-C.)
Le concept du zéro comme nombre — et non comme simple espace réservé — a été développé par des mathématiciens indiens, dont Brahmagupta. Associé au système décimal positionnel, il a rendu l'arithmétique efficace et a permis l'algèbre, le calcul et l'informatique.
2. La géométrie euclidienne (v. 300 av. J.-C.)
Les Éléments d'Euclide ont codifié la géométrie en axiomes, postulats et preuves, établissant le modèle de raisonnement mathématique utilisé pendant 2 300 ans. Son postulat des parallèles a plus tard inspiré les géométries non euclidiennes qui ont étayé la relativité d'Einstein.
3. Le calcul (Newton et Leibniz, années 1670)
Développé indépendamment par Isaac Newton et Gottfried Wilhelm Leibniz, le calcul a donné aux mathématiques les outils pour décrire les taux de variation et d'accumulation. Il est le fondement de la mécanique classique, de l'électromagnétisme, de la dynamique des fluides et de l'ingénierie moderne.
4. La géométrie non euclidienne (Gauss, Bolyai, Lobachevsky, années 1820-1830)
Ces mathématiciens ont prouvé que des géométries cohérentes pouvaient exister là où le postulat des parallèles d'Euclide échoue. Le résultat fut une révolution dans la compréhension de l'espace, fournissant finalement le cadre mathématique de la relativité générale.
5. La théorie des probabilités (Pascal et Fermat, 1654)
Née d'un problème de jeu posé à Pascal, la théorie des probabilités sous-tend aujourd'hui les statistiques, la mécanique quantique, la finance, l'IA et la science de la décision.
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 →6. Le théorème de Pythagore (v. 570 av. J.-C.)
Bien que connu empiriquement avant Pythagore, la première preuve de a² + b² = c² a transformé la géométrie en une discipline déductive. Il reste l'un des théorèmes les plus démontrés de l'histoire des mathématiques.
7. La théorie des ensembles (Cantor, années 1870)
Les travaux de Georg Cantor sur les ensembles infinis ont prouvé qu'il existe différentes tailles d'infini — un résultat si contre-intuitif qu'il l'a conduit à la maladie mentale. La théorie des ensembles est devenue le fondement des mathématiques modernes.
8. Les théorèmes d'incomplétude de Gödel (1931)
Kurt Gödel a prouvé que tout système mathématique formel suffisamment puissant contient des énoncés vrais qui ne peuvent être prouvés au sein de ce système. Cela a ébranlé les fondements des mathématiques et mis fin au programme de David Hilbert visant à formaliser toutes les mathématiques.
9. La cryptographie à clé publique (1976)
La cryptographie à clé publique de Diffie et Hellman — basée sur la difficulté de factoriser de grands nombres premiers — a rendu possible la communication numérique sécurisée. Chaque site web chiffré, transaction bancaire et message privé en dépend aujourd'hui.
10. L'hypothèse de Riemann (1859)
La conjecture de Bernhard Riemann sur les zéros de la fonction zêta reste non prouvée après 165 ans. Elle est considérée comme le problème non résolu le plus important des mathématiques, avec de profondes implications pour la répartition des nombres premiers.
Questions fréquentes
Quelle est la découverte mathématique la plus importante de l'histoire ?
De nombreux historiens considèrent le zéro et la notation positionnelle, le calcul ou les théorèmes d'incomplétude de Gödel comme les plus fondamentaux — chacun a changé durablement les mathématiques et la science.
Qui a découvert le zéro ?
Le zéro en tant que nombre (et non comme espace réservé) a été formalisé par le mathématicien indien Brahmagupta vers 628 ap. J.-C., en s'appuyant sur des travaux hindous et peut-être babyloniens antérieurs sur la notation positionnelle.
Qu'est-ce que le théorème d'incomplétude de Gödel en termes simples ?
Il prouve que dans tout système mathématique cohérent suffisamment puissant pour décrire l'arithmétique, il existe des énoncés vrais qui ne peuvent être prouvés dans ce système. Les mathématiques ne peuvent jamais être totalement auto-démontrables.