Comment on Did Turing prove the undecidability of the halting problem?parentComments−ted_dunning2yApparently, there is news on this:https://www.quantamagazine.org/amateur-mathematicians-find-f...Not sure why that github still lists so many undecideds.
Comments
Apparently, there is news on this:
https://www.quantamagazine.org/amateur-mathematicians-find-f...
Not sure why that github still lists so many undecideds.