Sysop: | Amessyroom |
---|---|
Location: | Fayetteville, NC |
Users: | 26 |
Nodes: | 6 (1 / 5) |
Uptime: | 17:39:43 |
Calls: | 491 |
Calls today: | 3 |
Files: | 1,077 |
Messages: | 68,999 |
Posted today: | 2 |
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
Am Thu, 03 Jul 2025 17:11:45 -0500 schrieb olcott:
On 7/2/2025 1:53 AM, Mikko wrote:
On 2025-07-01 11:46:11 +0000, olcott said:
You are effectively saying that all programs that start with a call toIt is relevant to the halting problem because no input to a halt
decider can possibly do the opposite of whatever its halt decider
decides. The thing that does the opposite is not an input.
HHH are the same.
WTH? It is rather obvious that HHH cannot simulate DDD or anything elseIt is irrelevant because the halting problem clarly states that theAlthough it is called a description that term is inaccurate.
input is a description of a Turing machine and an input to that
machine. You may say that to decide halting of a directly executed
Turing machnie is not possible from the given input but the problem
is what it is.
It leads people to believe that 98% of exactly what it does is close
enough. That DD() *DOES NOT DO* what DD correctly simulated by HHH
does is a key detail *THAT ALWAYS ESCAPES THEM*
that calls HHH the same way as that input when run "directly".
Of course not, its code is.Yes. So it is like this:It is actually has 100% of all of the details that the machine code of >>>> DD has. The input to HHH(DD) *SPECIFIES*Yeah, and you can also execute that code instead of simulating it.
100% of every detail of the exactly behavior *OF THIS INPUT*
*The input to HHH(DD) specifies non-halting behavior*
The directly executed DD() is not an input.
Because it is not an input it HHH is not accountable for its behavior.Yes it is, HHH should compute whether the code of DD halts when run.
Deciders are only accountable for computing the mapping from their
inputs.
You can't be thinking that is uncomputable.
On 7/4/2025 8:37 AM, joes wrote:Did I misunderstand you?
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
Am Thu, 03 Jul 2025 17:11:45 -0500 schrieb olcott:
On 7/2/2025 1:53 AM, Mikko wrote:
On 2025-07-01 11:46:11 +0000, olcott said:
You are effectively saying that all programs that start with a call
to HHH are the same.
Are you seriously suggesting that you can't compute what the code ofLikewise we should also compute the area of a square circle with aBecause it is not an input it HHH is not accountable for its behavior.Yes it is, HHH should compute whether the code of DD halts when run.
Deciders are only accountable for computing the mapping from their
inputs.
You can't be thinking that is uncomputable.
radius of 2.
Partial halt deciders have never been allowed to report on the behaviorAnd you think that DDD's direct execution is not specified by its
of any directly executed Turing machine. Instead of this they have used
the behavior that their input machine description specifies as a proxy.
Now for the first time we see that DDD correctly simulated by HHH *ISIndeed, HHH does not simulate it correctly. (You can't mean that DDD
NOT A PROXY* for the behavior of the directly executed DDD().
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
Am Thu, 03 Jul 2025 17:11:45 -0500 schrieb olcott:
On 7/2/2025 1:53 AM, Mikko wrote:
On 2025-07-01 11:46:11 +0000, olcott said:
Did I misunderstand you?You are effectively saying that all programs that start with a call
to HHH are the same.
Are you seriously suggesting that you can't compute what the code ofLikewise we should also compute the area of a square circle with aBecause it is not an input it HHH is not accountable for its behavior. >>>> Deciders are only accountable for computing the mapping from theirYes it is, HHH should compute whether the code of DD halts when run.
inputs.
You can't be thinking that is uncomputable.
radius of 2.
DDD does when executed?
Partial halt deciders have never been allowed to report on the behavior
of any directly executed Turing machine. Instead of this they have used
the behavior that their input machine description specifies as a proxy.
And you think that DDD's direct execution is not specified by its description?
Now for the first time we see that DDD correctly simulated by HHH *IS
NOT A PROXY* for the behavior of the directly executed DDD().
Indeed, HHH does not simulate it correctly. (You can't mean that DDD
is *executed* incorrectly.)
On 7/4/2025 1:23 PM, joes wrote:Lol, you could have responded immediately. You know how to look up posts.
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with a call >>>>>> to HHH are the same.
Don't complain later.Are you seriously suggesting that you can't compute what the code ofYes it is, HHH should compute whether the code of DD halts when run.Likewise we should also compute the area of a square circle with a
You can't be thinking that is uncomputable.
radius of 2.
DDD does when executed?
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THE SAME BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARSPartial halt deciders have never been allowed to report on theAnd you think that DDD's direct execution is not specified by its
behavior of any directly executed Turing machine. Instead of this they
have used the behavior that their input machine description specifies
as a proxy.
description?
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by HHH *ISIndeed, HHH does not simulate it correctly. (You can't mean that DDD is
NOT A PROXY* for the behavior of the directly executed DDD().
*executed* incorrectly.)
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
Lol, you could have responded immediately. You know how to look up posts.The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with a call >>>>>>> to HHH are the same.
Don't complain later.Are you seriously suggesting that you can't compute what the code ofYes it is, HHH should compute whether the code of DD halts when run. >>>>> You can't be thinking that is uncomputable.Likewise we should also compute the area of a square circle with a
radius of 2.
DDD does when executed?
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THE SAMEPartial halt deciders have never been allowed to report on theAnd you think that DDD's direct execution is not specified by its
behavior of any directly executed Turing machine. Instead of this they >>>> have used the behavior that their input machine description specifies
as a proxy.
description?
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by HHH *ISIndeed, HHH does not simulate it correctly. (You can't mean that DDD is
NOT A PROXY* for the behavior of the directly executed DDD().
*executed* incorrectly.)
On 7/4/2025 2:09 PM, joes wrote:
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:Lol, you could have responded immediately. You know how to look up posts.
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with a call >>>>>>>> to HHH are the same.
Don't complain later.Are you seriously suggesting that you can't compute what the code ofYes it is, HHH should compute whether the code of DD halts when run. >>>>>> You can't be thinking that is uncomputable.Likewise we should also compute the area of a square circle with a
radius of 2.
DDD does when executed?
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THE SAME >>> BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARSPartial halt deciders have never been allowed to report on theAnd you think that DDD's direct execution is not specified by its
behavior of any directly executed Turing machine. Instead of this they >>>>> have used the behavior that their input machine description specifies >>>>> as a proxy.
description?
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by HHH *IS >>>>> NOT A PROXY* for the behavior of the directly executed DDD().Indeed, HHH does not simulate it correctly. (You can't mean that DDD is >>>> *executed* incorrectly.)
*Yes. This sums it up quite well* (its only 1.5 pages long) https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
On 7/4/25 3:15 PM, olcott wrote:
On 7/4/2025 2:09 PM, joes wrote:
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:Lol, you could have responded immediately. You know how to look up
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with a >>>>>>>>> call
to HHH are the same.
posts.
Don't complain later.Are you seriously suggesting that you can't compute what the code of >>>>> DDD does when executed?Yes it is, HHH should compute whether the code of DD halts when run. >>>>>>> You can't be thinking that is uncomputable.Likewise we should also compute the area of a square circle with a >>>>>> radius of 2.
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THEPartial halt deciders have never been allowed to report on theAnd you think that DDD's direct execution is not specified by its
behavior of any directly executed Turing machine. Instead of this >>>>>> they
have used the behavior that their input machine description specifies >>>>>> as a proxy.
description?
SAME
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by HHH *IS >>>>>> NOT A PROXY* for the behavior of the directly executed DDD().Indeed, HHH does not simulate it correctly. (You can't mean that
DDD is
*executed* incorrectly.)
*Yes. This sums it up quite well* (its only 1.5 pages long)
https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
Then your system LIES and is based on lies.
"Code" is deterministic, and thus every instruction when starting from
the same state will always do the same thing.
On 7/4/2025 3:45 PM, Richard Damon wrote:
On 7/4/25 3:15 PM, olcott wrote:
On 7/4/2025 2:09 PM, joes wrote:
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:Lol, you could have responded immediately. You know how to look up
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with a >>>>>>>>>> call
to HHH are the same.
posts.
Don't complain later.Are you seriously suggesting that you can't compute what the code of >>>>>> DDD does when executed?Yes it is, HHH should compute whether the code of DD halts when >>>>>>>> run.Likewise we should also compute the area of a square circle with a >>>>>>> radius of 2.
You can't be thinking that is uncomputable.
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THE >>>>> SAMEPartial halt deciders have never been allowed to report on theAnd you think that DDD's direct execution is not specified by its
behavior of any directly executed Turing machine. Instead of this >>>>>>> they
have used the behavior that their input machine description
specifies
as a proxy.
description?
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by HHH >>>>>>> *ISIndeed, HHH does not simulate it correctly. (You can't mean that
NOT A PROXY* for the behavior of the directly executed DDD().
DDD is
*executed* incorrectly.)
*Yes. This sums it up quite well* (its only 1.5 pages long)
https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
Then your system LIES and is based on lies.
"Code" is deterministic, and thus every instruction when starting from
the same state will always do the same thing.
That you are not bright enough to detect the recursive
simulation non terminating behavior pattern is no rebuttal
at all.
On 7/4/2025 3:45 PM, Richard Damon wrote:
On 7/4/25 3:15 PM, olcott wrote:
On 7/4/2025 2:09 PM, joes wrote:
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:Lol, you could have responded immediately. You know how to look up
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with a >>>>>>>>>> call
to HHH are the same.
posts.
Don't complain later.Are you seriously suggesting that you can't compute what the code of >>>>>> DDD does when executed?Yes it is, HHH should compute whether the code of DD halts when >>>>>>>> run.Likewise we should also compute the area of a square circle with a >>>>>>> radius of 2.
You can't be thinking that is uncomputable.
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THE >>>>> SAMEPartial halt deciders have never been allowed to report on theAnd you think that DDD's direct execution is not specified by its
behavior of any directly executed Turing machine. Instead of this >>>>>>> they
have used the behavior that their input machine description
specifies
as a proxy.
description?
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by HHH >>>>>>> *ISIndeed, HHH does not simulate it correctly. (You can't mean that
NOT A PROXY* for the behavior of the directly executed DDD().
DDD is
*executed* incorrectly.)
*Yes. This sums it up quite well* (its only 1.5 pages long)
https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
Then your system LIES and is based on lies.
"Code" is deterministic, and thus every instruction when starting from
the same state will always do the same thing.
That you are not bright enough to detect the recursive
simulation non terminating behavior pattern is no rebuttal
at all.
On 2025-07-04 12:34:39 +0000, olcott said:
On 7/4/2025 2:25 AM, Mikko wrote:
What HHH correctly or otherwise simulates is merely an implementation
detail.
It is a detail that defines a partial halt decider
that makes the "do the opposite" code unreachable.
No, it does. The proof that a counter-example can be constructed
does not refer to any implementation details, so it applies to
every implementation that is does not violate the requirements
so obviously that the proof is not needed.
What matters is the beahviour DD specifies.
The behavior that an input specifies is only correctly
measured by correctly simulating this input.
Wrong. It is correctly measured by a direct execution.
Op 05.jul.2025 om 00:26 schreef olcott:
On 7/4/2025 3:45 PM, Richard Damon wrote:
On 7/4/25 3:15 PM, olcott wrote:
On 7/4/2025 2:09 PM, joes wrote:
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:Lol, you could have responded immediately. You know how to look up
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with >>>>>>>>>>> a call
to HHH are the same.
posts.
Don't complain later.Are you seriously suggesting that you can't compute what the code of >>>>>>> DDD does when executed?Yes it is, HHH should compute whether the code of DD halts when >>>>>>>>> run.Likewise we should also compute the area of a square circle with a >>>>>>>> radius of 2.
You can't be thinking that is uncomputable.
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVEPartial halt deciders have never been allowed to report on the >>>>>>>> behavior of any directly executed Turing machine. Instead ofAnd you think that DDD's direct execution is not specified by its >>>>>>> description?
this they
have used the behavior that their input machine description
specifies
as a proxy.
THE SAME
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by >>>>>>>> HHH *ISIndeed, HHH does not simulate it correctly. (You can't mean that >>>>>>> DDD is
NOT A PROXY* for the behavior of the directly executed DDD().
*executed* incorrectly.)
*Yes. This sums it up quite well* (its only 1.5 pages long)
https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
Then your system LIES and is based on lies.
"Code" is deterministic, and thus every instruction when starting
from the same state will always do the same thing.
That you are not bright enough to detect the recursive
simulation non terminating behavior pattern is no rebuttal
at all.
There is only *finite* recursive simulation, so everybody bright enough understands that there is no non-terminating behaviour.
Not understanding the difference between *finite* recursion and
*infinite* recursion shows who is not bright enough.
On 7/4/25 6:26 PM, olcott wrote:
On 7/4/2025 3:45 PM, Richard Damon wrote:
On 7/4/25 3:15 PM, olcott wrote:
On 7/4/2025 2:09 PM, joes wrote:
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:Lol, you could have responded immediately. You know how to look up
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:
The nesting is too deep to see what you are responding to.You are effectively saying that all programs that start with >>>>>>>>>>> a call
to HHH are the same.
posts.
Don't complain later.Are you seriously suggesting that you can't compute what the code of >>>>>>> DDD does when executed?Yes it is, HHH should compute whether the code of DD halts when >>>>>>>>> run.Likewise we should also compute the area of a square circle with a >>>>>>>> radius of 2.
You can't be thinking that is uncomputable.
No disagreement; not my question.I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVEPartial halt deciders have never been allowed to report on the >>>>>>>> behavior of any directly executed Turing machine. Instead ofAnd you think that DDD's direct execution is not specified by its >>>>>>> description?
this they
have used the behavior that their input machine description
specifies
as a proxy.
THE SAME
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
So DDD specifies at least two different behaviours?You are using the wrong measure of correct.Now for the first time we see that DDD correctly simulated by >>>>>>>> HHH *ISIndeed, HHH does not simulate it correctly. (You can't mean that >>>>>>> DDD is
NOT A PROXY* for the behavior of the directly executed DDD().
*executed* incorrectly.)
*Yes. This sums it up quite well* (its only 1.5 pages long)
https://claude.ai/share/da9b8e3f-eb16-42ca-a9e8-913f4b88202c
Then your system LIES and is based on lies.
"Code" is deterministic, and thus every instruction when starting
from the same state will always do the same thing.
That you are not bright enough to detect the recursive
simulation non terminating behavior pattern is no rebuttal
at all.
So, how does a finite recursion, finite because every simulator in the
loop aborts its simulation at a given point, become non-halting.