bionhoward on Did Turing prove the undecidability of the halting problem? · Hackerly

Comment on Did Turing prove the undecidability of the halting problem?parent

Relevant video about MIP*=RE

https://youtu.be/2H8629BCbkM

Lovely video!