1 comment

[ 0.20 ms ] story [ 24.8 ms ] thread
This video is one of my most favourite visualizations of a hard problem. The technical proof of the halting problem is somewhat difficult to understand, even for students in their second semester.

This video resembles the same proof, but presented in a way that you can understand all the arguments in less than 10 minutes. It can be understood without any prior computer-science/math education.

It deserves more upvotes!