Les théorèmes de Gödel : fin d’un espoir ?

Canal-U
http://www.canalu.tv/themes__1/sciences_fondamentales/mathematiques/les_theoremes_de_goedel_fin_d_un_espoir
En 1931, Kurt Gödel (1906 - 1978) démontrait, dans un article révolutionnaire, qu'un système d'axiomes cohérent et suffisamment expressif est susceptible de générer des énoncés dont la validité ne peut être démontrée dans le cadre des règles mêmes qui gouvernent la formulation de ces énoncés et leurs déductions. Apparemment très technique, ce théorème bouleversait la philosophie des mathématiques, et en particulier la vieille question de leur "fondement".
...