Towards a Formal Model of Algorithms 22 May 2020 Project Slides Declan Thompson PhD Student in Philosophy PhD student in Philosophy at Stanford University