Gödel : pourquoi certaines vérités sont-elles indémontrables ?

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, on va faire un truc un peu fou. On va carrément briser l'une des certitudes les plus absolues de l'histoire des sciences.

Intervenant 20:11

Ouais, on s'attaque

Intervenant 10:13

à un monument, là. Ça, c'est le moins qu'on puisse dire. Parce que d'habitude, pour ceux qui nous écoutent, les mathématiques, c'est un peu le sanctuaire de la vérité absolue, un domaine pur.

Intervenant 20:23

La science exacte par excellence.

Intervenant 10:25

Voilà. En gros, on nous a toujours appris qu'une chose est inévitablement vraie ou fausse. 2 plus 2 font 4, c'est vrai. 2 plus 2 font 5, c'est faux. C'est rassurant comme vision. Très rassurant. Mais, et c'est là qu'on va plonger dans le vif du sujet, que se passerait-il si l'on découvrait qu'au cœur même de ce système parfait, il existe des vérités mathématiques qui sont, et accrochez-vous bien, littéralement, impossibles à prouver.

Intervenant 20:53

C'est toute la mission de notre exploration aujourd'hui. On décortique un article absolument fascinant sur les théorèmes d'incomplétude de Kurt Gödel.

Intervenant 11:02

Et c'est vertigineux.

Intervenant 21:03

Totalement. C'est pas juste une curiosité d'universitaire, c'est un séisme intellectuel. On va voir comment le rêve brisé d'un mathématicien visionnaire nous amène jusqu'au paradoxe des menteurs.

Intervenant 11:15

Ouais, une simple boucle logique qui a tout bonnement changé la science à tout jamais.

Intervenant 21:20

Exactement. Et ça a redéfini ce que le mot « démontrer » veut dire en fait.

Intervenant 11:24

Pour bien comprendre cette secousse, il faut vraiment replacer le contexte, tu es d'accord ?

Intervenant 21:28

Indispensable. Avant de comprendre la faille, il faut vraiment mesurer l'ambition monumentale qu'il y avait juste avant.

Intervenant 11:34

Du coup, l'article nous ramène à la belle époque. On est au tout début du 20e siècle.

Intervenant 21:38

C'est ça. En plein congrès international des mathématiciens en l'an 1900 à Paris, l'ambiance est hyper électrique, tout le monde est tourné vers l'avenir et là, un mathématicien star, David Hilbert, monte à la tribune.

Intervenant 11:50

Le fameux Hilbert.

Intervenant 21:51

Oui. Il lance un défi mondial en proposant 23 problèmes majeurs qui vont structurer la recherche pendant des décennies. Et au milieu de tout ça, il a un but ultime, consolider définitivement les mathématiques.

Intervenant 12:04

Parce qu'il faut dire qu'à l'époque, c'était un peu la crise, non ?

Intervenant 22:07

C'était la crise des fondements, oui. Des paradoxes venaient casser les pieds des logiciens. Le sol se dérobait en plus sous leurs pieds. Donc Hilbert, lui, voulait construire une forteresse imprenable. Il voulait démontrer la consistance de l'arithmétique de Peano.

Intervenant 12:20

L'arithmétique de Peano, pour faire simple, c'est les règles de base, les axiomes des nombres entiers, l'addition, tout ça.

Intervenant 22:26

C'est exactement ça. Hilbert voulait prouver noir sur blanc qu'en suivant ces règles formelles de manière mécanique, on ne pourrait jamais, au grand jamais, aboutir à une contradiction. Qu'il serait impossible d'avoir une affirmation et son contraire.

Intervenant 12:41

En gros, le fantasme de la machine à vérité parfaite.

Intervenant 22:44

Totalement. Et ce rêve a tenu bon pendant 30 ans.

Intervenant 12:47

Jusqu'au coup de

Intervenant 22:48

tonnerre. Jusqu'à Kurt Gödel, oui, en 1931. Ce jeune logicien débarque et prouve que le rêve de Hilbert est mathématiquement et définitivement impossible.

Intervenant 12:58

Bam ! Le choc.

Intervenant 22:59

Ah bah, ça a secoué tout le monde. Il prouve que tout système logique, suffisamment riche pour faire de l'arithmétique de base, possède forcément des assertions qui sont vraies mais indécidables.

Intervenant 13:10

Indécidable, ça veut dire ni prouvable ni réfutable, c'est ça ?

Intervenant 23:13

Voilà, le système est structurellement troué.

Intervenant 13:16

Attends, il faut qu'on utilise une image pour que ce soit bien clair pour l'audience. C'est comme si on achetait un jeu de société méga complexe, genre un gros jeu de plateau.

Intervenant 23:27

Ok, je vois l'idée.

Intervenant 13:28

On lit le livret de règles, tout a l'air parfait. Mais en plein milieu de la partie, pouf, on tombe sur une situation où il est fondamentalement impossible de dire si un coup est autorisé ou pas.

Intervenant 23:37

C'est une super analogie, mais l'article précise un truc crucial ici. Ce n'est pas une limite humaine.

Intervenant 13:43

Comment ça ? C'est pas juste qu'on n'a pas lu le livret assez longtemps ?

Intervenant 23:46

Non, pas du tout. Et c'est là que la source devient vertigineuse. L'article donne l'exemple d'une preuve qui nécessiterait, disons, 10 puissance 100 étapes.

Intervenant 13:56

Oh la vache, 1 1 1 avec 100 0, c'est plus que le nombre d'électrons dans tout l'univers ça, non ?

Intervenant 24:01

Exactement. Plus que tous les électrons de l'univers observables. Donc là, oui, une telle preuve serait humainement et matériellement inaccessible, même si chaque atome était un super ordinateur. Mais ce que Gödel a découvert va bien bien plus loin que ça.

Intervenant 14:16

Ce n'est pas une question de temps de calcul en fait.

Intervenant 24:18

Voilà. Ce n'est pas qu'on manque d'énergie ou de temps. C'est une impossibilité théorique. C'est gravé dans le marbre de la logique elle-même. La vérité échappe au système.