18 mars 2022
Ce document est lié à :
info:eu-repo/semantics/reference/issn/0069-5580
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2109-9227
All rights reserved , info:eu-repo/semantics/openAccess
Xavier Leroy, « Sciences du logiciel », Annuaire du Collège de France, ID : 10.4000/annuaire-cdf.16737
Enseignement Leçon inaugurale – Le logiciel, entre l’esprit et la matière La leçon inaugurale a rappelé à quel point l’informatique trouve ses racines dans la logique mathématique. Comme Leibniz avec son calculus ratiocinator, de nombreux logiciens ont cherché dans le calcul une source de vérités absolues. C’est en travaillant sur le programme de Hilbert, une tentative ambitieuse de refondation des mathématiques, que Church en 1936 et Turing en 1937 ont créé la théorie de la calculabilité. La...