[News] De la complexité grandissante des démonstrations mathématiques

[Michel]

Une preuve mathématique est vraie sans conteste, c’est une manifestation de logique pure. Mais, selon des experts dans ce domaine, un nombre croissant de démonstrations mathématiques sont désormais impossibles à vérifier avec une certitude absolue. "Il est indéniable qu’à notre époque certains grands énoncés de mathématiques sont devenus si complexes que nous ne pouvons plus déterminer avec certitude s'ils sont vrais ou faux", fait remarquer Keith Devlin de l'unive...

Lire la suite