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).