External Source

Computer Science ∩ Mathematics (type Theory) - Computerphile

2017 15:56
Synopsis
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further?

You Might Also Like

Homotopy Type Theory Discussed - Computerphile 13:31
Homotopy Type Theory Discussed - Computerphile
2017
Homotopy Type Theory: Vladimir Voevodsky - Computerphile 5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
2017
Propositions as Types - Computerphile 17:46
Propositions As Types - Computerphile
2017
Binary: Plusses & Minuses (Why We Use Two's Complement) - Computerphile 16:16
Binary: Plusses & Minuses (why We Use Two's Complement) - Co...
2015
The Hardest Problem in Type Theory - Computerphile 23:40
The Hardest Problem In Type Theory - Computerphile
2021
Automated Mathematical Proofs - Computerphile 18:02
Automated Mathematical Proofs - Computerphile
2022
Type Theory for the Curious Mathematician 2:14
Type Theory For The Curious Mathematician
2021
Georges Gonthier: Computer proofs: teaching computers mathematics, and conversely 47:16
Georges Gonthier: Computer Proofs: Teaching Computers Mathem...
2022
Foundations of Mathematics and Computerised Proofs | Abdul Haliq | TEDxNewton 13:40
Foundations Of Mathematics And Computerised Proofs | Abdul H...
2022
Klaus Mainzer: Constructivity and Computability. Perspectives for Mathematics [...] 1:06:19
Klaus Mainzer: Constructivity And Computability. Perspective...
2018
Computers and Mathematical Proofs - Daniel Grayson 15:19
Computers And Mathematical Proofs - Daniel Grayson
2014
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.