On 5/14/2025 4:16 PM, dbush wrote:
On 5/14/2025 3:17 PM, olcott wrote:
On 5/14/2025 2:06 PM, Mike Terry wrote:And *yet again* you lie by implying Sipser agrees with your
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug (rather >>>> than e.g. a design error) is entirely dependent on the program's
Spent a couple of hours reading back the last few days of posts.
Huboy,
what a train wreck. (But like a train wreck, it's hard to look
away, which might explain how this has been going on for 20(?)
years.)
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred,
Mikko, and anybody else I've forgotten for trying to explain to Mr. >>>>>> Olcott and Mr. Flibble how you all see their claims. I wanted to >>>>>> point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating
input and halts. But others (I forget who) report that -- due to a >>>>>> bug -- D would actually terminate on its own. His HHH simulator
therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own,
and that's a consequence of PO's intended design. (Yes, there are
bugs, but D's coding is what PO intended.)
specification.
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its input D
until H correctly determines that its simulated D would never
stop running unless aborted then
interpretation of the above when definitive proof has been repeatedly
provided that he did not:
On Monday, March 6, 2023 at 2:41:27 PM UTC-5, Ben Bacarisse wrote:
I exchanged emails with him about this. He does not agree with
anything substantive that PO has written. I won't quote him, as I
don't have permission, but he was, let's say... forthright, in his
reply to me.
Your dishonesty knows no bounds.
Ben knows that Professor Sisper does agree with my meaning of my words
and that got Ben all riled up.
Ben was convinced that I tricked professor Sipser into agreeing with
these words.
THE COMPLETE PROOF THAT PROFESSOR SIPSER DOES AGREE WITH MY MEANING MY
MY WORDS IS THAT THE EXACT WORDS ONLY HAVE ONE MEANING.
On 5/14/2025 2:06 PM, Mike Terry wrote:
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug (rather
Spent a couple of hours reading back the last few days of posts.
Huboy,
what a train wreck. (But like a train wreck, it's hard to look
away, which might explain how this has been going on for 20(?) years.) >>>>
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred,
Mikko, and anybody else I've forgotten for trying to explain to
Mr. Olcott and Mr. Flibble how you all see their claims. I wanted to >>>> point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating
input and halts. But others (I forget who) report that -- due
to a bug -- D would actually terminate on its own. His HHH
simulator therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own, and
that's a consequence of PO's intended design. (Yes, there are bugs,
but D's coding is what PO intended.)
than e.g. a design error) is entirely dependent on the program's
specification.
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
I did not notice how all of the rebuttals of this have
always committed the straw-man error until yesterday.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
A correct simulation has always meant that according
to the rules of the x86 language HHH must emulate
itself emulating DDD.
A correct simulation has NEVER meant that HHH
can interpret "call 000015d2" to mean "jmp 00002183".
Yet all of my reviewers say that HHH must do
something like this so that the behavior of DDD
correctly emulated by HHH matches the directly
executed DDD().
On 5/14/2025 8:55 PM, Richard Damon wrote:
On 5/14/25 3:17 PM, olcott wrote:
On 5/14/2025 2:06 PM, Mike Terry wrote:
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug
Spent a couple of hours reading back the last few days of posts.
Huboy,
what a train wreck. (But like a train wreck, it's hard to look
away, which might explain how this has been going on for 20(?)
years.)
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred,
Mikko, and anybody else I've forgotten for trying to explain to
Mr. Olcott and Mr. Flibble how you all see their claims. I wanted to >>>>>> point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating
input and halts. But others (I forget who) report that -- due
to a bug -- D would actually terminate on its own. His HHH
simulator therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own,
and that's a consequence of PO's intended design. (Yes, there are
bugs, but D's coding is what PO intended.)
(rather than e.g. a design error) is entirely dependent on the
program's specification.
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
Since you DDD isn't a program, since you say that it doesn't include
the HHH that it calls, means that you can't use this, since here D
*IS* a program, as that is from the defintion of a Halt Decider, its
input is the representation OF A PROGRAM.
I did not notice how all of the rebuttals of this have
always committed the straw-man error until yesterday.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
A correct simulation has always meant that according
to the rules of the x86 language HHH must emulate
itself emulating DDD.
Right, which fails at the call to HHH,
Liar!
Liar!
On 5/14/2025 4:16 PM, dbush wrote:
On 5/14/2025 3:17 PM, olcott wrote:
On 5/14/2025 2:06 PM, Mike Terry wrote:And *yet again* you lie by implying Sipser agrees with your
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug (rather >>>> than e.g. a design error) is entirely dependent on the program's
Spent a couple of hours reading back the last few days of posts. Huboy, >>>>>> what a train wreck. (But like a train wreck, it's hard to look
away, which might explain how this has been going on for 20(?) years.) >>>>>>
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred,
Mikko, and anybody else I've forgotten for trying to explain to
Mr. Olcott and Mr. Flibble how you all see their claims. I wanted to >>>>>> point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating
input and halts. But others (I forget who) report that -- due
to a bug -- D would actually terminate on its own. His HHH
simulator therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own, and >>>>> that's a consequence of PO's intended design. (Yes, there are bugs, >>>>> but D's coding is what PO intended.)
specification.
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
interpretation of the above when definitive proof has been repeatedly
provided that he did not:
On Monday, March 6, 2023 at 2:41:27 PM UTC-5, Ben Bacarisse wrote:
I exchanged emails with him about this. He does not agree with anything
substantive that PO has written. I won't quote him, as I don't have
permission, but he was, let's say... forthright, in his reply to me.
Your dishonesty knows no bounds.
Ben knows that Professor Sisper does agree with my
meaning of my words and that got Ben all riled up.
Ben was convinced that I tricked professor Sipser
into agreeing with these words.
THE COMPLETE PROOF THAT PROFESSOR SIPSER DOES
AGREE WITH MY MEANING MY MY WORDS IS THAT
THE EXACT WORDS ONLY HAVE ONE MEANING.
On 5/14/2025 10:00 PM, Richard Damon wrote:
On 5/14/25 10:10 PM, olcott wrote:
On 5/14/2025 8:55 PM, Richard Damon wrote:
On 5/14/25 3:17 PM, olcott wrote:
On 5/14/2025 2:06 PM, Mike Terry wrote:
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug
Spent a couple of hours reading back the last few days of posts. >>>>>>>> Huboy,
what a train wreck. (But like a train wreck, it's hard to look >>>>>>>> away, which might explain how this has been going on for 20(?) >>>>>>>> years.)
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred, >>>>>>>> Mikko, and anybody else I've forgotten for trying to explain to >>>>>>>> Mr. Olcott and Mr. Flibble how you all see their claims. I
wanted to
point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating >>>>>>>> input and halts. But others (I forget who) report that -- due >>>>>>>> to a bug -- D would actually terminate on its own. His HHH
simulator therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own, >>>>>>> and that's a consequence of PO's intended design. (Yes, there
are bugs, but D's coding is what PO intended.)
(rather than e.g. a design error) is entirely dependent on the
program's specification.
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >>>>> If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
Since you DDD isn't a program, since you say that it doesn't include
the HHH that it calls, means that you can't use this, since here D
*IS* a program, as that is from the defintion of a Halt Decider, its
input is the representation OF A PROGRAM.
I did not notice how all of the rebuttals of this have
always committed the straw-man error until yesterday.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
A correct simulation has always meant that according
to the rules of the x86 language HHH must emulate
itself emulating DDD.
Right, which fails at the call to HHH,
Liar!
So, how does it LEGALLY do it?
The code of HHH is not part of the input, so HHH can not correctly
emulate its input *DDD* and go somewhere else.
DDD going somewhere is not a part of its own
behavior yet is an aspect of the behavior that
DDD specifies.
On 5/14/2025 10:00 PM, Richard Damon wrote:
On 5/14/25 10:10 PM, olcott wrote:
On 5/14/2025 8:55 PM, Richard Damon wrote:
On 5/14/25 3:17 PM, olcott wrote:
On 5/14/2025 2:06 PM, Mike Terry wrote:
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug
Spent a couple of hours reading back the last few days of posts. >>>>>>>> Huboy,
what a train wreck. (But like a train wreck, it's hard to look >>>>>>>> away, which might explain how this has been going on for 20(?) >>>>>>>> years.)
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred, >>>>>>>> Mikko, and anybody else I've forgotten for trying to explain to >>>>>>>> Mr. Olcott and Mr. Flibble how you all see their claims. I
wanted to
point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating >>>>>>>> input and halts. But others (I forget who) report that -- due >>>>>>>> to a bug -- D would actually terminate on its own. His HHH
simulator therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own, >>>>>>> and that's a consequence of PO's intended design. (Yes, there
are bugs, but D's coding is what PO intended.)
(rather than e.g. a design error) is entirely dependent on the
program's specification.
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >>>>> If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
Since you DDD isn't a program, since you say that it doesn't include
the HHH that it calls, means that you can't use this, since here D
*IS* a program, as that is from the defintion of a Halt Decider, its
input is the representation OF A PROGRAM.
I did not notice how all of the rebuttals of this have
always committed the straw-man error until yesterday.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
A correct simulation has always meant that according
to the rules of the x86 language HHH must emulate
itself emulating DDD.
Right, which fails at the call to HHH,
Liar!
So, how does it LEGALLY do it?
The code of HHH is not part of the input, so HHH can not correctly
emulate its input *DDD* and go somewhere else.
DDD going somewhere is not a part of its own
behavior yet is an aspect of the behavior that
DDD specifies.
Its not that hard when you give up rebuttal as
the first priority and instead make an honest
dialogue the top priority.
On 5/15/2025 3:30 AM, Mikko wrote:
On 2025-05-14 21:50:23 +0000, olcott said:
On 5/14/2025 4:16 PM, dbush wrote:
On 5/14/2025 3:17 PM, olcott wrote:
On 5/14/2025 2:06 PM, Mike Terry wrote:And *yet again* you lie by implying Sipser agrees with your
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug (rather >>>>>> than e.g. a design error) is entirely dependent on the program's
Spent a couple of hours reading back the last few days of posts. Huboy,
what a train wreck. (But like a train wreck, it's hard to look >>>>>>>> away, which might explain how this has been going on for 20(?) years.) >>>>>>>>
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred, >>>>>>>> Mikko, and anybody else I've forgotten for trying to explain to >>>>>>>> Mr. Olcott and Mr. Flibble how you all see their claims. I wanted to >>>>>>>> point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating >>>>>>>> input and halts. But others (I forget who) report that -- due >>>>>>>> to a bug -- D would actually terminate on its own. His HHH
simulator therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own, and >>>>>>> that's a consequence of PO's intended design. (Yes, there are bugs, >>>>>>> but D's coding is what PO intended.)
specification.
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >>>>> If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D
would never stop running unless aborted then
interpretation of the above when definitive proof has been repeatedly
provided that he did not:
On Monday, March 6, 2023 at 2:41:27 PM UTC-5, Ben Bacarisse wrote:
I exchanged emails with him about this. He does not agree with anything >>>>> substantive that PO has written. I won't quote him, as I don't have
permission, but he was, let's say... forthright, in his reply to me.
Your dishonesty knows no bounds.
Ben knows that Professor Sisper does agree with my
meaning of my words and that got Ben all riled up.
Ben was convinced that I tricked professor Sipser
into agreeing with these words.
THE COMPLETE PROOF THAT PROFESSOR SIPSER DOES
AGREE WITH MY MEANING MY MY WORDS IS THAT
THE EXACT WORDS ONLY HAVE ONE MEANING.
Do you agree that the meaning of the word "would" includes that
something in the same clause is counter-factual?
Not at all.
Op 15.mei.2025 om 06:00 schreef olcott:
On 5/14/2025 10:00 PM, Richard Damon wrote:
On 5/14/25 10:10 PM, olcott wrote:
On 5/14/2025 8:55 PM, Richard Damon wrote:
On 5/14/25 3:17 PM, olcott wrote:
On 5/14/2025 2:06 PM, Mike Terry wrote:
On 14/05/2025 18:50, Mike Terry wrote:
On 14/05/2025 08:11, vallor wrote:Hmm, I thought some more about this. What's considered a bug (rather >>>>>>> than e.g. a design error) is entirely dependent on the program's >>>>>>> specification.
Spent a couple of hours reading back the last few days of posts. Huboy,
what a train wreck. (But like a train wreck, it's hard to look >>>>>>>>> away, which might explain how this has been going on for 20(?) years.)
I want to thank both Richard's, wij, dbush, Mike, Keith, Fred, >>>>>>>>> Mikko, and anybody else I've forgotten for trying to explain to >>>>>>>>> Mr. Olcott and Mr. Flibble how you all see their claims. I wanted to
point out three things:
a) Mr. Olcott claims his HHH simulator detects an non-terminating >>>>>>>>> input and halts. But others (I forget who) report that -- due >>>>>>>>> to a bug -- D would actually terminate on its own. His HHH >>>>>>>>> simulator therefore gives the wrong answer.
Not really due to a bug. D actually /does/ terminate on its own, and >>>>>>>> that's a consequence of PO's intended design. (Yes, there are bugs, >>>>>>>> but D's coding is what PO intended.)
void DDD()
{
HHH(DDD);
return;
}
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022> >>>>>> If simulating halt decider H correctly simulates its
input D until H correctly determines that its simulated D >>>>>> would never stop running unless aborted then
Since you DDD isn't a program, since you say that it doesn't include >>>>> the HHH that it calls, means that you can't use this, since here D *IS* >>>>> a program, as that is from the defintion of a Halt Decider, its input >>>>> is the representation OF A PROGRAM.
I did not notice how all of the rebuttals of this have
always committed the straw-man error until yesterday.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
A correct simulation has always meant that according
to the rules of the x86 language HHH must emulate
itself emulating DDD.
Right, which fails at the call to HHH,
Liar!
So, how does it LEGALLY do it?
The code of HHH is not part of the input, so HHH can not correctly
emulate its input *DDD* and go somewhere else.
DDD going somewhere is not a part of its own
behavior yet is an aspect of the behavior that
DDD specifies.
The functions called by DDD are part of the program and also specify
the behaviour of the program.
Its not that hard when you give up rebuttal as
the first priority and instead make an honest
dialogue the top priority.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 493 |
Nodes: | 16 (2 / 14) |
Uptime: | 23:44:50 |
Calls: | 9,729 |
Calls today: | 19 |
Files: | 13,741 |
Messages: | 6,182,405 |