La gravitation quantique est-elle indécidable ?

Depuis les années 1970, physiciens et mathématiciens rêvent d'une théorie unifiée englobant les quatre interactions fondamentales : forces nucléaires forte et faible, électromagnétisme et gravitation. Pourtant, ce projet bute sur une difficulté conceptuelle majeure : la relativité générale d'Einstein décrit la gravité comme géométrie de l'espace-temps, tandis que les trois autres forces relèvent de théories quantiques reposant sur un espace-temps fixe. Ces deux visions demeurent irréconciliables.

Mais au-delà des obstacles physiques, une limite mathématique pourrait s'opposer à ce rêve. Les théorèmes d'incomplétude établis par Kurt Gödel en 1931 suggèrent que toute théorie formelle suffisamment riche ne peut être à la fois complète et cohérente. Dès lors, une « théorie du tout » pourrait en principe exister, mais il serait impossible de prouver que nous l'avons trouvée, ou même de la valider exhaustivement. La question se pose ainsi : une telle théorie est-elle simplement hors de notre portée pratique, ou mathématiquement interdite ?