De la logique avant toute chose : du programme de Hilbert à la naissance de la science informatique
Contenu
identifierCatalog
ULTv
Titre
De la logique avant toute chose : du programme de Hilbert à la naissance de la science informatique
Description
«Wir müssen wissen ; wir werden wissen» («nous devons savoir ; nous saurons»).
C’est en ces mots que David Hilbert décrit, en 1930, l’ambitieux programme de recherche qu’il poursuit avec d’autres grands mathématiciens depuis le début du XXe siècle : refonder les mathématiques sur la base d’une logique qui soit cohérente, complète, et décidable. Peu après, les résultats d’incomplétude de Gödel et d’indécidabilité de Church et Turing portent un coup fatal au programme de Hilbert. Mais de cet échec émerge une belle théorie de la calculabilité, qui marque la naissance de la science informatique. Après un retour sur ce grand moment de science, nous parlerons de l’extraordinaire impact qu’ont eu la machine de Turing et le lambda-calcul de Church (les deux formalismes introduits pour montrer l’existence d’énoncés indécidables) sur des sujets aussi variés que l’architecture des ordinateurs, la conception et la sémantique des langages de programmation, le célèbre problème P ≠ NP, et la démonstration mathématique assistée par ordinateur.
Conférence du cycle "Sciences et Société" intitulée De la logique avant toute chose : du programme de Hilbert à la naissance de la science informatique qui a eu lieu le jeudi 16 mai 2024 de 19h à 20h30 à la Faculté des Sciences et Technologie dans l'amphithéâtre 8, Campus Aiguillettes à Vandoeuvre-les-Nancy.
C’est en ces mots que David Hilbert décrit, en 1930, l’ambitieux programme de recherche qu’il poursuit avec d’autres grands mathématiciens depuis le début du XXe siècle : refonder les mathématiques sur la base d’une logique qui soit cohérente, complète, et décidable. Peu après, les résultats d’incomplétude de Gödel et d’indécidabilité de Church et Turing portent un coup fatal au programme de Hilbert. Mais de cet échec émerge une belle théorie de la calculabilité, qui marque la naissance de la science informatique. Après un retour sur ce grand moment de science, nous parlerons de l’extraordinaire impact qu’ont eu la machine de Turing et le lambda-calcul de Church (les deux formalismes introduits pour montrer l’existence d’énoncés indécidables) sur des sujets aussi variés que l’architecture des ordinateurs, la conception et la sémantique des langages de programmation, le célèbre problème P ≠ NP, et la démonstration mathématique assistée par ordinateur.
Conférence du cycle "Sciences et Société" intitulée De la logique avant toute chose : du programme de Hilbert à la naissance de la science informatique qui a eu lieu le jeudi 16 mai 2024 de 19h à 20h30 à la Faculté des Sciences et Technologie dans l'amphithéâtre 8, Campus Aiguillettes à Vandoeuvre-les-Nancy.
Créateur
LEROY Xavier
Date de création
2024
technicalLocation
taxonId
510
004
taxonEntry
Mathématiques
Informatique
Sujet
logique
mathématiques
HILBERT David
informatique
Couverture
France
Nancy
20ème siècle
21ème siècle
2024
Date de soumission
mai 2024
Date de publication
22/05/2024
Type
image en mouvement
educationalContext
pas de niveau particulier
educationalTypicalLearningTime
1:25:52
educationalInteractivityType
colloques et conférences
technicalDuration
1:25:52
Langue
fr
lifeCycleStatus
Final
Format
mp4
technicalSize
7625755688
Notion RAMEAU
Mathématiques
Informatique