u/itonlyhappensoncein r/compsci • Recommends
Computer Science ∩ Mathematics (Type Theory) - by Computerphile
0:00 / 0:00
#typetheory#settheory#thorstenaltenkirch
Computer Science ∩ Mathematics (Type Theory) - Computerphile
Computerphile
2.6M subscribers • 70 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
- Presented by Dr Thorsten Altenkirch, University of Nottingham
- An opinion. It argues one side of a question engineers disagree on.
Intermediate. Assumes working knowledge.
281K views9 years ago2 recommendations
Computer scienceProgramming languagesComputation and complexityLanguage design and type systems
Dr Thorsten Altenkirch discusses the differences between type theory and set theory and how computer science influences modern mathematics.
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: youtu.be/ZDEHf1wR7VA EXTRA BITS: youtu.be/ex_g4zectTQ facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.comWhy it's here
2 people recommend thisWhat people say. Highly recommended for its clear and accessible introduction to type theory and its relationship with set theory.
u/joshlemerin r/scala • Recommends
Computer Science ∩ Mathematics (Type Theory) - Computerphile