I became very interested in the foundations of mathematics after my research in fundamental physics led me deeper into abstract mathematics and I found the classical set theoretic foundation unsatisfactory. I believe that there will ultimately be a single ideal foundation of mathematics and computation. My current hypothesis is that it will be a strongly typed functional programming language. I'm currently working on bootstrapping such a programming language. The first level is called Lambda Zero and it's on GitHub: https://github.com/clark800/lambda-zero

I'm interested in category theory because of its relevance to the foundations of mathematics and physics. More about me: http://cclark.me/