![Halting Problem Undecidability - the most concise (1-minute video) explanation and COMPLETE proof ... but is it correct? (My SoME1 and #VeritasiumContest entry) : r/3Blue1Brown Halting Problem Undecidability - the most concise (1-minute video) explanation and COMPLETE proof ... but is it correct? (My SoME1 and #VeritasiumContest entry) : r/3Blue1Brown](https://external-preview.redd.it/h2NMHOXBKCOpYQNXLi5nrBpZYUXi0ds6ViKv9DkqkgU.jpg?auto=webp&s=e80b48f40a985eb6b337357e3f90de97809a6051)
Halting Problem Undecidability - the most concise (1-minute video) explanation and COMPLETE proof ... but is it correct? (My SoME1 and #VeritasiumContest entry) : r/3Blue1Brown
![computability theory - Variant of the usual proof method for undecidability of the halting problem - MathOverflow computability theory - Variant of the usual proof method for undecidability of the halting problem - MathOverflow](https://i.stack.imgur.com/fcCx3.jpg)
computability theory - Variant of the usual proof method for undecidability of the halting problem - MathOverflow
![complexity theory - reducing the halting problem to the blank tape problem - Computer Science Stack Exchange complexity theory - reducing the halting problem to the blank tape problem - Computer Science Stack Exchange](https://i.stack.imgur.com/UHRZ5.jpg)