Comment by meridional
10 years ago
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.
10 years ago
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.
I'm not trying to make that argument.
I'm not trying to make that argument.