News for hackers. Stuff that matters.

A comment on Special projects. Parent comment

Re:Special projects by meridional on Thursday July 28, 2016 @04:02PM (#12182744)
You merely defined halting problem. You did not argue the following:

Turing machine X can produce programs that meets certain specifications => Turing machine X solves the halting problem.

[ Parent | on HN ]
Re:Special projects by jcoffland on Sunday July 31, 2016 @01:06PM (#12197748)
I'm not trying to make that argument.
[ Parent | on HN ]