Here are some of my projects.
Non-Mathematical Content by Mathematical Means
As a research project for the Master of Logic in Amsterdam, I investigated, from a philosophical perspective, the use of mathematical techniques in arguements in the philosophy of mathematics. The project was supervised by Luca Incurvati and Anna Bellomo, and resulted in a 4000 word paper, which is available upon request.
Corruption is an experimental computer game whose universe is the code for the game itself, and which is slowly being corrupted. The player must try to fight the progress of corruption by deleting troublesome pieces of code, while taking care not to destroy their own capacity to exist.
Principles of Reflection in Higher-Order Logic
In my final year dissertation for my undergraduate degree, I investigated so-called 'reflection principles' in the context of higher-order set theory. The finished work may be found here.
A Level Notes
During my A Levels, I created a website on which I posted my notes: alevelnotes.com. It has become quite popular, and now recieves millions of visitors per year.