Walter Dean
Contact:Walter Dean (W.H.Dean@warwick.ac.uk) Office hours for term 1 20192020: Monday 14:0015:00 Education: Interests: Mathematics and Philosophy Degree: Midlands Logic Seminar: 
Teaching:20192020 
Upcoming and recent talks:

Publications:
2019:
 "Incompleteness via paradox and completeness", Review of Symbolic Logic, 2019, pp. 150.
 "Computational complexity theory and the philosophy of mathematics", Philosophia Mathematica, 27(3), pp. 381439.
 "Recursive functions" forthcoming in the Stanford Encyclopedia of Philosophy.
2018:
 "Strict finitism, feasibility and the sorites", Review of Symbolic Logic, 2018, 11(2), pp.295346.
2017:
 "The Prehistory of the Subsystems of SecondOrder Arithmetic" (with Sean Walsh), Review of Symbolic Logic, 10(2), pp. 357396.
 "Bernays and the completeness theorem", Annals of the Japan Association for Philosophy of Science, 2017, 25, pp. 4555.
2016:
 "Algorithms and the mathematical foundations of computer science", in The Limits of Mathematical Knowledge, L. Horsten and P. Welch (eds.). Oxford University Press, 2016.
 "Squeezing feasibility", in Pursuit of the Universal: 12th Conference on Computability in Europe, CiE 2016, Lecture Notes in Computer Science, pp 7888.
2015
 "Computational Complexity Theory", Stanford Encyclopedia of Philosophy.
 "Kreisel’s Theory of Constructions, the KreiselGoodman paradox, and the second clause" (with Hidenori Kurokawa), Advances in proof theoretic semantics, T. Piecha and P. SchroederHeister (eds.), Springer Trends in Logic.
2014
 "Arithmetical reflection and the provability of soundness", Philosophia Mathematica.
 "Explicit modal logic, informal provability and Montague's Paradox", Notre Dame Journal of Formal Logic, 55 (2), 2014.
2013
 "Models and computability", Philosophia Mathematica.
 "The paradox of the Knower revisited" (with Hidenori Kurokawa), Annals of Pure and Applied Logic.
2011
2010:
2009:
2008:
 “Algorithms and Ontology” Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.
 “The Knower Paradox and the Quantified Logic of Proofs” (with Hidenori Kurokawa), Proceedings of the Austrian Ludwig Wittgenstein Society, Kirchberg am Wechsel, Austria.
2007:
 “On Moschovakis’s theory of algorithmic identity”, Proceedings of the 7th Panhellenic Logic Symposium, Volos, Greece.