S02E10 — L'Entscheidungsproblem ou la fin des mathématiques ?

Synopsis

On entend souvent dire que les algorithmes contrôlent le monde. Mais qu'est-ce qu'un algorithme ? Pour les contemporains l'idée intuitive paraît à peu près clair : un algorithme, c'est ce qui peut "tourner sur un ordinateur". Mais c'est un renversement chronologique, puisque les ordinateurs concrets sont postérieurs, et viennent justement de travaux mathématique abstraits des années 1930. Nous les survolerons en compagnie de Alonzo Church, Jacques Herbrand, Kurt Gödel et Alan Turing.