Workshop: Proofs and Representations (6 - 8 July 2018)
Idea and Motivation
The notion of representation plays a central role in mathematics: without particular representations the abstract objects of mathematics would be unthinkable. Reflections on the means of expression of abstract thoughts have a long tradition in philosophy, for example in the work of Leibniz and Frege. Notation systems, spatial and symbolic representations, and representation theorems are among key notions across all mathematical subfields. In this vein, the aim of this workshop is to explore various ways in which proofs and representations advance mathematical knowledge and mathematical understanding. This workshop will address questions such as: Are representations mere instruments for conveying and illustrating mathematics, or do they play a more substantial role in the generation of mathematical knowledge and understanding, and if so, how? What is the relation between conceptual shifts in the history of mathematics and logic, and changes of representations? How do representations inform us about theoretical virtues of proofs and arguments, such as explanatoriness and purity? These are just some of the questions that we intend to get a better grasp of during this workshop, by looking at a wide range of representations––models, diagrams, notations, and more––as they have been used in historical cases, as well as through empirically based reflection and systematic analysis.
- Jeremy Avigad (Carnegie Mellon University)
- Karine Chemla (Université Paris 7 – CNRS)
- Silvia De Toffoli (Stanford University)
- Walter Dean (University of Warwick)
- Valeria Giardino (Université de Lorraine – CNRS)
- Yacin Hamami (Vrije Universiteit Brussel)
- Emmylou Haffner (Bergische Universität Wuppertal)
- Brendan Larvor (University of Hertfordshire)
- Sarah Ottinger (LMU Munich)
If you want to attend this workshop, please send notice to Marianna.AntonuttiMarfori@lrz.uni-muenchen.de. Attendance is free.
This workshop is generously funded by the Alexander von Humboldt Foundation and the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 709265.