15/6/2020: Walter Dean on Consistency and Existence in Mathematics

Walter Dean works in philosophy of mathematics and mathematical and philosophical logic. He also has interests in theoretical computer science and the history and philosophy of computation. He is currently working on applications of Reverse Mathematics and computational complexity theory within philosophy and on the historical and foundational significance of Gödel’s completeness theorem. He is currently Associate Professor of Philosophy at the University of Warwick where he convenes the Mathematics and Philosophy degree. Before coming to Warwick, he was a post-doctoral fellow at the University of Paris 7, following a PhD in Computer Science at the City University of New York Graduate Center and a PhD in Philosophy from Rutgers.

This podcast is an audio recording of Dr. Dean's talk - 'On Consistency and Existence in Mathematics' - at the Aristotelian Society on 15 June 2020. The recording was produced by the Backdoor Broadcasting Company.