Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.c++ > #79972 > unrolled thread

Would D ever stop if simulating halt decider H never stopped simulating it?

Back to article view | Back to comp.lang.c++

Contents

  Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-29 18:32 -0500
    Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-30 05:15 +0200
      Re: Would D ever stop if simulating halt decider H never stopped simulating it? red floyd <no.spam.here@its.invalid> - 2021-05-30 12:03 -0700
        Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 06:18 +0200
          Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-31 00:12 -0500
            Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 07:24 +0200
              Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-31 00:35 -0500
                Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 08:14 +0200
                  Re: Would D ever stop if simulating halt decider H never stopped simulating it? olcott <NoOne@NoWhere.com> - 2021-05-31 01:34 -0500
                    Re: Would D ever stop if simulating halt decider H never stopped simulating it? Bonita Montero <Bonita.Montero@gmail.com> - 2021-05-31 09:33 +0200

#79972 — Would D ever stop if simulating halt decider H never stopped simulating it?

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

[toc] | [next] | [standalone]

#79974

STOP POSTING in comp.lang.c/c++.

[toc] | [prev] | [next] | [standalone]

#79997

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.

[toc] | [prev] | [next] | [standalone]

#80010

> 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.

[toc] | [prev] | [next] | [standalone]

#80011

On 5/30/2021 11:18 PM, 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.
>> 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.

-- 
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre 
minds." Einstein

[toc] | [prev] | [next] | [standalone]

#80013

>>> 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.

[toc] | [prev] | [next] | [standalone]

#80014

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.
>>>> 
> 
> 
>>> 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 


-- 
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre 
minds." Einstein

[toc] | [prev] | [next] | [standalone]

#80016

>>>>> 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.
HERE IS THE WRONG PLACE !

[toc] | [prev] | [next] | [standalone]

#80018

On 5/31/2021 1:14 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.
> 
>>>>> 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.
> HERE IS THE WRONG PLACE !
> 

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.

-- 
Copyright 2021 Pete Olcott

"Great spirits have always encountered violent opposition from mediocre 
minds." Einstein

[toc] | [prev] | [next] | [standalone]

#80019

> 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
off-topic here.

[toc] | [prev] | [standalone]

Back to top | Article view | comp.lang.c++

csiph-web