D’une logique à l’autre
Qu'est-ce que c'est ?
Chaque année, un collectif de chercheuses et chercheurs d’Aix-Marseille Université fait monter la science sur les scènes culturelles marseillaises pour 6 conférences nerveuses, rythmées et pluridisciplinaires de 13 minutes. Treize Minutes Marseille et Treize Minutes jeunes chercheurs invitent à un moment convivial de butinage intellectuel, capté en vidéo.
Dans cette édition 2018, Laurent Regnier, enseignant chercheur en mathématiques, raconte en treize minutes son travail de recherche. Elles portent sur les liens entre la logique mathématique et l'informatique théorique et notamment sur la façon d’utiliser la logique pour construire des modèles abstraits des langages de programmation.
Pour les Grecs antiques, la logique est la science du raisonnement et de la vérité ; au début du XXème les mathématiciens vont se l'approprier pour tenter de comprendre et maîtriser l'immensité de l'univers mathématique moderne. Comment ces questions philosophiques ont-elles pu produire les concepts fondateurs de l'informatique, l'une des sciences et industries majeures du XXIème siècle ?
Aix-Marseille Université suit les directives de la CNIL
La plateforme qui diffuse ce contenu conditionne sa lecture au dépôt de traceurs afin de vous proposer des publi cités ciblées en fonction de votre navigation.
En cliquant sur 'J'autorise', les traceurs seront déposés et vous pourrez visionner ce contenu.
