Récit

Gödel, le plus nul des agents secrets

Einstein l’a appelé « le plus grand logicien depuis Aristote ». Kurt Gödel a publié en 1931 ses deux « théorèmes d’incomplétude », d’après lesquels, en particulier, il n’existe pas de système formel dans lequel toutes les propositions de l’arithmétique peuvent être prouvées. Dans le volume 5 de ses carnets, qui viennent d’être publiés, il…

Écrit par Books le 25 avril 2024