Cycle Sciences et Société - IECL
Sciences et Société a pour double objectif de valoriser les activités de recherche des chercheurs et chercheuses ou de personnalités accueillies en proposant à un public curieux de connaissances des conférences sur des sujets très variés en science. Nous souhaitons montrer au grand public ce qu’est la recherche interdisciplinaire en réunissant plusieurs spécialités autour d’une même problématique.
Les conférences ont pour but de partager des informations et de diffuser les savoirs de la communauté scientifique. Qu’ils s’agissent de sujets d’actualité ou de questions liées aux enjeux sociaux et sociétaux, nos intervenants apportent un éclairage approfondi grâce à leur expertise. Nous souhaitons créer un savoir accessible à tout public en facilitant les contacts entre la science et la société.
Chaque année, nous avons le privilège de recevoir des personnalités reconnues du monde académique.
Le cycle de conférences est organisé par l’Institut Élie Cartan de Lorraine, la Fédération Charles Hermite et Polytech Nancy avec le soutien de l’Université de Lorraine, Inria Nancy Grand Est, la région Grand Est et la Fondation Blaise Pascal.
Le Cycle Sciences et Société a été créé en 2000 à l’initiative d’El-Haj Laamri, maître de conférences en équation aux dérivées partielles à l’Institut Élie Cartan de Lorraine.
De la logique avant toute chose : du programme de Hilbert à la naissance de la science informatique - Xavier Leroy
16 mai 2024
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.
Conférencier : Xavier LEROY (Informaticien)
«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.
Infos
- Charlie Rondel
-
-
Luc Debert
- Charlie Rondel
-
Arnaud Schmitt
-
- 22 mai 2024 11:20
- Colloques et Conférences
- Français
