Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

D’une logique à l’autre

Laurent Regnier
I2M, Aix-Marseille Université
/user/laurent.regnier/

Date(s) : 04/12/2018   iCal
17h00 - 20h30

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 ?

Laurent Regnier est professeur de mathématiques à Aix-Marseille Université et membre fondateur de l’équipe de logique de l’I2M. Il a fait sa thèse en théorie de la démonstration avec Jean-Yves Girard en 1992 à Paris 7, dans laquelle il a travaillé sur les développements de la logique linéaire. Il travaille depuis sur les liens entre la logique mathématique et l’informatique théorique et notamment comment utiliser la logique pour construire des modèles abstraits des langages de programmation.

lien : théâtre Joliette

Catégories Pas de Catégories


Secured By miniOrange