Rate My Professor Walter Dean

Dean's publications include 'On the methodology of informal rigour: Set theory, semantics, and intuitionism' (with Hidenori Kurokawa, forthcoming 2021), 'On consistency and existence in mathematics' in Proceedings of the Aristotelian Society (2020), 'Recursive functions' in the Stanford Encyclopedia of Philosophy (2020), 'Incompleteness via paradox and completeness' in Review of Symbolic Logic (2019), 'Computational complexity theory and the philosophy of mathematics' in Philosophia Mathematica (2019), 'Strict finitism, feasibility and the sorites' in Review of Symbolic Logic (2018), 'The Prehistory of the Subsystems of Second-Order Arithmetic' (with Sean Walsh) in Review of Symbolic Logic (2017), 'Bernays and the completeness theorem' in Annals of the Japan Association for Philosophy of Science (2017), 'Algorithms and the mathematical foundations of computer science' in The Limits of Mathematical Knowledge (2016), 'Squeezing feasibility' in Pursuit of the Universal: 12th Conference on Computability in Europe (2016), 'Arithmetical reflection and the provability of soundness' in Philosophia Mathematica (2015), and 'Kreisel’s Theory of Constructions, the Kreisel-Goodman paradox, and the second clause' (with Hidenori Kurokawa) in Advances in proof theoretic semantics (2015). He has presented lectures including 'Mathematical difficulty, SAT solvers, and bounded arithmetic' (with Alberto Naibo) at Artificial Intelligence and Theorem Proving (2022), 'On the indispensability of mathematics to philosophy' at Reverse Mathematics and its Philosophy (2022), and 'On consistency and existence in mathematics' at the Aristotelian Society (2020).