Alan Turing : L’héritage d’un visionnaire de l’ère numérique
Sommaire Présentation d'Alan Turing Ses travaux Sa contribution à la victoire alliée durant la guerre Apports à la logique Apports à l'informatique Les conditions de sa mort Son héritage colossal Son enfance et éducation Ses premières recherches en mathématiques
Comment les théorèmes de Gödel ont façonné les sciences et l’informatique
Sommaire L'Incomplétude de Gödel et ses implications en logique mathématique Les théorèmes de Gödel et la remise en question de la notion de vérité absolue La contribution de Gödel à la théorie de la récursivité et à la théorie