It looks like you're new here. If you want to get involved, click one of these buttons!
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/