Quote:
Originally Posted by Kriminal99
The only part of that the proof does not explicitly state is the part about tracing the computations. So we are left to wonder how on earth the Halting Machine would operate without tracing the input machine.
|
I appreciate that you are left to wonder this, however your inability to conceive of other approaches is not sufficient to make a substantiated claim that this is the only approach, which is exactly what you are doing!
Quote:
Originally Posted by Kriminal99
But that is irrelevant, and I need not prove that a proposed Halting Machine H such as that in the proof would involve tracing computations. Touring Assumes it doesn't in his proof by contradiction, thus provided the more likely source of the contradiction he derives.
|
Right, but you did use it as your claim for infinite regress. In order to substantiate your claim you must also prove that non-tracing approaches *also* result in infinite regress...
An undefined problem has an infinite number of solutions,
Buffy
