Formal Characterisations of Algorithm 27 February 2020 Project Slides Declan Thompson PhD Student in Philosophy PhD student in Philosophy at Stanford University