I majored in philosophy at university. My business partner has a PhD in computer science. When we started working together, we discovered that we had studied ma

I majored in philosophy at university. My business partner has a PhD in computer science. When we started working together, we discovered that we had studied many of the same things - Godel's theorem, the halting problem, boolean logic, etc. Much of his overlapping stuff came from a subject called "Theory of Computation", whereas mine came from "Formal Logic" and "Metamathematics". I think the idea of combining the fields is really brilliant. Nowadays I do a lot of programming (I founded a couple of businesses that are software-focussed), and would love to have had just this kind of educational background.