Journées d'Etude I, 15-16 avril 2016, Amphi Schwartz
Mathématiques et Philosophie des Mathématiques
Vendredi 15 avril, 9h-17h15
Styles d’écriture mathématique
9h-10h30 Yann-Régis GIANAS (PPS, IRIF, Université Paris-Diderot, Pi.R2, INRIA), Programming and Proving through the prism of writing style
10h45-12h15 Joël MERKER (Univ. Paris Sud, LMO), Les non-dits de l’écriture mathématique
L’(id)entité :: L’(id)entification
14h-15h30 Eric FINSTER (Ecole Polytechnique, LIX), The identity of proofs : coherence problems in logic and higher category theory
15h45-17h15 Tom LEINSTER (University of Edinburgh), A global view of self-similarity
Cette session est organisée en partenariat avec le séminaire "L'(id)entité :: L'(id)entification".
Samedi 16 Avril, 9h-12h15
L’analogie et l’unité en mathématiques
9h-10h30 Damien RÖSSLER (Oxford Mathematical Institute), Structures abstraites. Réflexions sur un article de Jeffrey Ketland.
10h45-12h15 Joseph TAPIA (Institut de Mathématiques de Toulouse), Quelques idées lautmaniennes sur l'unité des mathématiques illustrées par la mathématique contemporaine.
Organisation : Mathieu ANEL, Gabriel CATREN, Sébastien MARONNE, Baptiste MELES.
AFFICHE et RESUMES / TRANSPARENTS ET TEXTES
This workshop has received funding from the European Research Council under the European Community’s Seventh Framework Programme (FP7/2007-2013 Grant Agreement N° 263523, ERC Project PhiloQuantumGravity).