PROGRAM
Access to APMP24-abstracts (updated 21/05/2024)
Access to pdf version of the program (updated 17/06/2024)
The Keynote Talks will also be streamed on IUSS's Youtube channel: https://www.youtube.com/@iusspavia1441
18 June
10:30 -11:00 Registration
11:00 Opening Address
11:15 – 12:45 Sala del Camino: Karine Chemla (SPHERE - CNRS, France), Jean-Victor Poncelet’s changing notions of ideals, 1815-1822 (Chair: Jessica Carter)
Lunch Break
14:30 - 16:30 Parallel Sessions
Sala del Camino: SESSION 1 (In Memory of Joachim Frans) (Chair: Fenner Tanswell)
Erik Weber (Ghent University, Belgium), Mathematical explanation and why questions
Christopher Pincock (The Ohio State University, United States), Mathematical knowledge through inference to the best explanation
Karim Zahidi (Ghent University/University of Antwerp, Belgium): The explanatory strength of proofs by mathematical induction: a case study from group theory
Sala I.15: SESSION 2 (Chair: Benjamin Zayton)
Davide Rizza (University of East Anglia, United Kingdom), Mal'tsev's early model-theoretic work
Gabriel Day (University of Notre Dame, United States), On the evolving significance of dividing lines: a case study in model-theoretic practice
Sala I.17: SESSION 3 (Chair: Georg Schiemer)
Yong Cheng (Wuhan University, China), Some reflections on logical incompleteness and concrete incompleteness
Karolina Tytko (The Pontifical University of John Paul II, Poland), Intuition, habits and the correctness of the formal defining of relational structures.
Break
17:00 – 19:00 Parallel Sessions
Sala del Camino: SESSION 4 (Chair: Karine Chemla)
Mary Elworth (Aarhus University, Denmark), The Role of representations in cluster algebras
Roy Wagner (ETH Zurich, Switzerland), Mathematical entities as unstable translations between presentations
Sala I.15: SESSION 5 (Chair: Luca Zanetti)
Maximilian van Remmen (University of Bergen, Norway), Benjamin Zayton (University of Vienna, Austria), Mathematical proof and inquiry
Michael Harris (Columbia University, United States), Mechanical understanding of proof?
Sala I.17: SESSION 6 (Chair: Tommaso Peripoli)
Franci Mangraviti (University of Padova, Italy), Towards a philosophy of alternative mathematics
Deniz Sarikaya (Vrije Universiteit Brussel, Belgium), Paving the cowpath in research within pure mathematics – a medium level model based on text driven variations.
José Antonio Pérez-Escobar (University of Geneva, Switzerland), The “unreasonable” effectiveness of mathematics in science, in practice: towards a new conventionalism
19:15 Reception (funded by SILFS -Società Italiana di Logica e Filosofia delle Scienze- and SIFA -Società Italiana di Filosofia Analitica)
19 June
09:30 – 11:00 Sala del Camino: Fenner Tanswell (Technical University of Berlin, Germany), Add it up! Recipes and instructions in mathematical proofs (Chair: Paolo Mancosu)
Break
11:30 - 12:50 Parallel Sessions
Sala del Camino: SESSION 7 (Chair: Marco Panza)
Silvia De Toffoli (School for Advanced Studies IUSS Pavia, Italy) (joint work with Fenner Tanswell), Trust in mathematics
David Waszek (Ecole Normale Supérieure, France), On the geometric interpretation of algebraic results, joint work with Ken Manders (University of Pittsburgh, US)
Sala I.15: SESSION 8 (Chair: Ladislav Kvasz)
Sandra Visokolskis (National University of Cordoba, Argentina), When creativity matters to mathematical practice
Javier Legris (Universidad de Buenos Aires, Argentina), C. S. Peirce on pure and applied mathematics
Sala I.17: SESSION 9 (Chair: Tommaso Peripoli) - CANCELLED
Lunch Break
14:30 - 16:30 Parallel Sessions
Sala del Camino: SESSION 10 (Chair: Davide Crippa)
Anna Petiurenko (University of the National Education Commission, Krakow, Poland), Piotr Błaszczyk (University of the National Education Commission, Krakow, Poland), Interpreting Euclidean constructions
Ladislav Kvasz (Czech Academy of Sciences, Czech Republic), Descartes from the proportional compass to analytic geometry
Paolo Mancosu (University of California, Berkeley, United States), Euclidean practice and infinite numbers: the case of Robert Grosseteste
Sala I.15: SESSION 11 (Chair: Tommaso Peripoli)
Madeline Muntersbjorn (University of Toledo, United States), Consensus and cognitive tools in the ALGEBRA PROJECT
Alexander Zimmermann (University of Teacher Education Burgenland, Austria), On the practice of defining in mathematics and its consequences for understanding and finding proofs
Sala I.17: SESSION 12 (ONLINE) (Chair: Guido Tana)
Zoe Ashton (The Ohio State University, United States), Rigor, audiences, and participatory injustices
Henrik Kragh Sørensen (University of Copenhagen, Denmark) and Mikkel Willum Johansen (University of Copenhagen, Denmark), Non-heuristic uses of experiments in mathematical practice
Guillermo Nigro (Universidad de la República, Uruguay), Purity of methods and axiomatic investigation in Hilbert’s Foundations of Geometry
Break
17:00 – 18:30 Sala del Camino: Juliette Kennedy (University of Helsinki, Finland), The Formalism Freeness Program: Implementing Gödel's 1946 Princeton Bicentennial Lecture and Beyond (Chair: Roi Wagner)
20 June
09:30 – 11:00 Sala del Camino: Eduardo Giovannini (CONICET, Argentina), Modern geometry, arithmetization, and the end of the science of magnitude (Chair: Jemma Lorenat)
Break
11:30 - 12:50 Parallel Sessions
Sala del Camino: SESSION 13 (Chair: Javier Legris)
Jessica Carter (Aarhus University, Denmark), Varieties of mathematical understanding
Michał Sochański (Independent Researcher), How can diagrams be used to count? On the applications of diagrams in combinatorics
Sala I.15: SESSION 14 (Chair: Andrew Aberdein)
Michael Friedman (Tel Aviv University, Israel), Friedrich Fröbel taking mathematical notes in the 19th century: from crystallography to exercises in geometry
Georg Schiemer (University of Vienna, Austria), Hilbert’s program and the status of ideal elements in nineteenth-century geometry
Lunch Break
14:30 - 16:30 Parallel Sessions
Sala del Camino: SESSION 16 (Chair: Kenny Easwaran)
Matteo de Ceglie (Universität Salzburg, Austria), What makes a mathematical proof “good”?
Janet Folina (Macalester College, United States), Mathematicians' intuitions
Gila Hanna (University of Toronto, Canada) and Brendan Larvor (University of Hertfordshire, United Kingdom), Slow thinking and fast checking
Sala I.15: SESSION 17 (Chair: Madeline Muntersbjorn)
William D'Alessandro (University of Oxford, United Kingdom), Toward a methodology for philosophy of mathematical practice
Paul Hasselkuß (Heinrich Heine University Düsseldorf, Germany), The innocence of mathematical practices. A problem for aposteriorism
Alexander Zimmermann (University of Teacher Education Burgenland, Austria) and Gabriela Fulugonio (University of Buenos Aires, Argentina), Philosophical considerations on the mathematical practice of notating formulae
Sala I.17: SESSION 18 (Chair: Eduardo Giovannini)
Davide Crippa (Czech Academy of Sciences, Czech Republic), Bolzano's early research on elementary geometry: equality, similarity and construction
Pablo Caballero (Universidad de Sevilla, Spain), Newton and Bolzano on mathematical purity
Nayeli Camacho Olvera (National Autonomous University of México, Mexico), Mathematics in Mexico and the developmentalist dream (1939-1968)
Break
17:00 – 18:20 Parallel Sessions
Sala del Camino: SESSION 19 (Chair: Juliette Kennedy)
Yaroslav Sergeyev (Università della Calabria, Italy), Foundations and applications of numerical infinities and infinitesimals
Bernd Buldt (Purdue University Fort Wayne, United States), Remarks on open sets
Sala I.15: SESSION 20 (Chair: Franci Mangraviti)
José Pérez Escobar (University of Geneva, Switzerland) & Deniz Sarikaya (Vrije Universiteit Brussels, Belgium) (joint work with Jordi Fairhurst), Mathematical hinges: a contextual account based on mathematical practice
Irida Altman (ETH Zurich, Switzerland), Incongruities between logic and rhetoric: a study of three proof strategies
Short Break
18:30 - 19:30 APMP GENERAL MEETING - Zoom link: https://iusspavia.zoom.us/my/br.saladelcamino
Conference Dinner - RISTORANTE BARDELLI - Lungo Ticino Visconti 2
21 June
09:30 – 10:50 Parallel Sessions
Sala del Camino: SESSION 22 (Chair: Bernd Buldt)
Andrew Aberdein (Florida Institute of Technology, United States), Dangerous problems, wicked problems, and the vices of problem choice
Colin Rittberg (Vrije Universiteit Brussel, Belgium), Mathematical cranks
Sala I.15: SESSION 23 (Chair: José Perez-Escobar)
Ásgeir Berg Matthíasson (University of Iceland, Iceland) (joint work with Fenner Tanswell), The philosophical implications of using large language models in mathematics
Stéphane Lamassé (Université Paris 1 Panthéon-Sorbonne, France), Fabrice Issac (Université Paris 13, France), Finding numbers in medieval mathematical texts: an NLP approach
Sala I.17: SESSION 24 (Chair: Davide Rizza)
Nicola Bonatti (Ludwig-Maximilians-Universität München, Germany), What are extremal axioms?
Alberto Bardi (Tsinghua University, China), Notes on Copernicus's axiomatic approach: unveiling mathematical practice
Break
11:15 - 12:45 Sala del Camino: Kenny Easwaran (University of California, Irvine, United States), Scientific realism in mathematics: the case of the hyperreals (joint work with Henry Towsner) (Chair: Andrea Sereni)
12:45 - 13:00 Conclusion