Re: Any honest person that knows the x86 language can see... predict correctly

Liste des GroupesRevenir à c theory 
Sujet : Re: Any honest person that knows the x86 language can see... predict correctly
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 01. Aug 2024, 16:10:42
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v8g513$26s53$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Mozilla Thunderbird
Op 01.aug.2024 om 15:04 schreef olcott:
On 8/1/2024 7:56 AM, Fred. Zwarts wrote:
Op 01.aug.2024 om 13:51 schreef olcott:
On 8/1/2024 2:46 AM, Fred. Zwarts wrote:
Op 01.aug.2024 om 05:51 schreef olcott:
On 7/31/2024 10:08 PM, wij wrote:
On Tue, 2024-07-30 at 18:50 -0500, olcott wrote:
>
It is not supposed to be a general solution to the halting problem.
it only shows how the "impossible" input is correctly determined
to be non halting.
>
>
But how do you determine it is non-halting?
>
As I know you are even unable to define what 'halt' mean !!!
>
I have done this thousands of times and after someone
has read these thousands of times they say that I never
said it once.
>
void DDD()
{
   HHH(DDD);
   return;
}
>
int main()
{
   HHH(DDD);
}
>
If DDD correctly emulated by HHH cannot possibly
reach its return instruction then it never halts.
>
>
>
But a correct simulation is impossible.
>
When HHH does what-ever-the-hell the x86 semantics specifies
then HHH is correct.
>
>
But since HHH deviates from the semantics of the x86 language (by skipping instructions of a halting  program) it is incorrect.
>
 Only a freaking moron would believe that a non
terminating input should be simulated forever.
 
We are not talking about your dreams of a non aborting HHH. We are talking about an aborting HHH which terminates.
So, who is the freaking moron talking about non-terminating input?
Dreams are no substitute for fact or for logic.
Skipping the last cycle of the simulation of HHH, which aborts after two cycles, is a deviation from the semantics of the x86 language.
But, you are a slow learner. Probably you will repeat the same error another thousand times.

