Walter Dean
Contact:Walter Dean (W.H.Dean@warwick.ac.uk) Office hours for term 1, 20162017: Wednesday 12:0013:00, Monday by appointment. I will be on research leave in term 2 of 20162017. Education: Interests: Mathematics and Philosophy Degree: Midlands Logic Seminar:

Publications:
Forthcoming:
 "Algorithms and the mathematical foundations of computer science", in The Limits of Mathematical Knowledge, L. Horsten and P. Welch (eds.). Oxford University Press, 2016.
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.