Thanks! I just listened to it. What a great interview. It made me realise yet again that the math used by computer scientists is usually different from the mat

Thanks! I just listened to it. What a great interview. It made me realise yet again that the math used by computer scientists is usually different from the math used by mathematicians. Because what computer scientists care about (computations and proofs) is very different from what mathematicians care about (structures and proofs). Which means that computer scientists often choose a different foundation for the mathematics they use. Set theory is but one possible foundation. However other foundations (based on type theory for example) are more useful for computer scientists. Resulting in a different flavour of mathematics. And things that are proven to be true in one foundation isn’t necessarily true in another foundation. However it is all still math. Just different flavours of math based on different foundational axioms.