Philosophy of Mathematics Seminar (Monday - Week 4, MT25)

Abstract: An argument, going back several decades, based on the theorems of Kurt Gödel, shows that mathematical understanding cannot be based on any known family of axioms and rules of procedure. Subsequent arguments render it implausible that the “known” qualification can be the resolution to this seemingly almost paradoxical conclusion.

An argument is presented that a more plausible line of reasoning lies in the strangely retro-causal aspects of the “quantum reality” that features in modern physics, which can be “confirmed” but which cannot be “ascertained”.

Please note: To attend this talk in person it is necessary to write to daniel.isaacson@philosophy.ox.ac.uk by noon on Thursday 30 Oct, for notification Friday 31 Oct.  A notice will be sent out by the organisers for each talk with the Zoom link.