Projects

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

Corruption Screenshot

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.

The game can be played online here. The source code is available on Github.

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

Alevelnotes.com Screenshot

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.