Illustration par ChatGPT A. Version philosophique Quand Alan Turing rédige sa thèse en 1936, il cherche à répondre à une question qui, depuis Gödel (1931), hante les mathématiciens : toute vérité peut-elle être démontrée ? Gödel croyait avoir démontré que non : dans tout système formel suffisamment puissant pour rendre compte de l’arithmétique, il existerait…