The Calgary Mathematics & Philosophy Lectures

Twenty-first century mathematics has seen the rise of the proof assistant, and mathematical practice has changed significantly with the rise of these new tools. One consequence of this change, for the philosopher of mathematics, is the wider adoption in mathematics of intuitionistic logic, since many mathematicians now rush to formalise results in the language of constructive type theory.

In this talk, Professor Greg Restall will describe describe this relatively modern phenomenon, and relate it to considerations central to philosophical discussions in the twentieth century.

Please join us on Thursday, March 13 for Professor Restall's presentation titled: Mathematical Practice, Proof Assistants and Meaning.

Time: 3 – 4 p.m. (MT)
Location:
Science Theatres - Room 143


The Calgary Mathematics & Philosophy Lectures 
© University of Calgary 2025 | Privacy Policy