Mathematics & Philosophy of Mathematics

Friday 15 April, 9h-17h15 

Styles of mathematical writing

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

(Id)entity :: (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".

Saturday 16 April, 9h-12h15

Analogy and unity in mathematics

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.

POSTER and ABTRACTS / TEXTS AND SLIDES

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