About Me
Χαίρετε πάντες! I’m William (or Will or whatever you like), and I am (apparently) a Human Being.
I’ve just finished my Master’s degree in Computer Science at Oxford, and I’ll be applying for PhDs in Philosophy, Mathematics, and Computer Science soon.
I have a broad range of interests, from ancient board games to the Philosophy of AI; I have detailed them a bit more below.
In terms of my personality, I am an INFP (5w4 [4w5 9w1] sx/sp), which is probably just jargon to you.
I am very fond of music, and some of my favourite artists at the moment include TODO.
I like the following quotation very much.
We become night-time dreamers, street-walkers, and small-talkers, when we should be daydreamers and moonwalkers and dream-talkers.
— AURORA
Newsletter
I hope to start a newsletter, which will have a new issue every full moon.
Interests
I lied earlier.
Academic
I’ve just finished my MSc in Advanced Computer Science at Oriel College, at the University of Oxford. Before that, I did my undergraduate degree in Maths and Philosophy at the University of St Andrews, where I received the Bell Prize for being proxime accessit to the winner of the Miller Prize for Arts (which is awarded to the most distinguished student in the Faculty of Arts).
You can find a copy of my academic CV here.
Computer Science
TODO.
Philosophy
In (analytic) Philosophy, I am most interest in the following fields:
- logic;
- philosophy of mathematics;
- metaphysics;
- philosophy of language; and
- philosophy of computer science.
Specifically, I am interested in… TODO.
I wrote my undergraduate Philosophy dissertation on Inconsistent Set Theory. A slightly abridged version of my dissertation is called “Naïve Set/Class Theory and Second-Order Paraconsistent Logic”, and is available for viewing. TODO.
Mathematics
TODO
I wrote my undergraduate Mathematics dissertation on Lindström’s Theorem. A slightly abridged version is called “Classifying Logics: Abstract Model Theory, an Introduction”, and is also available for viewing. This work is supposed to be an introduction for final-year maths undergraduates (and above), who are very familiar with abstract algebra, to the fields of Model Theory and Abstract Model Theory. TODO