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 set-theoretic 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