Date Sujet#  Auteur
29 Jul 24 * Any honest person that knows the x86 language can see...78olcott
29 Jul 24 +* Re: Any honest person that knows the x86 language can see...5Fred. Zwarts
29 Jul 24 i`* Re: Any honest person that knows the x86 language can see...4olcott
29 Jul 24 i `* Re: Any honest person that knows the x86 language can see...3Fred. Zwarts
29 Jul 24 i  `* Re: Any honest person that knows the x86 language can see...2olcott
30 Jul 24 i   `- Re: Any honest person that knows the x86 language can see...1Fred. Zwarts
30 Jul 24 +- Re: Any honest person that knows the x86 language can see... DDD will HALT if HHH answers1Richard Damon
30 Jul 24 `* Re: Any honest person that knows the x86 language can see...71Mikko
30 Jul 24  `* Re: Any honest person that knows the x86 language can see...70olcott
30 Jul 24   +* Re: Any honest person that knows the x86 language can see...57Fred. Zwarts
30 Jul 24   i`* Re: Any honest person that knows the x86 language can see... predict correctly56olcott
30 Jul 24   i `* Re: Any honest person that knows the x86 language can see... predict correctly55Fred. Zwarts
30 Jul 24   i  `* Re: Any honest person that knows the x86 language can see... predict correctly54olcott
30 Jul 24   i   +* Re: Any honest person that knows the x86 language can see... predict correctly51joes
30 Jul 24   i   i`* Re: Any honest person that knows the x86 language can see... predict correctly50olcott
31 Jul 24   i   i +* Re: Any honest person that knows the x86 language can see... predict correctly25Mad Hamish
31 Jul 24   i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly24olcott
1 Aug 24   i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly23wij
1 Aug 24   i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly22olcott
1 Aug 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly7wij
1 Aug 24   i   i i   i+* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   ii`- Re: Any honest person that knows the x86 language can see... predict correctly1wij
1 Aug 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly4Mikko
1 Aug 24   i   i i   i `* Re: Any honest person that knows the x86 language can see... predict correctly3olcott
2 Aug 24   i   i i   i  +- Re: Any honest person that knows the x86 language can see... predict *IN*correctly1Richard Damon
2 Aug 24   i   i i   i  `- Re: Any honest person that knows the x86 language can see... predict correctly1Mikko
1 Aug 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly11Fred. Zwarts
1 Aug 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly10olcott
1 Aug 24   i   i i   i +* Re: Any honest person that knows the x86 language can see... predict correctly7Fred. Zwarts
1 Aug 24   i   i i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly6olcott
1 Aug 24   i   i i   i i +- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly4joes
1 Aug 24   i   i i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly3olcott
1 Aug 24   i   i i   i i   `* Re: Any honest person that knows the x86 language can see... predict correctly2joes
1 Aug 24   i   i i   i i    `- Re: Any honest person that knows the x86 language can see... predict correctly1olcott
2 Aug 24   i   i i   i +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
2 Aug 24   i   i i   i `- Re: Any honest person that knows the x86 language can see... predict correctly1Mikko
1 Aug 24   i   i i   `* Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,3Richard Damon
1 Aug 24   i   i i    `* Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,2olcott
2 Aug 24   i   i i     `- Re: Any honest person that knows the x86 language can see... predict correctly is to say Halting,1Richard Damon
31 Jul 24   i   i +- Re: Any honest person that knows the x86 language can see... predict correctly1Richard Damon
31 Jul 24   i   i +* Re: Any honest person that knows the x86 language can see... predict correctly22joes
31 Jul 24   i   i i`* Re: Any honest person that knows the x86 language can see... predict correctly21olcott
31 Jul 24   i   i i +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
31 Jul 24   i   i i `* Re: Any honest person that knows the x86 language can see... predict correctly19joes
31 Jul 24   i   i i  `* Re: Any honest person that knows the x86 language can see... predict correctly18olcott
31 Jul 24   i   i i   +* Re: Any honest person that knows the x86 language can see... predict correctly16joes
31 Jul 24   i   i i   i`* Re: Any honest person that knows the x86 language can see... predict correctly15olcott
31 Jul 24   i   i i   i `* Re: Any honest person that knows the x86 language can see... predict correctly14Fred. Zwarts
31 Jul 24   i   i i   i  `* Re: Any honest person that knows the x86 language can see... predict correctly13olcott
1 Aug 24   i   i i   i   +* Re: Any honest person that knows the x86 language can see... predict correctly7joes
1 Aug 24   i   i i   i   i`* Re: Any honest person that knows the x86 language can see... predict correctly6olcott
1 Aug 24   i   i i   i   i `* Re: Any honest person that knows the x86 language can see... predict correctly5Fred. Zwarts
1 Aug 24   i   i i   i   i  `* Re: Any honest person that knows the x86 language can see... predict correctly4olcott
1 Aug 24   i   i i   i   i   `* Re: Any honest person that knows the x86 language can see... predict correctly3Fred. Zwarts
1 Aug 24   i   i i   i   i    `* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   i   i     `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   i   `* Re: Any honest person that knows the x86 language can see... predict correctly5Fred. Zwarts
1 Aug 24   i   i i   i    `* Re: Any honest person that knows the x86 language can see... predict correctly4olcott
1 Aug 24   i   i i   i     `* Re: Any honest person that knows the x86 language can see... predict correctly3Fred. Zwarts
1 Aug 24   i   i i   i      `* Re: Any honest person that knows the x86 language can see... predict correctly2olcott
1 Aug 24   i   i i   i       `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
1 Aug 24   i   i i   `- Re: Any honest person that knows the x86 language can see... H predicts INcorrectly1Richard Damon
31 Jul 24   i   i `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
31 Jul 24   i   +- Re: Any honest person that knows the x86 language can see... predict INcorrectly1Richard Damon
31 Jul 24   i   `- Re: Any honest person that knows the x86 language can see... predict correctly1Fred. Zwarts
31 Jul 24   +- Re: Any honest person that knows the x86 language can see...1Richard Damon
31 Jul 24   `* Re: Any honest person that knows the x86 language can see...11Mikko
31 Jul 24    +* Re: Any honest person that knows the x86 language can see...4Mikko
31 Jul 24    i`* Re: Any honest person that knows the x86 language can see...3olcott
1 Aug 24    i +- Re: Any honest person that knows the x86 language can see... The H incorrectly decides on the input.1Richard Damon
2 Aug 24    i `- Re: Any honest person that knows the x86 language can see...1Mikko
31 Jul 24    `* Re: Any honest person that knows the x86 language can see...6olcott
1 Aug 24     +- Re: Any honest person that knows the x86 language can see... H predicts incorrectly1Richard Damon
2 Aug 24     `* Re: Any honest person that knows the x86 language can see...4Mikko
2 Aug 24      `* Re: Any honest person that knows the x86 language can see...3olcott
2 Aug 24       +- Re: Any honest person that knows the x86 language can see...1Richard Damon
3 Aug 24       `- Re: Any honest person that knows the x86 language can see...1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal