Computer Science ∩ Mathematics (Type Theory) - Computerphile

by Super User, 7 years ago
0 0
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.

A Longer version of this interview can be found here:

This video was filmed and edited by Sean Riley.

Computer Science at the University of Nottingham:

Computerphile is a sister project to Brady Haran's Numberphile. More at