Séminaire & Exposés
Un groupe de travail CIPPMI bi-mensuel est organisé de novembre 2015 à mars 2016 le jeudi à 14h30, salle Cavaillès 132 (IMT, Bât 1R2).
Avec ce groupe de travail, nous souhaitons stimuler les interactions scientifiques entre les mathématiciens, les informaticiens et les philosophes de l'IMT et de l'IRIT et former aux différents thèmes à l'interface qui seront traités dans les cours de CIPPMI.
N.B.: Les séances sont consacrées à des présentations introductives sur un thème du trimestre thématique CIPPMI pour un public de non-spécialistes.
Programme
- 12 novembre, Michel VAQUIE (IMT), Théorie des catégories
- 26 novembre, Andreas HERZIG (IRIT), Logiques modale et épistémique
- 10 décembre, Andrew ARANA (IHPST), Théorèmes de Gödel
- 14 & 21 janvier, Etienne FIEUX (IMT), Combinatoire topologique et théorie des graphes.
- 28 janvier, Damiano MAZZA (LIPN), Lambda calcul et correspondance de Curry-Howard
- 11 février, Sergei SOLOVIEV (IRIT), Logique, catégories et lambda-calcul
- 24 mars, !14h! Assia MAHBOUBI (INRIA),Vérification mécanisée de théorèmes
- 31 mars, Vadim SCHECHTMAN (IMT), Géométrie arithmétique
Des exposés supplémentaires ont lieu dans le cadre du trimestre thématique :
- Le jeudi 14 avril de 14h30 à 16h30, salle de conférence MIP, Tom SNIJDERS (Groningen & Oxford) donnera une conférence intitulée Marrying agent-based modelling and statistical inference: co-evolution models for network dynamics (abstract). Cette séance est co-organisée avec Bertrand JOUVE (CNRS, FRAMESPA) et Michel GROSSETTI (LISST-Cers).
- Le jeudi 26 mai de 14h30 à 16h30, salle Picard, Pierre LOCHAK (CNRS, IMJ) donnera une conférence intitulée Philosophie des mathématiques ou bien philosophie et mathématiques.
- Résumé : J'explorerai quelques fils historiques qui laissent penser que les mathématiques peuvent effectivement prendre ou reprendre une place importante dans l'histoire ou le concert des idées. Toutefois ces `mathématiques' ne sont pas nécessairement de celles qui occupent les journées - et parfois les nuits - des mathématicien(ne)s au travail, ce pourquoi il est parfois prudent de les orner de guillemets. Je détaillerai en particulier l'exemple princeps de l'opposition continu/discret vue à travers le prisme anthropologico-théologico-politique que nous présentent ce qu'il est convenu d'appeler les grandes `idéologies' du vingtième siècle. Alexandre Grothendieck et plus généralement ce qu'il paraît naturel de nommer `matière fonctorielle' feront alors une courte apparition. Je tâcherai de préserver au fil de l'exposé un équilibre entre une nécessaire précision et ce qui peut sonner extrêmement programmatique et général.
- Le lundi 30 mai de 14h30 à 16h30, salle de conférence MIP, John T. BALDWIN (Univ. of Illinois at Chicago) donnera une conférence intitulée The Unreasonable Effectiveness of Model Theory in Mathematics.
-
Résumé : Emulating Wigner's famous essay we attempt to delineate the characteristics of model theory that account for its impact across mathematics. The formalization of specific areas of mathematics is the basic theme; this allows axiomatizations that respect the methodologies of each area. Secondly, classification theory allows the recognition of common methodologies in widely distinct areas. Thus two large groups of tame areas are identified: stable (and refinements) and o-minimal. Bourbaki's `great mother structures': groups, order, topology' are put in perspective and a 4th mother structure, geometry, takes its place in establishing dimension as the key to tameness. This organizational survey will be fleshed out by more specific considerations of interactions with number theory, identifying specific unifying model theoretic techniques. Examples include the Wilkie-Pila results on the André-Oort conjectures and work generated by Hrushovski on the Mordell-Lang conjectures.
-