Sciences du logiciel - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue L'Annuaire du Collège de France. Résumés des cours et travaux Année : 2022

Sciences du logiciel

Résumé

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...
Fichier principal
Vignette du fichier
annuaire-cdf-16737.pdf (385.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04265123 , version 1 (05-12-2023)

Identifiants

Citer

Xavier Leroy. Sciences du logiciel. L'Annuaire du Collège de France. Résumés des cours et travaux, 2022, 119, pp.21-33. ⟨10.4000/annuaire-cdf.16737⟩. ⟨hal-04265123⟩
23 Consultations
10 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More