Busy Beaver Numbers are Undecidable
35:56
Minimal Context-Free Grammars are Undecidable
12:59
The Boundary of Computation
17:56
Busy Beaver Turing Machines - Computerphile
8:29
Can you think of a bigger number than this?!
15:10
You are absolutely fluent in English if you can understand these
29:55
Post Correspondence Problem (PCP) is Undecidable Proof
15:33
P vs. NP - The Biggest Unsolved Problem in Computer Science
12:55