Re: Deciders are ONLY accountable for their actual inputs ---

Liste des GroupesRevenir à c theory 
Sujet : Re: Deciders are ONLY accountable for their actual inputs ---
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theory
Date : 02. Jun 2024, 20:57:37
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3ifb1$3f51j$12@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
Op 02.jun.2024 om 20:46 schreef olcott:
On 6/2/2024 1:39 PM, Fred. Zwarts wrote:
Op 02.jun.2024 om 15:56 schreef olcott:
On 6/2/2024 3:08 AM, Mikko wrote:
On 2024-06-01 15:09:02 +0000, olcott said:
>
On 6/1/2024 3:23 AM, Mikko wrote:
On 2024-05-29 18:31:52 +0000, olcott said:
>
*two dozen people were simply wrong*
>
Why are people who are wrong so important that they deserve
a subject line? I would think that people who are right are
more interesting.
>
>
This is the key mistake of the definition of the halting problem itself.
Linz makes this same mistake. I already covered this extensively in
another reply.
>
The word "this" above does not denote anything so the first sentence
does not mean anything. The word "same" in the second sentence refers
to "this" in the first sentnece and therefore does not denote, either,
so the second sentence does not say anything either. So the third
sentence says that you covevered nothing.
>
That these two dozen different people are wrong about this shows that
the only basis for any rebuttal of my proof for the last three years IS
WRONG.
>
That you claim that these two dozen people are wrong does not show
anything. It probably wouldn't even if you could show that they
really were wrong.
>
>
The only one that I am aware that is not wrong about the behavior
that a simulating halt decider must report on is myself.
>
Only software engineers will understand that DD correctly simulated
by HH had different behavior than DD(DD). Comp Sci people allow Comp Sci
dogma to overrule verified facts.
>
When I pinned Richard down on this he simply said that he does not care
that DD correctly simulated by HH has different behavior than DD(DD).
>
It turns out that DD correctly simulated by HH <is> the behavior that
the input to HH(DD,DD) specifies. Deciders are ONLY accountable for
their actual inputs. Deciders compute the mapping FROM THEIR INPUTS...
>
typedef int (*ptr)();  // ptr is pointer to int function in C
00       int HH(ptr p, ptr i);
01       int DD(ptr p)
02       {
03         int Halt_Status = HH(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
08
09       int main()
10       {
11         HH(DD,DD);
12         return 0;
13       }
>
DD correctly emulated by HH with an x86 emulator cannot possibly
reach past its own machine instruction [00001c2e] in any finite
(or infinite) number of steps of correct emulation.
>
Only because the call to HH at [00001c2e] does not return, because HH does not reach its own return in any finite (or infinite) number of steps of correct emulation.
>
 When HH correctly simulates DD and DD calls the simulated HH(DD,DD)
to simulate itself again
 *this simulated HH is not required to halt*
*this simulated HH is not required to halt*
*this simulated HH is not required to halt*
*this simulated HH is not required to halt*
HH must halt. Therefore, a correct simulation of HH must halt, too. If it doesn't, either the simulation is incorrect, or HH does not halt.

Date Sujet#  Auteur
28 May 24 * D correctly simulated by H cannot possibly halt --- templates and infinite sets360olcott
29 May 24 +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets307Richard Damon
29 May 24 i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets306olcott
29 May 24 i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets305Richard Damon
29 May 24 i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets304olcott
29 May 24 i   +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets26Mikko
29 May 24 i   i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets25olcott
30 May 24 i   i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets24Richard Damon
30 May 24 i   i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets23olcott
30 May 24 i   i   `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets22Richard Damon
30 May 24 i   i    `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets21olcott
30 May 24 i   i     `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets20Richard Damon
30 May 24 i   i      `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets19olcott
30 May 24 i   i       `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets18Richard Damon
30 May 24 i   i        `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets17olcott
30 May 24 i   i         `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets16Richard Damon
30 May 24 i   i          `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets15olcott
30 May 24 i   i           `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets14Richard Damon
30 May 24 i   i            `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets13olcott
30 May 24 i   i             `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets12Richard Damon
30 May 24 i   i              `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets11olcott
30 May 24 i   i               +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets4joes
30 May 24 i   i               i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets3olcott
30 May 24 i   i               i +- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1immibis
31 May 24 i   i               i `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 i   i               +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets5immibis
30 May 24 i   i               i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets4Richard Damon
31 May 24 i   i               i `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets3Mikko
31 May 24 i   i               i  `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets2immibis
31 May 24 i   i               i   `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Mikko
30 May 24 i   i               `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
29 May 24 i   `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets277Richard Damon
29 May 24 i    `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets276olcott
29 May 24 i     +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets274Alan Mackenzie
29 May 24 i     i+* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets7olcott
29 May 24 i     ii+* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets5Mike Terry
29 May 24 i     iii+* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets2olcott
30 May 24 i     iiii`- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
29 May 24 i     iii`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets2olcott
30 May 24 i     iii `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 i     ii`- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
29 May 24 i     i`* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets266Ben Bacarisse
29 May 24 i     i `* Two dozen people were simply wrong265olcott
29 May 24 i     i  +* Re: Two dozen people were simply wrong4Alan Mackenzie
29 May 24 i     i  i`* Re: Two dozen people were simply wrong3olcott
29 May 24 i     i  i `* Re: Two dozen people were simply wrong2Python
29 May 24 i     i  i  `- Re: Two dozen people were simply wrong1olcott
30 May 24 i     i  +* Re: Two dozen people were simply wrong (including Olcott)233Richard Damon
30 May 24 i     i  i`* Re: Two dozen people were simply wrong --- Try to prove otherwise232olcott
30 May 24 i     i  i +* Re: Two dozen people were simply wrong --- Try to prove otherwise230Richard Damon
30 May 24 i     i  i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise229olcott
30 May 24 i     i  i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise228Richard Damon
30 May 24 i     i  i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise227olcott
30 May 24 i     i  i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise226Richard Damon
30 May 24 i     i  i i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise225olcott
30 May 24 i     i  i i     +* Re: Two dozen people were simply wrong --- Try to prove otherwise15Richard Damon
30 May 24 i     i  i i     i+* Re: Two dozen people were simply wrong --- Try to prove otherwise2olcott
30 May 24 i     i  i i     ii`- Re: Two dozen people were simply wrong --- Try to prove otherwise1Richard Damon
30 May 24 i     i  i i     i`* Re: Two dozen people were simply wrong --- Try to prove otherwise12olcott
30 May 24 i     i  i i     i `* Re: Two dozen people were simply wrong --- Try to prove otherwise11Richard Damon
30 May 24 i     i  i i     i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise10olcott
30 May 24 i     i  i i     i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise5Richard Damon
30 May 24 i     i  i i     i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise4olcott
30 May 24 i     i  i i     i   i `* Re: Olcott was simply wrong --- Try to prove otherwise3Richard Damon
30 May 24 i     i  i i     i   i  `* Re: Olcott was simply wrong --- Try to prove otherwise2olcott
31 May 24 i     i  i i     i   i   `- Re: Olcott was simply wrong --- Try to prove otherwise1Richard Damon
30 May 24 i     i  i i     i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise4joes
30 May 24 i     i  i i     i    +- Re: Two dozen people were simply wrong --- Try to prove otherwise1olcott
31 May 24 i     i  i i     i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise2Mikko
31 May 24 i     i  i i     i     `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- Mike Terry1olcott
30 May 24 i     i  i i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise209Mikko
30 May 24 i     i  i i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise208olcott
31 May 24 i     i  i i       +* Re: Two dozen people were simply wrong --- Try to prove otherwise205Richard Damon
31 May 24 i     i  i i       i`* Re: Two dozen people were simply wrong --- Try to prove otherwise204olcott
31 May 24 i     i  i i       i +* Re: Two dozen people were simply wrong --- Try to prove otherwise195Richard Damon
31 May 24 i     i  i i       i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise194olcott
31 May 24 i     i  i i       i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise193Richard Damon
31 May 24 i     i  i i       i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise192olcott
31 May 24 i     i  i i       i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise191Richard Damon
31 May 24 i     i  i i       i i    `* Re: Two dozen people were simply wrong --- Try to prove otherwise190olcott
31 May 24 i     i  i i       i i     `* Re: Two dozen people were simply wrong --- Try to prove otherwise189Richard Damon
31 May 24 i     i  i i       i i      `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down188olcott
31 May 24 i     i  i i       i i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down187Richard Damon
1 Jun 24 i     i  i i       i i        `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down186olcott
1 Jun 24 i     i  i i       i i         `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down185Richard Damon
1 Jun 24 i     i  i i       i i          `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down184olcott
1 Jun 24 i     i  i i       i i           +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down182Richard Damon
1 Jun 24 i     i  i i       i i           i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down181olcott
1 Jun 24 i     i  i i       i i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down111Richard Damon
1 Jun 24 i     i  i i       i i           i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down110olcott
1 Jun 24 i     i  i i       i i           i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down108Richard Damon
1 Jun 24 i     i  i i       i i           i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down107olcott
1 Jun 24 i     i  i i       i i           i i i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down105Richard Damon
1 Jun 24 i     i  i i       i i           i i i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down104olcott
1 Jun 24 i     i  i i       i i           i i i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down103Richard Damon
1 Jun 24 i     i  i i       i i           i i i i  `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down102olcott
1 Jun 24 i     i  i i       i i           i i i i   +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down92Richard Damon
1 Jun 24 i     i  i i       i i           i i i i   i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down91olcott
1 Jun 24 i     i  i i       i i           i i i i   i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down13Fred. Zwarts
1 Jun 24 i     i  i i       i i           i i i i   i i`* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down12olcott
1 Jun 24 i     i  i i       i i           i i i i   i i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down11Fred. Zwarts
1 Jun 24 i     i  i i       i i           i i i i   i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down74Richard Damon
1 Jun 24 i     i  i i       i i           i i i i   i +- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i     i  i i       i i           i i i i   i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down2joes
2 Jun 24 i     i  i i       i i           i i i i   `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down9Mikko
1 Jun 24 i     i  i i       i i           i i i `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
1 Jun 24 i     i  i i       i i           i i `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1Fred. Zwarts
1 Jun 24 i     i  i i       i i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down50Wasell
1 Jun 24 i     i  i i       i i           i +* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down16Fred. Zwarts
1 Jun 24 i     i  i i       i i           i `* Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down3joes
1 Jun 24 i     i  i i       i i           `- Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down1immibis
31 May 24 i     i  i i       i `* Re: Two dozen people were simply wrong --- Try to prove otherwise8Mikko
31 May 24 i     i  i i       `* Re: Two dozen people were simply wrong --- Try to prove otherwise2Mikko
30 May 24 i     i  i `- Re: H is an incorrect x86 emulator1immibis
30 May 24 i     i  +- Re: Two dozen people were simply wrong1immibis
1 Jun 24 i     i  `* Re: Two dozen people were simply wrong26Mikko
30 May 24 i     `- Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets1Richard Damon
30 May 24 +* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets --- deciders38olcott
31 May 24 `* Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets14Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal