Greg Restall
Shelby Cullom Davis Professor of Philosophy at the University of St. Andrews
Scientific, Public Lecture
The Calgary Mathematics & Philosophy Lectures: Greg Restall
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...