Philosophy of Mathematics Seminar (Monday - Week 2, MT23)

Philosophy of Mathematics Seminar

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