ComputerphileComputer Science ∩ Mathematics (Type Theory)
2017 • D3 11. 1. 2017 16 m
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch discusses Type Theory vs Set Theory.