À partir de l’incomplétude : indécidabilité logique et aléatoire physique

ENS - Savoirs en multimédia
http://www.diffusion.ens.fr/index.php?res=conf&idconf=2748
En 1890, Poincaré présente son grand théorème sur l'imprédictibilité de certaines dynamiques physiques comme "résultat négatif" ; il constitue en fait un passage important pour la compréhension de l'aléatoire classique. Un autre grand "non", l'incomplétude de tout formalisme suffisamment expressif, est au cœur du célèbre article de Gödel de 1931 ;
...