Philosophy of Mathematics Seminar (Monday - Week 2, MT23)
Monday 16 October, 4:30-6:30pm
Online Only
Fenner Tanswell (Technische Universität Berlin) and Ásgeir Berg Matthíasson (University of Iceland): 'The Philosophical Implications of Using Large Language Models in Mathematics'
The recent arrival of ChatGPT, and other widely available generative AI text systems based on large language models, has had immediate cultural impact. We will discuss how they might affect mathematical research, such as by allowing computers to act as referees, verifiers, assistants, collaborators, and even researchers in their own right. Our paper will look at how this affects some of the existing debates in the philosophy of mathematics, in particular: 1) on informal proofs and the significance of formalisability; 2) on mathematical epistemology and the a priori; and 3) on the role of computers in mathematics.
The meeting will be online. Those who wish to attend via Zoom, please write to Daniel Isaacson.
Philosophy of Mathematics Seminar Convenors: Daniel Isaacson, Christopher Scambler and James Studd
