News for hackers. Stuff that matters.

A comment on How close are computers to automating mathematical reasoning?. Parent comment

Re:How close are computers to automating mathematical reason... by yongjik on Saturday August 29, 2020 @01:30PM (#24317786)
No, the correct statement is that there is no Turing Machine that can, given any program, decide whether it will halt.

The "given any program" part is crucial.

[ Parent | on HN ]

There are no comments on this comment yet.