News for hackers. Stuff that matters.
Re:Did Turing prove the undecidability of the halting problem? by ted_dunning on Tuesday July 02, 2024 @01:29PM (#40858739)
Apparently, there is news on this:

https://www.quantamagazine.org/amateur-mathematicians-find-f...

Not sure why that github still lists so many undecideds.

There are no comments on this comment yet.