Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Would D ever stop if simulating halt decider H never stopped simulating it?
19 views
Skip to first unread message
olcott
May 29, 2021, 7:33:22 PM5/29/21
to
I am cross-posting this to comp.lang.c and comp.lang.c++ because any
C/C++ professional can correctly answer it and the code is written in C.
#define u32 uint32_t
int Simulate(u32 P, u32 I)
{
((void(*)(u32))P)(I);
return 1;
}
int D(u32 P)
{
if ( H(P, P) )
return 0;
return 1;
}
int main()
{
H((u32)D, (u32)D);
}
H is simulating partial halt decider based on an x86 emulator. Its input
is the machine address of a C function that has been cast to 32-bit
unsigned integer. H simulates its first parameter on the input of its
second parameter. In the above case H would simulate D(D).
--
Copyright 2021 Pete Olcott
"Great spirits have always encountered violent opposition from mediocre
minds." Einstein
C/C++ professional can correctly answer it and the code is written in C.
#define u32 uint32_t
int Simulate(u32 P, u32 I)
{
((void(*)(u32))P)(I);
return 1;
}
int D(u32 P)
{
if ( H(P, P) )
return 0;
return 1;
}
int main()
{
H((u32)D, (u32)D);
}
H is simulating partial halt decider based on an x86 emulator. Its input
is the machine address of a C function that has been cast to 32-bit
unsigned integer. H simulates its first parameter on the input of its
second parameter. In the above case H would simulate D(D).
--
Copyright 2021 Pete Olcott
"Great spirits have always encountered violent opposition from mediocre
minds." Einstein
Bonita Montero
May 29, 2021, 11:15:28 PM5/29/21
to
STOP POSTING in comp.lang.c/c++.
red floyd
May 30, 2021, 3:03:20 PM5/30/21
to
On 5/29/2021 8:15 PM, Bonita Montero wrote:
> STOP POSTING in comp.lang.c/c++.
He's obviously not going to stop, so just killfile the idiot.
> STOP POSTING in comp.lang.c/c++.
He's obviously not going to stop, so just killfile the idiot.
Bonita Montero
May 31, 2021, 12:19:04 AM5/31/21
to
> By suggesting that they kill-file then unnecessary chatter is reduced.
> This seems to be the final draft of the diagonalization argument's
> error. I am very very happy that you suggested that I look into that. I
> was able to completely abolish the contradiction.
> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
Your stop-problem-issues are interesting no one here.
They're generic to any language, so they're off-topic here.
> This seems to be the final draft of the diagonalization argument's
> error. I am very very happy that you suggested that I look into that. I
> was able to completely abolish the contradiction.
> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
Your stop-problem-issues are interesting no one here.
They're generic to any language, so they're off-topic here.
olcott
May 31, 2021, 1:13:23 AM5/31/21
to
Bonita Montero
May 31, 2021, 1:25:13 AM5/31/21
to
>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>> This seems to be the final draft of the diagonalization argument's
>>> error. I am very very happy that you suggested that I look into that.
>>> I was able to completely abolish the contradiction.
>>> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
>> Your stop-problem-issues are interesting no one here.
>> They're generic to any language, so they're off-topic here.
> Kaz was my best reviewer.
Then Kaz made the same mistake like you.
>>> This seems to be the final draft of the diagonalization argument's
>>> error. I am very very happy that you suggested that I look into that.
>>> I was able to completely abolish the contradiction.
>>> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
>> Your stop-problem-issues are interesting no one here.
>> They're generic to any language, so they're off-topic here.
> Kaz was my best reviewer.
olcott
May 31, 2021, 1:36:23 AM5/31/21
to
On 5/31/2021 12:24 AM, Bonita Montero wrote:
>>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>>> This seems to be the final draft of the diagonalization argument's
>>>> error. I am very very happy that you suggested that I look into
>>>> that. I was able to completely abolish the contradiction.
>>>>
>
>
>>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>>> This seems to be the final draft of the diagonalization argument's
>>>> error. I am very very happy that you suggested that I look into
>>>> that. I was able to completely abolish the contradiction.
>>>>
>
>
>>> Your stop-problem-issues are interesting no one here.
>>> They're generic to any language, so they're off-topic here.
>
>> Kaz was my best reviewer.
>
> Then Kaz made the same mistake like you.
>
Kaz suggested that I study diagonalization and now I can easily refute
>>> They're generic to any language, so they're off-topic here.
>
>> Kaz was my best reviewer.
>
> Then Kaz made the same mistake like you.
>
this much simpler proof. My refutation is on page 1 and Sipser's whole
proof is on page 2. So far the only critiques have been about punctuation.
https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
Bonita Montero
May 31, 2021, 2:14:49 AM5/31/21
to
>>>>> By suggesting that they kill-file then unnecessary chatter is reduced.
>>>>> This seems to be the final draft of the diagonalization argument's
>>>>> error. I am very very happy that you suggested that I look into
>>>>> that. I was able to completely abolish the contradiction.
>>>> Your stop-problem-issues are interesting no one here.
>>>> They're generic to any language, so they're off-topic here.
>>> Kaz was my best reviewer.
>> Then Kaz made the same mistake like you.
> Kaz suggested that I study diagonalization and now I can easily refute
> this much simpler proof. My refutation is on page 1 and Sipser's whole
> proof is on page 2. So far the only critiques have been about punctuation.
> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
Are you stupid ? It's no matter what Kaz said.
>>>>> This seems to be the final draft of the diagonalization argument's
>>>>> error. I am very very happy that you suggested that I look into
>>>>> that. I was able to completely abolish the contradiction.
>>>> Your stop-problem-issues are interesting no one here.
>>>> They're generic to any language, so they're off-topic here.
>>> Kaz was my best reviewer.
>> Then Kaz made the same mistake like you.
> Kaz suggested that I study diagonalization and now I can easily refute
> this much simpler proof. My refutation is on page 1 and Sipser's whole
> proof is on page 2. So far the only critiques have been about punctuation.
> https://www.researchgate.net/publication/351947980_Refutation_of_Halting_Problem_Diagonalization_Argument
HERE IS THE WRONG PLACE !
olcott
May 31, 2021, 2:34:47 AM5/31/21
to
get Kaz to come back to comp.theory by posting here.
Bonita Montero
May 31, 2021, 3:34:05 AM5/31/21
to
> If here really was the wrong place then I would not have been
> able to get Kaz to come back to comp.theory by posting here.
No matter what you say - your halting-problem-idea are always
> able to get Kaz to come back to comp.theory by posting here.
off-topic here.
0 new messages