External Source

The Hardest Problem In Type Theory - Computerphile

2021 23:40
Synopsis
Equality sounds a straightforward idea, but there are subtle problems in theoretical computer science. Professor Thorsten ...

You Might Also Like

Homotopy Type Theory Discussed - Computerphile 13:31
Homotopy Type Theory Discussed - Computerphile
2017
Computer Science ∩ Mathematics (Type Theory) - Computerphile 15:56
Computer Science ∩ Mathematics (type Theory) - Computerphi...
2017
Homotopy Type Theory: Vladimir Voevodsky - Computerphile 5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
2017
The Most Difficult Program to Compute? - Computerphile 14:55
The Most Difficult Program To Compute? - Computerphile
2014
The Hard Problem of Controlling Powerful AI Systems - Computerphile 21:21
The Hard Problem Of Controlling Powerful Ai Systems - Comput...
2025
Propositions as Types - Computerphile 17:46
Propositions As Types - Computerphile
2017
Automated Mathematical Proofs - Computerphile 18:02
Automated Mathematical Proofs - Computerphile
2022
Internet of Things Problems - Computerphile 7:49
Internet Of Things Problems - Computerphile
2017
Why Use Binary? - Computerphile 8:29
Why Use Binary? - Computerphile
2015
Eliminating Run-Time Errors with Agda - Computerphile 18:37
Eliminating Run-time Errors With Agda - Computerphile
2021
Programming Loops vs Recursion - Computerphile 12:32
Programming Loops Vs Recursion - Computerphile
2017
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.