Re: ZFC solution to incorrect questions: reject them --discourse context --

Liste des GroupesRevenir à s logic 
Sujet : Re: ZFC solution to incorrect questions: reject them --discourse context --
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 19. Mar 2024, 01:54:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <utak8b$e0s4$15@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 3/18/2024 6:35 PM, immibis wrote:
On 19/03/24 00:10, olcott wrote:
On 3/18/2024 11:19 AM, immibis wrote:
On 18/03/24 06:32, olcott wrote:
On 3/17/2024 11:49 PM, immibis wrote:
On 18/03/24 05:40, olcott wrote:
When H1 says YES it is right.
When H says YES it is wrong.
>
Any halt decider is right to say YES on the input (D,D) if and only if D(D) halts.
>
*When H(D,D) says YES D gets stuck at line 05*
>
Can D correctly simulated by H terminate normally?
01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   D(D);
12 }
>
>
>
That would be a different D. The facts that Hah(Dah,Dah) returns TRUE and Dah gets stuck at line 05 do not prove that Han(Dan,Dan) returns TRUE and Dan gets stuck at line 05.
>
*D is always the exact same finite string of machine code bytes*
>
 The argument to a halting decider must be a self-contained program and the input to that program. The same finite string must always have the same behaviour.
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
is self-contained yet still refers to an infinite set of encoding of H
such that the answer Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ is always contradicted.
Every yes/no question: Does Ĥ ⟨Ĥ⟩ halt?
such that YES is a correct answer from one entity
and YES is an incorrect answer from another entity
is an incorrect question when posed to this second entity.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
12 Mar 24 * ZFC solution to incorrect questions: reject them192olcott
12 Mar 24 +* Re: ZFC solution to incorrect questions: reject them188immibis
12 Mar 24 i`* Re: ZFC solution to incorrect questions: reject them --Gödel--187olcott
12 Mar 24 i +* Re: ZFC solution to incorrect questions: reject them --Gödel--162Richard Damon
12 Mar 24 i i`* Re: ZFC solution to incorrect questions: reject them --Gödel--161olcott
12 Mar 24 i i +* Re: ZFC solution to incorrect questions: reject them --Gödel--2immibis
12 Mar 24 i i i`- Re: ZFC solution to incorrect questions: reject them --Gödel--1olcott
12 Mar 24 i i `* Re: ZFC solution to incorrect questions: reject them --Gödel--158Richard Damon
12 Mar 24 i i  `* Re: ZFC solution to incorrect questions: reject them157olcott
13 Mar 24 i i   +* Re: ZFC solution to incorrect questions: reject them2immibis
13 Mar 24 i i   i`- Re: ZFC solution to incorrect questions: reject them1olcott
13 Mar 24 i i   `* Re: ZFC solution to incorrect questions: reject them154Richard Damon
13 Mar 24 i i    `* Re: ZFC solution to incorrect questions: reject them153olcott
13 Mar 24 i i     +* Re: ZFC solution to incorrect questions: reject them140immibis
13 Mar 24 i i     i`* Re: ZFC solution to incorrect questions: reject them139olcott
13 Mar 24 i i     i `* Re: ZFC solution to incorrect questions: reject them138immibis
13 Mar 24 i i     i  `* Re: ZFC solution to incorrect questions: reject them137olcott
13 Mar 24 i i     i   +* Re: ZFC solution to incorrect questions: reject them119immibis
13 Mar 24 i i     i   i`* Re: ZFC solution to incorrect questions: reject them118olcott
13 Mar 24 i i     i   i `* Re: ZFC solution to incorrect questions: reject them117immibis
13 Mar 24 i i     i   i  `* Re: ZFC solution to incorrect questions: reject them116olcott
13 Mar 24 i i     i   i   +* Re: ZFC solution to incorrect questions: reject them112immibis
13 Mar 24 i i     i   i   i`* Re: ZFC solution to incorrect questions: reject them111olcott
13 Mar 24 i i     i   i   i +* Re: ZFC solution to incorrect questions: reject them3immibis
13 Mar 24 i i     i   i   i i`* Re: ZFC solution to incorrect questions: reject them2olcott
13 Mar 24 i i     i   i   i i `- Re: ZFC solution to incorrect questions: reject them1immibis
13 Mar 24 i i     i   i   i `* Re: ZFC solution to incorrect questions: reject them107Richard Damon
13 Mar 24 i i     i   i   i  `* Re: ZFC solution to incorrect questions: reject them106olcott
13 Mar 24 i i     i   i   i   +* Re: ZFC solution to incorrect questions: reject them2Richard Damon
13 Mar 24 i i     i   i   i   i`- Re: ZFC solution to incorrect questions: reject them1olcott
13 Mar 24 i i     i   i   i   `* Re: ZFC solution to incorrect questions: reject them103immibis
13 Mar 24 i i     i   i   i    `* Re: ZFC solution to incorrect questions: reject them102olcott
13 Mar 24 i i     i   i   i     `* Re: ZFC solution to incorrect questions: reject them101Richard Damon
13 Mar 24 i i     i   i   i      `* Re: ZFC solution to incorrect questions: reject them100olcott
13 Mar 24 i i     i   i   i       `* Re: ZFC solution to incorrect questions: reject them99Richard Damon
13 Mar 24 i i     i   i   i        `* Re: ZFC solution to incorrect questions: reject them98olcott
14 Mar 24 i i     i   i   i         `* Re: ZFC solution to incorrect questions: reject them97Richard Damon
14 Mar 24 i i     i   i   i          +* Re: ZFC solution to incorrect questions: reject them95olcott
14 Mar 24 i i     i   i   i          i+- Re: ZFC solution to incorrect questions: reject them1immibis
14 Mar 24 i i     i   i   i          i`* Re: ZFC solution to incorrect questions: reject them93Richard Damon
14 Mar 24 i i     i   i   i          i `* Re: ZFC solution to incorrect questions: reject them92olcott
14 Mar 24 i i     i   i   i          i  `* Re: ZFC solution to incorrect questions: reject them91Richard Damon
14 Mar 24 i i     i   i   i          i   `* Re: ZFC solution to incorrect questions: reject them90olcott
14 Mar 24 i i     i   i   i          i    +* Re: ZFC solution to incorrect questions: reject them85olcott
15 Mar 24 i i     i   i   i          i    i+* Re: ZFC solution to incorrect questions: reject them76olcott
15 Mar 24 i i     i   i   i          i    ii`* Re: ZFC solution to incorrect questions: reject them75olcott
15 Mar 24 i i     i   i   i          i    ii +* Re: ZFC solution to incorrect questions: reject them5immibis
15 Mar 24 i i     i   i   i          i    ii i`* Re: ZFC solution to incorrect questions: reject them4olcott
15 Mar 24 i i     i   i   i          i    ii i `* Re: ZFC solution to incorrect questions: reject them3Mikko
15 Mar 24 i i     i   i   i          i    ii i  `* Re: ZFC solution to incorrect questions: reject them2olcott
15 Mar 24 i i     i   i   i          i    ii i   `- Re: ZFC solution to incorrect questions: reject them1Richard Damon
15 Mar 24 i i     i   i   i          i    ii `* Re: ZFC solution to incorrect questions: reject them69olcott
15 Mar 24 i i     i   i   i          i    ii  +- Re: ZFC solution to incorrect questions: reject them1immibis
15 Mar 24 i i     i   i   i          i    ii  +- Re: ZFC solution to incorrect questions: reject them1olcott
15 Mar 24 i i     i   i   i          i    ii  `* Re: ZFC solution to incorrect questions: reject them66Mikko
15 Mar 24 i i     i   i   i          i    ii   `* Re: ZFC solution to incorrect questions: reject them65olcott
15 Mar 24 i i     i   i   i          i    ii    +* Re: ZFC solution to incorrect questions: reject them62Richard Damon
15 Mar 24 i i     i   i   i          i    ii    i`* Re: ZFC solution to incorrect questions: reject them61olcott
15 Mar 24 i i     i   i   i          i    ii    i +* Re: ZFC solution to incorrect questions: reject them59olcott
15 Mar 24 i i     i   i   i          i    ii    i i+* Re: ZFC solution to incorrect questions: reject them57olcott
15 Mar 24 i i     i   i   i          i    ii    i ii`* Re: ZFC solution to incorrect questions: reject them56olcott
16 Mar 24 i i     i   i   i          i    ii    i ii `* Re: ZFC solution to incorrect questions: reject them55olcott
16 Mar 24 i i     i   i   i          i    ii    i ii  `* Re: ZFC solution to incorrect questions: reject them54olcott
16 Mar 24 i i     i   i   i          i    ii    i ii   `* Re: ZFC solution to incorrect questions: reject them53immibis
16 Mar 24 i i     i   i   i          i    ii    i ii    `* Re: ZFC solution to incorrect questions: reject them52olcott
16 Mar 24 i i     i   i   i          i    ii    i ii     `* Re: ZFC solution to incorrect questions: reject them51immibis
16 Mar 24 i i     i   i   i          i    ii    i ii      `* Re: ZFC solution to incorrect questions: reject them50olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       +* Re: ZFC solution to incorrect questions: reject them46olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i+- Re: ZFC solution to incorrect questions: reject them1immibis
16 Mar 24 i i     i   i   i          i    ii    i ii       i`* Re: ZFC solution to incorrect questions: reject them --discourse context --44olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i +* Re: ZFC solution to incorrect questions: reject them --discourse context --6olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i i`* Re: ZFC solution to incorrect questions: reject them --discourse context --5immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i i +* Re: ZFC solution to incorrect questions: reject them --discourse context --3olcott
17 Mar 24 i i     i   i   i          i    ii    i ii       i i i+- Re: ZFC solution to incorrect questions: reject them --discourse context --1immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i i i`- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
17 Mar 24 i i     i   i   i          i    ii    i ii       i i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
16 Mar 24 i i     i   i   i          i    ii    i ii       i +* Re: ZFC solution to incorrect questions: reject them --discourse context --3immibis
16 Mar 24 i i     i   i   i          i    ii    i ii       i i`* Re: ZFC solution to incorrect questions: reject them --discourse context --2olcott
16 Mar 24 i i     i   i   i          i    ii    i ii       i i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i `* Re: ZFC solution to incorrect questions: reject them --discourse context --34Mikko
17 Mar 24 i i     i   i   i          i    ii    i ii       i  `* Re: ZFC solution to incorrect questions: reject them --discourse context --33olcott
17 Mar 24 i i     i   i   i          i    ii    i ii       i   +* Re: ZFC solution to incorrect questions: reject them --discourse context --6immibis
17 Mar 24 i i     i   i   i          i    ii    i ii       i   i+- Re: ZFC solution to incorrect questions: reject them --discourse context --1Ross Finlayson
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i`* Re: ZFC solution to incorrect questions: reject them --discourse context --4olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i +- Re: ZFC solution to incorrect questions: reject them --discourse context --1immibis
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   +* Re: ZFC solution to incorrect questions: reject them --discourse context --25olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i+* Re: ZFC solution to incorrect questions: reject them --discourse context --23immibis
18 Mar 24 i i     i   i   i          i    ii    i ii       i   ii+* Re: ZFC solution to incorrect questions: reject them --discourse context --15olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iii+* Re: ZFC solution to incorrect questions: reject them --discourse context --12immibis
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii`* Re: ZFC solution to incorrect questions: reject them --discourse context --11olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii `* Re: ZFC solution to incorrect questions: reject them --discourse context --8immibis
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii  `* Re: ZFC solution to incorrect questions: reject them --discourse context --7olcott
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   +* Re: ZFC solution to incorrect questions: reject them --discourse context --4immibis
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   i`* Re: ZFC solution to incorrect questions: reject them --discourse context --3olcott
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   i +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   i `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   +- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
19 Mar 24 i i     i   i   i          i    ii    i ii       i   iiii   `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iii+- Re: ZFC solution to incorrect questions: reject them --discourse context --1Richard Damon
18 Mar 24 i i     i   i   i          i    ii    i ii       i   iii`- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   ii`* Re: ZFC solution to incorrect questions: reject them --discourse context --7olcott
18 Mar 24 i i     i   i   i          i    ii    i ii       i   i`- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
18 Mar 24 i i     i   i   i          i    ii    i ii       i   `- Re: ZFC solution to incorrect questions: reject them --discourse context --1Mikko
16 Mar 24 i i     i   i   i          i    ii    i ii       `* Re: ZFC solution to incorrect questions: reject them3immibis
16 Mar 24 i i     i   i   i          i    ii    i i`- Re: ZFC solution to incorrect questions: reject them1immibis
16 Mar 24 i i     i   i   i          i    ii    i `- Re: ZFC solution to incorrect questions: reject them1immibis
17 Mar 24 i i     i   i   i          i    ii    `* Re: ZFC solution to incorrect questions: reject them2Mikko
15 Mar 24 i i     i   i   i          i    i`* Re: ZFC solution to incorrect questions: reject them8immibis
15 Mar 24 i i     i   i   i          i    `* Re: ZFC solution to incorrect questions: reject them4immibis
14 Mar 24 i i     i   i   i          `- Re: ZFC solution to incorrect questions: reject them1olcott
13 Mar 24 i i     i   i   `* Re: ZFC solution to incorrect questions: reject them3olcott
13 Mar 24 i i     i   `* Re: ZFC solution to incorrect questions: reject them17Richard Damon
13 Mar 24 i i     `* Re: ZFC solution to incorrect questions: reject them12Richard Damon
12 Mar 24 i `* Re: ZFC solution to incorrect questions: reject them --Gödel--24immibis
12 Mar 24 `* Re: ZFC solution to incorrect questions: reject them3Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal