On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from the behavior >>> of any directly executed TM2 referring to the behavior of the directly
executed DDD has always been incorrect. Halt Deciders always report on
the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM "specifies",
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
In every case that does not involve pathological self-reference the...which is the direct execution. Not much of a coincidence.
behavior that the finite string specifies is coincidentally the same
behavior as the direct execution of the corresponding machine. The
actual measure, however, has always been the behavior that the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates
a finite number of steps of an input III that calls this
same emulator to emulate itself the behavior of the direct
execution of III will not be the same as the behavior of
the emulated III.
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from the
behavior
of any directly executed TM2 referring to the behavior of the directly >>>>> executed DDD has always been incorrect. Halt Deciders always report on >>>>> the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM "specifies",
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies its behavior,
In every case that does not involve pathological self-reference the...which is the direct execution. Not much of a coincidence.
behavior that the finite string specifies is coincidentally the same >>>>> behavior as the direct execution of the corresponding machine. The
actual measure, however, has always been the behavior that the finite >>>>> string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates
a finite number of steps of an input III that calls this
same emulator to emulate itself the behavior of the direct
execution of III will not be the same as the behavior of
the emulated III.
Becuase a finite emulation that stop before the end is not a correct
emulation
In other words you keep dishonestly trying to get away with
disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
There exists no Natural Number N number of steps of III
correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from the behavior >>> of any directly executed TM2 referring to the behavior of the directly
executed DDD has always been incorrect. Halt Deciders always report on
the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM "specifies",
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
In every case that does not involve pathological self-reference the...which is the direct execution. Not much of a coincidence.
behavior that the finite string specifies is coincidentally the same
behavior as the direct execution of the corresponding machine. The
actual measure, however, has always been the behavior that the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates
a finite number of steps of an input III that calls this
same emulator to emulate itself the behavior of the direct
execution of III will not be the same as the behavior of
the emulated III.
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from the behavior >>>>> of any directly executed TM2 referring to the behavior of the directly >>>>> executed DDD has always been incorrect. Halt Deciders always report on >>>>> the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM "specifies",
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies its behavior,
In every case that does not involve pathological self-reference the...which is the direct execution. Not much of a coincidence.
behavior that the finite string specifies is coincidentally the same >>>>> behavior as the direct execution of the corresponding machine. The
actual measure, however, has always been the behavior that the finite >>>>> string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates
a finite number of steps of an input III that calls this
same emulator to emulate itself the behavior of the direct
execution of III will not be the same as the behavior of
the emulated III.
Becuase a finite emulation that stop before the end is not a correct emulation
In other words you keep dishonestly trying to get away with
disagreeing with the law of identity.
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from the
behavior
of any directly executed TM2 referring to the behavior of the
directly
executed DDD has always been incorrect. Halt Deciders always
report on
the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM "specifies", >>>>>> and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies its behavior, >>>>
In every case that does not involve pathological self-reference the >>>>>>> behavior that the finite string specifies is coincidentally the same >>>>>>> behavior as the direct execution of the corresponding machine. The >>>>>>> actual measure, however, has always been the behavior that the...which is the direct execution. Not much of a coincidence.
finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates
a finite number of steps of an input III that calls this
same emulator to emulate itself the behavior of the direct
execution of III will not be the same as the behavior of
the emulated III.
Becuase a finite emulation that stop before the end is not a correct
emulation
In other words you keep dishonestly trying to get away with
disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if the
program being emulated will halt/.
There exists no Natural Number N number of steps of III
correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation
of a single finite string of x86 machine code single
machine address [00002172] cannot possibly reach its
own machine address [00002183]when emulated by emulator
EEE according to the semantics of the x86 language.
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from the >>>>>>>>> behavior
of any directly executed TM2 referring to the behavior of the >>>>>>>>> directly
executed DDD has always been incorrect. Halt Deciders always >>>>>>>>> report on
the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM "specifies", >>>>>>>> and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies its
behavior,
In every case that does not involve pathological self-reference >>>>>>>>> the...which is the direct execution. Not much of a coincidence.
behavior that the finite string specifies is coincidentally the >>>>>>>>> same
behavior as the direct execution of the corresponding machine. The >>>>>>>>> actual measure, however, has always been the behavior that the >>>>>>>>> finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates
a finite number of steps of an input III that calls this
same emulator to emulate itself the behavior of the direct
execution of III will not be the same as the behavior of
the emulated III.
Becuase a finite emulation that stop before the end is not a
correct emulation
In other words you keep dishonestly trying to get away with
disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if the
program being emulated will halt/.
There exists no Natural Number N number of steps of III
correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation
of a single finite string of x86 machine code single
machine address [00002172] cannot possibly reach its
own machine address [00002183]when emulated by emulator
EEE according to the semantics of the x86 language.
But it isn't a single finite string of x86 machince code,
As a matter of verified fact it is a single finite
string of machine code at a fixed offset in the
Halt7.obj file.
as to emulate it we need to include the machine code of EEE,
Which would also be a single finite string of machine code
at a fixed offset in the Halt7.obj file if it was not an
infinite set of hypothetical pure x86 emulators.
which you just said froms an infinite set of partial emulators.
That is your fundamental problem, that you need to redefine the
meaning of core terms
A freaking set of pure x86 emulators EEE[0] to EEE[N] that
emulates 0 to N instructions of III IS NOT REDEFINING ANY
TERMS.
to try to "establish" your facts, and thus you don't establish them in
the logic system you claim to be talking about (the one that Turing
made his claim in)
Sorry, your statements are just self-contradictory, and you are proven
to be ignoran.
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from >>>>>>>>>>> the behavior
of any directly executed TM2 referring to the behavior of the >>>>>>>>>>> directly
executed DDD has always been incorrect. Halt Deciders always >>>>>>>>>>> report on
the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM
"specifies",
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies its
behavior,
In every case that does not involve pathological self-...which is the direct execution. Not much of a coincidence. >>>>>>>>>>
reference the
behavior that the finite string specifies is coincidentally >>>>>>>>>>> the same
behavior as the direct execution of the corresponding
machine. The
actual measure, however, has always been the behavior that >>>>>>>>>>> the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping >>>>>>>>> [00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates
a finite number of steps of an input III that calls this
same emulator to emulate itself the behavior of the direct
execution of III will not be the same as the behavior of
the emulated III.
Becuase a finite emulation that stop before the end is not a
correct emulation
In other words you keep dishonestly trying to get away with
disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if the
program being emulated will halt/.
There exists no Natural Number N number of steps of III
correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation
of a single finite string of x86 machine code single
machine address [00002172] cannot possibly reach its
own machine address [00002183]when emulated by emulator
EEE according to the semantics of the x86 language.
But it isn't a single finite string of x86 machince code,
As a matter of verified fact it is a single finite
string of machine code at a fixed offset in the
Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you need ALL of
it (at least all seen by the emulator) and thus you can't change the
parts seen and still be talking about the same input.
Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the function, you
need the rest of the code, which mean you can't do the variations you
talk about.
x86utm operates on a compiled object file that
is stored in a single location of global memory.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
There are no freaking variations merely III repeating
its first four instructions a finite number of times.
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from >>>>>>>>>>>>> the behaviorPlease explain what behaviour the description of a TM
of any directly executed TM2 referring to the behavior of >>>>>>>>>>>>> the directly
executed DDD has always been incorrect. Halt Deciders >>>>>>>>>>>>> always report on
the behavior that their input finite string specifies. >>>>>>>>>>>
"specifies",
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies its >>>>>>>>>> behavior,
In every case that does not involve pathological self- >>>>>>>>>>>>> reference the...which is the direct execution. Not much of a coincidence. >>>>>>>>>>>>
behavior that the finite string specifies is coincidentally >>>>>>>>>>>>> the same
behavior as the direct execution of the corresponding >>>>>>>>>>>>> machine. The
actual measure, however, has always been the behavior that >>>>>>>>>>>>> the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping >>>>>>>>>>> [00002173] 8bec mov ebp,esp ; housekeeping >>>>>>>>>>> [00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates >>>>>>>>>>> a finite number of steps of an input III that calls this >>>>>>>>>>> same emulator to emulate itself the behavior of the direct >>>>>>>>>>> execution of III will not be the same as the behavior of >>>>>>>>>>> the emulated III.
Becuase a finite emulation that stop before the end is not a >>>>>>>>>> correct emulation
In other words you keep dishonestly trying to get away with
disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if the >>>>>>>> program being emulated will halt/.
There exists no Natural Number N number of steps of III
correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation
of a single finite string of x86 machine code single
machine address [00002172] cannot possibly reach its
own machine address [00002183]when emulated by emulator
EEE according to the semantics of the x86 language.
But it isn't a single finite string of x86 machince code,
As a matter of verified fact it is a single finite
string of machine code at a fixed offset in the
Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you need ALL
of it (at least all seen by the emulator) and thus you can't change
the parts seen and still be talking about the same input.
Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the function, you
need the rest of the code, which mean you can't do the variations
you talk about.
x86utm operates on a compiled object file that
is stored in a single location of global memory.
Right, and thus you must consider *ALL* of that memory as the input,
so if you change it, it is a different input.
You haven't yet noticed that all posts with this title
[III correctly emulated by EEE] are talking about a pure
emulator that emulates a finite number of instructions of III.
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott: >>>>>>>>>>>>>>
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping >>>>>>>>>>>>>>> from the behaviorPlease explain what behaviour the description of a TM >>>>>>>>>>>>>> "specifies",
of any directly executed TM2 referring to the behavior of >>>>>>>>>>>>>>> the directly
executed DDD has always been incorrect. Halt Deciders >>>>>>>>>>>>>>> always report on
the behavior that their input finite string specifies. >>>>>>>>>>>>>
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies its >>>>>>>>>>>> behavior,
In every case that does not involve pathological self- >>>>>>>>>>>>>>> reference the...which is the direct execution. Not much of a coincidence. >>>>>>>>>>>>>>
behavior that the finite string specifies is
coincidentally the same
behavior as the direct execution of the corresponding >>>>>>>>>>>>>>> machine. The
actual measure, however, has always been the behavior >>>>>>>>>>>>>>> that the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping >>>>>>>>>>>>> [00002173] 8bec mov ebp,esp ; housekeeping >>>>>>>>>>>>> [00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates >>>>>>>>>>>>> a finite number of steps of an input III that calls this >>>>>>>>>>>>> same emulator to emulate itself the behavior of the direct >>>>>>>>>>>>> execution of III will not be the same as the behavior of >>>>>>>>>>>>> the emulated III.
Becuase a finite emulation that stop before the end is not a >>>>>>>>>>>> correct emulation
In other words you keep dishonestly trying to get away with >>>>>>>>>>> disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if >>>>>>>>>> the program being emulated will halt/.
There exists no Natural Number N number of steps of III
correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation
of a single finite string of x86 machine code single
machine address [00002172] cannot possibly reach its
own machine address [00002183]when emulated by emulator
EEE according to the semantics of the x86 language.
But it isn't a single finite string of x86 machince code,
As a matter of verified fact it is a single finite
string of machine code at a fixed offset in the
Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you need ALL >>>>>> of it (at least all seen by the emulator) and thus you can't
change the parts seen and still be talking about the same input.
Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the function, you >>>>>> need the rest of the code, which mean you can't do the variations
you talk about.
x86utm operates on a compiled object file that
is stored in a single location of global memory.
Right, and thus you must consider *ALL* of that memory as the input,
so if you change it, it is a different input.
You haven't yet noticed that all posts with this title
[III correctly emulated by EEE] are talking about a pure
emulator that emulates a finite number of instructions of III.
Which is just a strawman, and a contradiction, as the definition of
"correct emulation" (to be able to use it in the halting problem as a
surrogate for the programs behavior) must be complete.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
You continue to look increasingly foolish when you
try to keep getting away with denying that III
calls EEE(III) in recursive emulation.
On 3/24/2025 8:28 PM, Richard Damon wrote:But there is an N after which III returns.
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott: >>>>>>>>>>>>>>>>"Bill sang a song" describes what Bill did.
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping >>>>>>>>>>>>>>>>> from the behavior of any directly executed TM2 referring >>>>>>>>>>>>>>>>> to the behavior of the directly executed DDD has always >>>>>>>>>>>>>>>>> been incorrect. Halt Deciders always report on the >>>>>>>>>>>>>>>>> behavior that their input finite string specifies. >>>>>>>>>>>>>>>>Please explain what behaviour the description of a TM >>>>>>>>>>>>>>>> "specifies", and which TM the input describes. >>>>>>>>>>>>>>>>
A tape recording of Bill singing that same song completely >>>>>>>>>>>>>>> specifies what Bill did.
And what a UTM does with this input completely specifies >>>>>>>>>>>>>> its behavior,
Becuase a finite emulation that stop before the end is not >>>>>>>>>>>>>> a correct emulationWhen-so-ever any correct emulator EEE correctly emulates a >>>>>>>>>>>>>>> finite number of steps of an input III that calls this >>>>>>>>>>>>>>> same emulator to emulate itself the behavior of the direct >>>>>>>>>>>>>>> execution of III will not be the same as the behavior of >>>>>>>>>>>>>>> the emulated III.In every case that does not involve pathological self- >>>>>>>>>>>>>>>>> reference the behavior that the finite string specifies >>>>>>>>>>>>>>>>> is coincidentally the same behavior as the direct >>>>>>>>>>>>>>>>> execution of the corresponding machine. The actual >>>>>>>>>>>>>>>>> measure, however, has always been the behavior that the >>>>>>>>>>>>>>>>> finite string input specifies....which is the direct execution. Not much of a >>>>>>>>>>>>>>>> coincidence.
In other words you keep dishonestly trying to get away with >>>>>>>>>>>>> disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE then N >>>>>>>>>>>>> steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if >>>>>>>>>>>> the program being emulated will halt/.
There exists no Natural Number N number of steps of III >>>>>>>>>>>>> correctly emulated by EEE where III reaches its own "ret" >>>>>>>>>>>>> instruction and terminates normally.
Then it is not pure.You haven't yet noticed that all posts with this title [IIIx86utm operates on a compiled object file that is stored in aIn other words you agree that the recursive emulation of a >>>>>>>>>>> single finite string of x86 machine code single machineBut it isn't a single finite string of x86 machince code,
address [00002172] cannot possibly reach its own machine >>>>>>>>>>> address [00002183]when emulated by emulator EEE according to >>>>>>>>>>> the semantics of the x86 language.
As a matter of verified fact it is a single finite string of >>>>>>>>> machine code at a fixed offset in the Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you need >>>>>>>> ALL of it (at least all seen by the emulator) and thus you can't >>>>>>>> change the parts seen and still be talking about the same input. >>>>>>>> Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the function, >>>>>>>> you need the rest of the code, which mean you can't do the
variations you talk about.
single location of global memory.
Right, and thus you must consider *ALL* of that memory as the
input, so if you change it, it is a different input.
correctly emulated by EEE] are talking about a pure emulator that
emulates a finite number of instructions of III.
DDD, the input, halts.But I don't deny it, just point out that it is irrelevent,Which is just a strawman, and a contradiction, as the definition ofYou continue to look increasingly foolish when you try to keep getting
"correct emulation" (to be able to use it in the halting problem as a
surrogate for the programs behavior) must be complete.
away with denying that III calls EEE(III) in recursive emulation.
It proves that the input DDD to HHH DOES NOT HALT.
How the f-ck is that irrelevant?
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott: >>>>>>>>>>>>>>>>
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping >>>>>>>>>>>>>>>>> from the behaviorPlease explain what behaviour the description of a TM >>>>>>>>>>>>>>>> "specifies",
of any directly executed TM2 referring to the behavior >>>>>>>>>>>>>>>>> of the directly
executed DDD has always been incorrect. Halt Deciders >>>>>>>>>>>>>>>>> always report on
the behavior that their input finite string specifies. >>>>>>>>>>>>>>>
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies >>>>>>>>>>>>>> its behavior,
In every case that does not involve pathological self- >>>>>>>>>>>>>>>>> reference the...which is the direct execution. Not much of a >>>>>>>>>>>>>>>> coincidence.
behavior that the finite string specifies is >>>>>>>>>>>>>>>>> coincidentally the same
behavior as the direct execution of the corresponding >>>>>>>>>>>>>>>>> machine. The
actual measure, however, has always been the behavior >>>>>>>>>>>>>>>>> that the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping >>>>>>>>>>>>>>> [00002173] 8bec mov ebp,esp ; housekeeping >>>>>>>>>>>>>>> [00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III) >>>>>>>>>>>>>>> [0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates >>>>>>>>>>>>>>> a finite number of steps of an input III that calls this >>>>>>>>>>>>>>> same emulator to emulate itself the behavior of the direct >>>>>>>>>>>>>>> execution of III will not be the same as the behavior of >>>>>>>>>>>>>>> the emulated III.
Becuase a finite emulation that stop before the end is not >>>>>>>>>>>>>> a correct emulation
In other words you keep dishonestly trying to get away with >>>>>>>>>>>>> disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if >>>>>>>>>>>> the program being emulated will halt/.
There exists no Natural Number N number of steps of III >>>>>>>>>>>>> correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation
of a single finite string of x86 machine code single
machine address [00002172] cannot possibly reach its
own machine address [00002183]when emulated by emulator
EEE according to the semantics of the x86 language.
But it isn't a single finite string of x86 machince code,
As a matter of verified fact it is a single finite
string of machine code at a fixed offset in the
Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you need >>>>>>>> ALL of it (at least all seen by the emulator) and thus you can't >>>>>>>> change the parts seen and still be talking about the same input. >>>>>>>>
Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the function, >>>>>>>> you need the rest of the code, which mean you can't do the
variations you talk about.
x86utm operates on a compiled object file that
is stored in a single location of global memory.
Right, and thus you must consider *ALL* of that memory as the
input, so if you change it, it is a different input.
You haven't yet noticed that all posts with this title
[III correctly emulated by EEE] are talking about a pure
emulator that emulates a finite number of instructions of III.
Which is just a strawman, and a contradiction, as the definition of
"correct emulation" (to be able to use it in the halting problem as
a surrogate for the programs behavior) must be complete.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
You continue to look increasingly foolish when you
try to keep getting away with denying that III
calls EEE(III) in recursive emulation.
But I don't deny it, just point out that it is irrelevent,
It proves that the input DDD to HHH DOES NOT HALT.
How the f-ck is that irrelevant?
On 3/25/2025 3:37 AM, joes wrote:
Am Mon, 24 Mar 2025 21:13:51 -0500 schrieb olcott:
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
There exists no Natural Number N number of steps of III >>>>>>>>>>>>>>> correctly emulated by EEE where III reaches its own "ret" >>>>>>>>>>>>>>> instruction and terminates normally.
But there is an N after which III returns.
Right, and thus you must consider *ALL* of that memory as theYou haven't yet noticed that all posts with this title [III
input, so if you change it, it is a different input.
correctly emulated by EEE] are talking about a pure emulator that >>>>>>> emulates a finite number of instructions of III.
Then it is not pure.
Then what is? Another program with the same name that doesn't?DDD, the input, halts.The DDD that halts IS NOT AN ACTUAL INPUT TO HHH.
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott: >>>>>>>>>>>>>>>>
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping >>>>>>>>>>>>>>>>> from the behaviorPlease explain what behaviour the description of a TM >>>>>>>>>>>>>>>> "specifies",
of any directly executed TM2 referring to the behavior >>>>>>>>>>>>>>>>> of the directly
executed DDD has always been incorrect. Halt Deciders >>>>>>>>>>>>>>>>> always report on
the behavior that their input finite string specifies. >>>>>>>>>>>>>>>
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies >>>>>>>>>>>>>> its behavior,
In every case that does not involve pathological self- >>>>>>>>>>>>>>>>> reference the...which is the direct execution. Not much of a >>>>>>>>>>>>>>>> coincidence.
behavior that the finite string specifies is >>>>>>>>>>>>>>>>> coincidentally the same
behavior as the direct execution of the corresponding >>>>>>>>>>>>>>>>> machine. The
actual measure, however, has always been the behavior >>>>>>>>>>>>>>>>> that the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping >>>>>>>>>>>>>>> [00002173] 8bec mov ebp,esp ; housekeeping >>>>>>>>>>>>>>> [00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III) >>>>>>>>>>>>>>> [0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates >>>>>>>>>>>>>>> a finite number of steps of an input III that calls this >>>>>>>>>>>>>>> same emulator to emulate itself the behavior of the direct >>>>>>>>>>>>>>> execution of III will not be the same as the behavior of >>>>>>>>>>>>>>> the emulated III.
Becuase a finite emulation that stop before the end is not >>>>>>>>>>>>>> a correct emulation
In other words you keep dishonestly trying to get away with >>>>>>>>>>>>> disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE
then N steps are III are correctly emulated by EEE.
Which isn't the same as the CORRECT emulation that shows if >>>>>>>>>>>> the program being emulated will halt/.
There exists no Natural Number N number of steps of III >>>>>>>>>>>>> correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation
of a single finite string of x86 machine code single
machine address [00002172] cannot possibly reach its
own machine address [00002183]when emulated by emulator
EEE according to the semantics of the x86 language.
But it isn't a single finite string of x86 machince code,
As a matter of verified fact it is a single finite
string of machine code at a fixed offset in the
Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you need >>>>>>>> ALL of it (at least all seen by the emulator) and thus you can't >>>>>>>> change the parts seen and still be talking about the same input. >>>>>>>>
Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the function, >>>>>>>> you need the rest of the code, which mean you can't do the
variations you talk about.
x86utm operates on a compiled object file that
is stored in a single location of global memory.
Right, and thus you must consider *ALL* of that memory as the
input, so if you change it, it is a different input.
You haven't yet noticed that all posts with this title
[III correctly emulated by EEE] are talking about a pure
emulator that emulates a finite number of instructions of III.
Which is just a strawman, and a contradiction, as the definition of
"correct emulation" (to be able to use it in the halting problem as
a surrogate for the programs behavior) must be complete.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
You continue to look increasingly foolish when you
try to keep getting away with denying that III
calls EEE(III) in recursive emulation.
But I don't deny it, just point out that it is irrelevent,
If you don't deny it then you know that III emulated
by EEE cannot possibly halt. DDD emulated by HHH has
this same pattern that proves that HHH is correct to
reject DDD as not halting.
It proves that the input DDD to HHH DOES NOT HALT.
How the f-ck is that irrelevant?
On 3/25/2025 4:32 PM, joes wrote:
Am Tue, 25 Mar 2025 07:00:57 -0500 schrieb olcott:
On 3/25/2025 3:37 AM, joes wrote:
Am Mon, 24 Mar 2025 21:13:51 -0500 schrieb olcott:
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
There exists no Natural Number N number of steps of III >>>>>>>>>>>>>>>>> correctly emulated by EEE where III reaches its own "ret" >>>>>>>>>>>>>>>>> instruction and terminates normally.
But there is an N after which III returns.
Right, and thus you must consider *ALL* of that memory as the >>>>>>>>>> input, so if you change it, it is a different input.You haven't yet noticed that all posts with this title [III
correctly emulated by EEE] are talking about a pure emulator that >>>>>>>>> emulates a finite number of instructions of III.
Then it is not pure.
DDD, the input, halts.The DDD that halts IS NOT AN ACTUAL INPUT TO HHH.
Then what is? Another program with the same name that doesn't?
An entirely different instance that has different behavior.
It is easier to see this as DDD emulated by HHH where DDD
defines a pathological relationship with HHH versus DDD
emulated by HHH1 where there is no such pathological relationship.
DDD/HHH Cannot possibly reach its final halt state.
DDD/HHH1 Reaches its final halt state.
On 3/25/2025 4:32 PM, joes wrote:
Am Tue, 25 Mar 2025 07:00:57 -0500 schrieb olcott:
On 3/25/2025 3:37 AM, joes wrote:
Am Mon, 24 Mar 2025 21:13:51 -0500 schrieb olcott:
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
There exists no Natural Number N number of steps of III >>>>>>>>>>>>>>>>> correctly emulated by EEE where III reaches its own >>>>>>>>>>>>>>>>> "ret" instruction and terminates normally.
But there is an N after which III returns.
Right, and thus you must consider *ALL* of that memory as the >>>>>>>>>> input, so if you change it, it is a different input.You haven't yet noticed that all posts with this title [III
correctly emulated by EEE] are talking about a pure emulator >>>>>>>>> that emulates a finite number of instructions of III.
Then it is not pure.
Not with deterministic code. So what is the input, if not DDD?An entirely different instance that has different behavior.Then what is? Another program with the same name that doesn't?DDD, the input, halts.The DDD that halts IS NOT AN ACTUAL INPUT TO HHH.
It is easier to see this as DDD emulated by HHH where DDD defines a pathological relationship with HHH versus DDD emulated by HHH1 whereHHH1 is right.
there is no such pathological relationship.
DDD/HHH Cannot possibly reach its final halt state.
DDD/HHH1 Reaches its final halt state.
On 3/25/2025 8:14 PM, Richard Damon wrote:
On 3/25/25 6:57 PM, olcott wrote:
On 3/25/2025 4:32 PM, joes wrote:
Am Tue, 25 Mar 2025 07:00:57 -0500 schrieb olcott:
On 3/25/2025 3:37 AM, joes wrote:
Am Mon, 24 Mar 2025 21:13:51 -0500 schrieb olcott:
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
There exists no Natural Number N number of steps of III >>>>>>>>>>>>>>>>>>> correctly emulated by EEE where III reaches its own >>>>>>>>>>>>>>>>>>> "ret"
instruction and terminates normally.
But there is an N after which III returns.
Right, and thus you must consider *ALL* of that memory as the >>>>>>>>>>>> input, so if you change it, it is a different input.You haven't yet noticed that all posts with this title [III >>>>>>>>>>> correctly emulated by EEE] are talking about a pure emulator >>>>>>>>>>> that
emulates a finite number of instructions of III.
Then it is not pure.
DDD, the input, halts.The DDD that halts IS NOT AN ACTUAL INPUT TO HHH.
Then what is? Another program with the same name that doesn't?
An entirely different instance that has different behavior.
YOu mean it has a different set of instructions?
It is easier to see this as DDD emulated by HHH where DDD
defines a pathological relationship with HHH versus DDD
emulated by HHH1 where there is no such pathological relationship.
DDD/HHH Cannot possibly reach its final halt state.
So HHH just gives up before reaching the end,
Since you know that I know you are lying I
dare you to prove your point with actual correct
reasoning so that you can make a fool of yourself.
On 3/25/2025 7:33 PM, Richard Damon wrote:
On 3/25/25 8:12 AM, olcott wrote:
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:As a matter of verified fact it is a single finite
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote:Which isn't the same as the CORRECT emulation that shows >>>>>>>>>>>>>> if the program being emulated will halt/.
On 3/22/25 1:31 PM, olcott wrote:
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>
typedef void (*ptr)();Please explain what behaviour the description of a TM >>>>>>>>>>>>>>>>>> "specifies",
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code. >>>>>>>>>>>>>>>>>> There is also no Infinite_Recursion.
Since no Turing machine M can ever compute the >>>>>>>>>>>>>>>>>>> mapping from the behavior
of any directly executed TM2 referring to the >>>>>>>>>>>>>>>>>>> behavior of the directly
executed DDD has always been incorrect. Halt Deciders >>>>>>>>>>>>>>>>>>> always report on
the behavior that their input finite string specifies. >>>>>>>>>>>>>>>>>
and which TM the input describes.
"Bill sang a song" describes what Bill did.
A tape recording of Bill singing that same
song completely specifies what Bill did.
And what a UTM does with this input completely specifies >>>>>>>>>>>>>>>> its behavior,
In every case that does not involve pathological >>>>>>>>>>>>>>>>>>> self- reference the...which is the direct execution. Not much of a >>>>>>>>>>>>>>>>>> coincidence.
behavior that the finite string specifies is >>>>>>>>>>>>>>>>>>> coincidentally the same
behavior as the direct execution of the corresponding >>>>>>>>>>>>>>>>>>> machine. The
actual measure, however, has always been the behavior >>>>>>>>>>>>>>>>>>> that the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping >>>>>>>>>>>>>>>>> [00002175] 6872210000 push 00002172 ; push III >>>>>>>>>>>>>>>>> [0000217a] e853f4ffff call 000015d2 ; call EEE(III) >>>>>>>>>>>>>>>>> [0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates >>>>>>>>>>>>>>>>> a finite number of steps of an input III that calls this >>>>>>>>>>>>>>>>> same emulator to emulate itself the behavior of the direct >>>>>>>>>>>>>>>>> execution of III will not be the same as the behavior of >>>>>>>>>>>>>>>>> the emulated III.
Becuase a finite emulation that stop before the end is >>>>>>>>>>>>>>>> not a correct emulation
In other words you keep dishonestly trying to get away with >>>>>>>>>>>>>>> disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE >>>>>>>>>>>>>>> then N steps are III are correctly emulated by EEE. >>>>>>>>>>>>>>
There exists no Natural Number N number of steps of III >>>>>>>>>>>>>>> correctly emulated by EEE where III reaches its
own "ret" instruction and terminates normally.
Because
In other words you agree that the recursive emulation >>>>>>>>>>>>> of a single finite string of x86 machine code single >>>>>>>>>>>>> machine address [00002172] cannot possibly reach its >>>>>>>>>>>>> own machine address [00002183]when emulated by emulator >>>>>>>>>>>>> EEE according to the semantics of the x86 language.
But it isn't a single finite string of x86 machince code, >>>>>>>>>>>
string of machine code at a fixed offset in the
Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you need >>>>>>>>>> ALL of it (at least all seen by the emulator) and thus you >>>>>>>>>> can't change the parts seen and still be talking about the >>>>>>>>>> same input.
Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the function, >>>>>>>>>> you need the rest of the code, which mean you can't do the >>>>>>>>>> variations you talk about.
x86utm operates on a compiled object file that
is stored in a single location of global memory.
Right, and thus you must consider *ALL* of that memory as the
input, so if you change it, it is a different input.
You haven't yet noticed that all posts with this title
[III correctly emulated by EEE] are talking about a pure
emulator that emulates a finite number of instructions of III.
Which is just a strawman, and a contradiction, as the definition
of "correct emulation" (to be able to use it in the halting
problem as a surrogate for the programs behavior) must be complete. >>>>>>
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
You continue to look increasingly foolish when you
try to keep getting away with denying that III
calls EEE(III) in recursive emulation.
But I don't deny it, just point out that it is irrelevent,
If you don't deny it then you know that III emulated
by EEE cannot possibly halt. DDD emulated by HHH has
this same pattern that proves that HHH is correct to
reject DDD as not halting.
It proves that the input DDD to HHH DOES NOT HALT.
How the f-ck is that irrelevant?
Nope, because HHH isn't EEE, and thus the inputs are either differnt
or category errors (if you don't include the called function as part
of the input).
EEE is merely a dumbed down HHH because people got confused.
Sorry, but you are just proving that you whole argument is based on
lies and FRAUD.
It seems you just don't understand what it means for something to be
TRUE.
On 3/26/2025 6:20 AM, Richard Damon wrote:
On 3/25/25 11:32 PM, olcott wrote:
On 3/25/2025 8:14 PM, Richard Damon wrote:
On 3/25/25 6:57 PM, olcott wrote:
On 3/25/2025 4:32 PM, joes wrote:
Am Tue, 25 Mar 2025 07:00:57 -0500 schrieb olcott:
On 3/25/2025 3:37 AM, joes wrote:
Am Mon, 24 Mar 2025 21:13:51 -0500 schrieb olcott:
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:
On 3/22/2025 9:53 PM, Richard Damon wrote: >>>>>>>>>>>>>>>>>>>> On 3/22/25 2:08 PM, olcott wrote:
There exists no Natural Number N number of steps of >>>>>>>>>>>>>>>>>>>>> III
correctly emulated by EEE where III reaches its own >>>>>>>>>>>>>>>>>>>>> "ret"
instruction and terminates normally.
But there is an N after which III returns.
Right, and thus you must consider *ALL* of that memory as the >>>>>>>>>>>>>> input, so if you change it, it is a different input. >>>>>>>>>>>>> You haven't yet noticed that all posts with this title [III >>>>>>>>>>>>> correctly emulated by EEE] are talking about a pureemulator that
emulates a finite number of instructions of III.
Then it is not pure.
DDD, the input, halts.The DDD that halts IS NOT AN ACTUAL INPUT TO HHH.
Then what is? Another program with the same name that doesn't?
An entirely different instance that has different behavior.
YOu mean it has a different set of instructions?
It is easier to see this as DDD emulated by HHH where DDD
defines a pathological relationship with HHH versus DDD
emulated by HHH1 where there is no such pathological relationship.
DDD/HHH Cannot possibly reach its final halt state.
So HHH just gives up before reaching the end,
Since you know that I know you are lying I
dare you to prove your point with actual correct
reasoning so that you can make a fool of yourself.
No, I know that you are so stupid you think i am lying when you are.
My point is proven by just running HHH, and seeing that it gives up.
You already admitted that DDD emulated by HHH never reaches
its final state an halts. Do you not understand that this
behavior can be detected in a finite number of steps.
We can then run the version where main calls DDD, and we see that by
the DEFINITIONS of the problem, the input halts, and thus HHH was wrong.
Sorry, you are just proving to the world that you are so stupid you
can't see your stupidity. A perfect example of Dunning-Kruger.
On 3/26/2025 8:22 PM, Richard Damon wrote:
On 3/26/25 6:57 PM, olcott wrote:
On 3/26/2025 6:24 AM, Richard Damon wrote:
Since none of your EEE shows the actual behavior of the input, and
we can show that since EEE will ALWAYS return after a finite number
of steps
III emulated by EEE never reaches its final halt state.
Only because EEE doesn't do a complete emulation.
How is an infinite number of steps not a complete emulation?
On 3/26/2025 9:28 PM, Richard Damon wrote:
On 3/26/25 9:34 PM, olcott wrote:
On 3/26/2025 8:22 PM, Richard Damon wrote:
On 3/26/25 6:57 PM, olcott wrote:
On 3/26/2025 6:24 AM, Richard Damon wrote:
Since none of your EEE shows the actual behavior of the input, and >>>>>> we can show that since EEE will ALWAYS return after a finite
number of steps
III emulated by EEE never reaches its final halt state.
Only because EEE doesn't do a complete emulation.
How is an infinite number of steps not a complete emulation?
You EEE never did an infinite numbdr of steps.
Because you continue to dishonestly dodge the point I
have to revise the point to shut down your dishonest dodge.
How is an infinite number of steps not a complete emulation?
On 3/26/2025 6:24 AM, Richard Damon wrote:
On 3/25/25 11:28 PM, olcott wrote:
On 3/25/2025 7:33 PM, Richard Damon wrote:
On 3/25/25 8:12 AM, olcott wrote:
On 3/24/2025 8:28 PM, Richard Damon wrote:
On 3/24/25 10:14 AM, olcott wrote:
On 3/24/2025 6:23 AM, Richard Damon wrote:
On 3/23/25 9:06 PM, olcott wrote:
On 3/23/2025 6:56 PM, Richard Damon wrote:
On 3/23/25 6:47 PM, olcott wrote:
On 3/23/2025 4:46 PM, Richard Damon wrote:
On 3/23/25 1:21 PM, olcott wrote:
On 3/23/2025 6:07 AM, Richard Damon wrote:
On 3/22/25 11:52 PM, olcott wrote:As a matter of verified fact it is a single finite
On 3/22/2025 9:53 PM, Richard Damon wrote:
On 3/22/25 2:08 PM, olcott wrote:
On 3/22/2025 12:38 PM, Richard Damon wrote: >>>>>>>>>>>>>>>>>> On 3/22/25 1:31 PM, olcott wrote:Which isn't the same as the CORRECT emulation that shows >>>>>>>>>>>>>>>> if the program being emulated will halt/.
On 3/22/2025 11:37 AM, joes wrote:
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott: >>>>>>>>>>>>>>>>>>>>
typedef void (*ptr)();Please explain what behaviour the description of a >>>>>>>>>>>>>>>>>>>> TM "specifies",
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code. >>>>>>>>>>>>>>>>>>>> There is also no Infinite_Recursion.
Since no Turing machine M can ever compute the >>>>>>>>>>>>>>>>>>>>> mapping from the behavior
of any directly executed TM2 referring to the >>>>>>>>>>>>>>>>>>>>> behavior of the directly
executed DDD has always been incorrect. Halt >>>>>>>>>>>>>>>>>>>>> Deciders always report on
the behavior that their input finite string specifies. >>>>>>>>>>>>>>>>>>>
and which TM the input describes.
"Bill sang a song" describes what Bill did. >>>>>>>>>>>>>>>>>>> A tape recording of Bill singing that same >>>>>>>>>>>>>>>>>>> song completely specifies what Bill did.
And what a UTM does with this input completely >>>>>>>>>>>>>>>>>> specifies its behavior,
In every case that does not involve pathological >>>>>>>>>>>>>>>>>>>>> self- reference the...which is the direct execution. Not much of a >>>>>>>>>>>>>>>>>>>> coincidence.
behavior that the finite string specifies is >>>>>>>>>>>>>>>>>>>>> coincidentally the same
behavior as the direct execution of the >>>>>>>>>>>>>>>>>>>>> corresponding machine. The
actual measure, however, has always been the >>>>>>>>>>>>>>>>>>>>> behavior that the finite
string input specifies.
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping >>>>>>>>>>>>>>>>>>> [00002175] 6872210000 push 00002172 ; push III >>>>>>>>>>>>>>>>>>> [0000217a] e853f4ffff call 000015d2 ; call EEE(III) >>>>>>>>>>>>>>>>>>> [0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
When-so-ever any correct emulator EEE correctly emulates >>>>>>>>>>>>>>>>>>> a finite number of steps of an input III that calls this >>>>>>>>>>>>>>>>>>> same emulator to emulate itself the behavior of the >>>>>>>>>>>>>>>>>>> direct
execution of III will not be the same as the behavior of >>>>>>>>>>>>>>>>>>> the emulated III.
Becuase a finite emulation that stop before the end is >>>>>>>>>>>>>>>>>> not a correct emulation
In other words you keep dishonestly trying to get away >>>>>>>>>>>>>>>>> with
disagreeing with the law of identity.
When N steps are III are correctly emulated by EEE >>>>>>>>>>>>>>>>> then N steps are III are correctly emulated by EEE. >>>>>>>>>>>>>>>>
There exists no Natural Number N number of steps of III >>>>>>>>>>>>>>>>> correctly emulated by EEE where III reaches its >>>>>>>>>>>>>>>>> own "ret" instruction and terminates normally. >>>>>>>>>>>>>>>>>
Because
In other words you agree that the recursive emulation >>>>>>>>>>>>>>> of a single finite string of x86 machine code single >>>>>>>>>>>>>>> machine address [00002172] cannot possibly reach its >>>>>>>>>>>>>>> own machine address [00002183]when emulated by emulator >>>>>>>>>>>>>>> EEE according to the semantics of the x86 language. >>>>>>>>>>>>>>>
But it isn't a single finite string of x86 machince code, >>>>>>>>>>>>>
string of machine code at a fixed offset in the
Halt7.obj file.
Nope, because DEFINTIONALLY, to correctly emulate it, you >>>>>>>>>>>> need ALL of it (at least all seen by the emulator) and thus >>>>>>>>>>>> you can't change the parts seen and still be talking about >>>>>>>>>>>> the same input.
Your claim just shows you are a patholgical liar.
You can not "correctly emulate" the code of just the
function, you need the rest of the code, which mean you >>>>>>>>>>>> can't do the variations you talk about.
x86utm operates on a compiled object file that
is stored in a single location of global memory.
Right, and thus you must consider *ALL* of that memory as the >>>>>>>>>> input, so if you change it, it is a different input.
You haven't yet noticed that all posts with this title
[III correctly emulated by EEE] are talking about a pure
emulator that emulates a finite number of instructions of III. >>>>>>>>>
Which is just a strawman, and a contradiction, as the definition >>>>>>>> of "correct emulation" (to be able to use it in the halting
problem as a surrogate for the programs behavior) must be complete. >>>>>>>>
_III()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push III
[0000217a] e853f4ffff call 000015d2 ; call EEE(III)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
You continue to look increasingly foolish when you
try to keep getting away with denying that III
calls EEE(III) in recursive emulation.
But I don't deny it, just point out that it is irrelevent,
If you don't deny it then you know that III emulated
by EEE cannot possibly halt. DDD emulated by HHH has
this same pattern that proves that HHH is correct to
reject DDD as not halting.
It proves that the input DDD to HHH DOES NOT HALT.
How the f-ck is that irrelevant?
Nope, because HHH isn't EEE, and thus the inputs are either differnt
or category errors (if you don't include the called function as part
of the input).
EEE is merely a dumbed down HHH because people got confused.
No, you have been confused and dumbed yourself down to try to make
things better, but just made it worse.
Since none of your EEE shows the actual behavior of the input, and we
can show that since EEE will ALWAYS return after a finite number of steps
III emulated by EEE never reaches its final halt state.
On 3/26/2025 10:30 PM, Richard Damon wrote:
On 3/26/25 10:37 PM, olcott wrote:
On 3/26/2025 9:28 PM, Richard Damon wrote:
On 3/26/25 9:34 PM, olcott wrote:
On 3/26/2025 8:22 PM, Richard Damon wrote:
On 3/26/25 6:57 PM, olcott wrote:
On 3/26/2025 6:24 AM, Richard Damon wrote:
Since none of your EEE shows the actual behavior of the input, >>>>>>>> and we can show that since EEE will ALWAYS return after a finite >>>>>>>> number of steps
III emulated by EEE never reaches its final halt state.
Only because EEE doesn't do a complete emulation.
How is an infinite number of steps not a complete emulation?
You EEE never did an infinite numbdr of steps.
Because you continue to dishonestly dodge the point I
have to revise the point to shut down your dishonest dodge.
How is an infinite number of steps not a complete emulation?
Because you defined EEE to do a finite number of steps?
I just redefined it to be infinite dipshit.
How is a finite number of steps ever infinite?
You just are proving you don't understand the meaning of the words you
use.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 546 |
Nodes: | 16 (1 / 15) |
Uptime: | 155:17:49 |
Calls: | 10,383 |
Files: | 14,054 |
Messages: | 6,417,848 |