Les concepts d’algorithmes et de programmes informatiques ont été utilisés par le logicien autrichien Kurt Gödel dans les années 1930, bien avant l’apparition du premier ordinateur afin de démontrer deux théorèmes d’une très grande profondeur, qui portent sur les limites de l’esprit et de la logique. Essayons de suivre son cheminement.