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".
[ Parent
| on HN ]
There are no comments on this comment yet.