News for hackers. Stuff that matters.
Re:How close are computers to automating mathematical reason... by sukilot on Saturday August 29, 2020 @02:35PM (#24318359)
That's a bit backwards. The halting problem is a computer-flavored variant of Gödel's work. A very simple part -- it's essentially a computer program that says "The program that produced this string is lying".

There are no comments on this comment yet.