This is the personal homepage of Benedict Eastaugh, a PhD student working on logic and the philosophy of mathematics at the University of Bristol.
To get in touch, email me at . My Twitter handle is @extralogical if you’re into that sort of thing.
Research
My current research centres on developing philosophical responses to the programme in foundations of mathematics known as reverse mathematics.
In my Master’s dissertation I defended strong reflection principles as new axioms of set theory which are intrinsically justified on the iterative conception of set, and derived limitations on ontological accounts of higher-typed collections.
Talks
Reverse mathematics: computation and foundations
Logic and Set Theory seminar, University of Bristol. December 13 2012.
Alfred Tarski
History of Logic lecture series, University of Bristol. May 24 2012.
Shore’s computational reverse mathematics
Philosophy and Computation workshop, Lunds universitet. May 13 2012.
Blog articles
-
Reverse mathematics, constructivism and justification
May 22, 2012
-
Learning mathematical philosophy
March 5, 2012
-
An introduction to reverse mathematics
March 2, 2012
-
Developing arithmetic in Gödel's system T
April 11, 2011
-
Firmin, a JavaScript animation library
April 4, 2011