My main research interest lies in mathematical and philosophical logic, particularly set theory, with a focus on the mathematics and philosophy of the infinite. I have worked particularly with forcing and large cardinals, those strong axioms of infinity, and have been particularly interested in the interaction of these two central settheoretic concepts. I have worked in the theory of infinitary computability, introducing (with A. Lewis and J. Kidder) the theory of infinite time Turing machines, as well as in the theory of infinitary utilitarianism and, more recently, infinite chess. Recently, I am preoccupied with various mathematical and p…

University of OxfordFaculty of Philosophy, University CollegeProfessor of Logic, Sir Peter Strawson Fellow

Oxford, England, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
3 more
Mathematical Logic 
The Infinite 
Logic and Philosophy of Logic 
Set Theory 
Philosophy of Mathematics 
Hypercomputation 
Theory of Computation 
Modal Logic 
Areas of Interest
3 more
Logic and Philosophy of Logic 
Mathematical Logic 
The Infinite 
Set Theory 
Modal Logic 
Game Theory 
Theory of Computation 
Hypercomputation 
Read more