Computerphile

Computer Science ∩ Mathematics (Type Theory)

2017 • E3    Jan 11, 2017    16m
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.

Where to Watch Computerphile - 2017 • E3

 

  •   
  •   
  •   
  •   
  •   
  •   
  •   

Take Plex everywhere

Watch free anytime, anywhere, on almost any device.
See the full list of supported devices