I’m Benedict Eastaugh, a postgrad doing research in logic and philosophy of mathematics at the University of Bristol. Like most people in the universe these days, I’m on Twitter as @extralogical.

To get in touch, email me at benedict@eastaugh.net.

My research interests include reverse mathematics and the philosophy of set theory, particularly the role of reflection principles in justifying large cardinal axioms. Wrapping my head around these things requires large quantities of coffee and many blank notebooks.

I used to program for a living, and I like to keep my hand in: my current projects include Firmin, a JavaScript animation library, and various experiments with Haskell.

One of my goals is to read every published Philip K. Dick novel.

Extralogical’s HTML is generated with Hakyll and resides on Linode.