Kurt Gödel à l’ère de l’IA

Conférence à la Maison de la philosophie, par Jean-Claude Yakoubsohn, Professeur émérite à l’IMT.

Wir müssen wissen. Wir werden wissen. Les théorèmes d’incomplétudes Gödel résolvent de façon surprenante le second problème de David Hilbert. On proposera une version moderne de ces énoncés et de leurs fondements historiques. Loin des limitations que ces résultats semblent annoncer, on montrera ensuite l’impact énorme qu’ils ont eu en informatique, mathématiques et philosophie.