Mes collègues me demandent de l’aide avec les chiffres. Je connais les mathématiques, supposent-ils. L’ironie est que je suis nul en calcul mental.
Les gens se trompent en mathématiques. Ils pensent que ce sont des sommes rapides, des soustractions faites dans votre tête en achetant du café. Non. Les vraies mathématiques consistent à construire des mondes.
Le mythe de la Fondation
Vous commencez par des règles. Axiomes. Des vérités fondamentales sur lesquelles vous êtes d’accord juste pour que le jeu puisse commencer. A partir de là, on accumule des trucs. Les ensembles deviennent des nombres, les nombres deviennent des fonctions, les fonctions se transforment en géométrie. Tout repose sur ce premier étage.
Pendant longtemps, les mathématiciens ont joué un dangereux numéro d’équilibriste. Ils voulaient le moins de règles possible, mais suffisamment pour décrire l’univers moderne. Et ces règles devaient sembler correctes. Intuitif. C’est comme dire “un ensemble vide existe”. C’est tout simplement logique.
Dans les années 1900, tout le monde s’est tourné vers ZFC. Zermelo-Fraen a défini la théorie avec le choix. Neuf règles. C’est ça. C’était le fondement.
C’est du moins ce qu’ils pensaient.
Gödel casse tout
Les mathématiciens adoraient leur fondation. Ils rêvaient d’un système qui serait deux choses à la fois :
- Complet. Chaque vérité peut être prouvée.
- Cohérent. Aucune contradiction autorisée.
1931 arrive. Entre Kurt Gödel. Vingt-cinq ans. Il lâche une bombe qui fissure les fondations.
Son premier théorème d’incomplétude est brutal. Il dit que dans tout système solide et cohérent, certaines déclarations ne peuvent pas être prouvées vraies ou fausses. Période. Vient ensuite le deuxième théorème. Pire encore. Le système ne peut pas prouver sa cohérence.
Cela semble académique, bien sûr. Des trucs de logique abstraite. Ses pairs espéraient que c’était une bizarrerie. Un étrange incident théorique sans dents. Ils avaient tort.
Gödel a prouvé que la certitude a un plafond. Vous ne pouvez pas tout savoir, même dans le cadre des règles que vous avez établies.
Prenez le système ZFC lui-même. C’est plein de choses indémontrables. L’hypothèse du continuum est la plus importante. Existe-t-il une infinité entre les nombres entiers et les nombres réels ? Nous ne le savons pas. Et nous ne pourrons jamais le prouver avec nos outils actuels. La question… reste là.
Non résolu. Insoluble, même.
Alors oui, on peut construire des mondes à partir d’axiomes. Vous pouvez passer d’ensembles simples à une topologie complexe. Mais la structure présente des trous. Des angles morts intégrés où se cache la vérité, à jamais hors de portée.
Pourquoi l’esprit aspire-t-il à l’achèvement si l’achèvement est impossible ?
