Schedule

Wednesday – June 25

09:00–09:30 | Arrival and opening remarks

09:30–10:30 | Sorin Bangu (University of Bergen)

Can There Be Mathematical Knowledge Without Proof?

10:30–11:00 | Coffee break

11:00–12:00 | Silvia De Toffoli (Scuola Universitaria Superiore IUSS Pavia)

Articulate Intuition (joint work with Elijah Chudnoff)

12:00–13:00 | Deniz Sarikaya (University of Lübeck)

Wittgenstein, Big Strokes, and the mathematical landscape

13:00–15:00 | Lunch at Hannesarholt (for invited speakers)

15:00–16:00 | Andrea Guardo (University of Milan)

Kripkenstein, Game Theory, and Dispositionalism

16:00–17:00 | Ásgeir Berg (University of Iceland)

How the Laws of Logic Lie About Mathematical Objects

18:30 | Conference dinner at Matarkjallarinn (for invited speakers)

Thursday – June 26

09:30–10:30 |Matteo Plebani (Università Degli Studi Di Torino)

Semantic paradoxes as collective tragedies

10:30–11:00 | Coffee break

11:00–12:00 | Casper Storm Hansen

A Solution to the Liar 

12:00–13:00 | José Antonio Pérez Escobar (UNED Madrid)

Analogies in Mathematics and the Disagreement Between Turing and Wittgenstein

13:00 - 15:00 Lunch at Hannesarholt (for invited speakers)

15:30– | Walking Tour of Reykjavík

Friday – June 27

09:30–10:30 |Jordi Fairhurst Chilton (Universitat de les Illes Balears)

Why Deep Disagreements can be of Interest to Mathematics

10:30–11:00 | Coffee break

11:00–12:00 | Andrei Rodin (Université de Lorraine, Archives Henri-Poincaré and Loria) (Online)

Truth and Meaning in the Automated Proof Verification 

12:00–13:00 | Hanoch Ben-Yami (Central European University)

False Paradise: On the Mathematical Infinite

13:00 - 13:30 | Final remarks