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