Walter Dean
Contact:Walter Dean (W.H.Dean@warwick.ac.uk) I am on leave in term 2 of 20162017. Education: Interests: Mathematics and Philosophy Degree: Midlands Logic Seminar:

Teaching:20172018
20162017

Upcoming and recent talks:

Publications:
2017:
 "The Prehistory of the Subsystems of SecondOrder Arithmetic" (with Sean Walsh), forthcoming in the Review of Symbolic Logic.
 "Bernays and the completeness theorem", forthcoming in the Annals of the Japan Association for Philosophy of Science.
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.