Re: D simulated by H never halts no matter what H does V3

Liste des GroupesRevenir à s logic 
Sujet : Re: D simulated by H never halts no matter what H does V3
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic
Date : 28. Apr 2024, 00:19:05
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v0jtkp$2djoe$7@i2pn2.org>
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 4/27/24 6:02 PM, olcott wrote:
On 4/27/2024 4:45 PM, Richard Damon wrote:
On 4/27/24 5:36 PM, olcott wrote:
On 4/27/2024 4:24 PM, Richard Damon wrote:
On 4/27/24 3:48 PM, olcott wrote:
Simulating termination analyzer H determines whether or not
D(D) simulated by H can possibly reach its final state at its
own line 06 and halt whether or not H aborts its simulation.
>
We can resolve exactly what I mean by this as an aspect of
staying on this one point. We cannot move on to the slightest
trace of any nuance of any other point until AFTER we have
100% complete mutual agreement on this point.
>
(a) It is a verified fact that D(D) simulated by H cannot
possibly reach past line 03 of D(D) simulated by H whether H
aborts its simulation or not.
>
When we have 100% perfect mutual agreement on that point
then we can move on to the next aspect of the point of the
paragraph.
>
>
The problem is you don't seem to have a proper definition for a "program", as the input seems to change behavior as you analyize different options for what "different" H's might do.
>
It seems that neither your D or your H actual meet the normal definition of what a "Program" is.
>
>
I never even use the word "program"
*H and D are 100% completely specified right here*
https://github.com/plolcott/x86utm/blob/master/Halt7.c
>
>
>
So, what is the defined "class" of the input to a Termination Analyzer.
>
 I am only talking about H and D. You always "read things in"
to what I say that I never said.
So, what are "H" and "D", are they "Programs" per the standard definitions, or something else that you are stipulating?
You don't seem to understand the problems with how you are treating them, because you just fail to understand the meaning of the words.

 
The input to a Halt Decider is (in the specific case, where the decider is itself a Turing Machine) a description of a Turing Machine and its input tape, or in the more general case, the description of a Program and its input.
>
If your "Replacement" for a Halt Decider (your Termination Analyzer) doesn't take the same class of thing as an input, then it isn't much of a replacement, and your whole scheme falls apart.
 

Date Sujet#  Auteur
18 Apr 24 * Undecidability based on epistemological antinomies V2323olcott
18 Apr 24 +* Re: Undecidability based on epistemological antinomies V2262Richard Damon
18 Apr 24 i`* Re: Undecidability based on epistemological antinomies V2261olcott
19 Apr 24 i `* Re: Undecidability based on epistemological antinomies V2260Richard Damon
19 Apr 24 i  `* Re: Undecidability based on epistemological antinomies V2259olcott
19 Apr 24 i   `* Re: Undecidability based on epistemological antinomies V2258Richard Damon
19 Apr 24 i    +* Re: Undecidability based on epistemological antinomies V256olcott
19 Apr 24 i    i+* Re: Undecidability based on epistemological antinomies V25Richard Damon
19 Apr 24 i    ii`* Re: Undecidability based on epistemological antinomies V24olcott
19 Apr 24 i    ii `* Re: Undecidability based on epistemological antinomies V23Richard Damon
19 Apr 24 i    ii  `* Re: Undecidability based on epistemological antinomies V22olcott
20 Apr 24 i    ii   `- Re: Undecidability based on epistemological antinomies V21Richard Damon
20 Apr 24 i    i`* Re: Undecidability based on epistemological antinomies V250Mikko
20 Apr 24 i    i `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--49olcott
20 Apr 24 i    i  +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
21 Apr 24 i    i  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--47Mikko
21 Apr 24 i    i   `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--46olcott
21 Apr 24 i    i    +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
21 Apr 24 i    i    +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
22 Apr 24 i    i    `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--43Mikko
22 Apr 24 i    i     +* Re: Undecidability based on epistemological antinomies V2 --Mendelson--10olcott
22 Apr 24 i    i     i+* Re: Undecidability based on epistemological antinomies V2 --Mendelson--5Mikko
22 Apr 24 i    i     ii`* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4olcott
23 Apr 24 i    i     ii `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3Mikko
23 Apr 24 i    i     ii  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--2olcott
24 Apr 24 i    i     ii   `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Mikko
23 Apr 24 i    i     i`* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4Richard Damon
23 Apr 24 i    i     i `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3olcott
24 Apr 24 i    i     i  +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
24 Apr 24 i    i     i  `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Mikko
23 Apr 24 i    i     `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--32olcott
24 Apr 24 i    i      `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--31Mikko
24 Apr 24 i    i       `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--30olcott
25 Apr 24 i    i        `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--29Mikko
25 Apr 24 i    i         `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--28olcott
26 Apr 24 i    i          `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--27Mikko
26 Apr 24 i    i           `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--26olcott
26 Apr 24 i    i            +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
26 Apr 24 i    i            +* Re: Undecidability based on epistemological antinomies V2 --Mendelson--7Ross Finlayson
26 Apr 24 i    i            i`* Re: Undecidability based on epistemological antinomies V2 --Mendelson--6olcott
26 Apr 24 i    i            i `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--5Richard Damon
26 Apr 24 i    i            i  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4Ross Finlayson
26 Apr 24 i    i            i   `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3olcott
26 Apr 24 i    i            i    `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--2Richard Damon
26 Apr 24 i    i            i     `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Ross Finlayson
27 Apr 24 i    i            `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--17Mikko
27 Apr 24 i    i             `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--16olcott
28 Apr 24 i    i              `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--15Mikko
28 Apr 24 i    i               `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--14olcott
29 Apr 24 i    i                `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--13Mikko
29 Apr 24 i    i                 `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--12olcott
29 Apr 24 i    i                  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--11Mikko
29 Apr 24 i    i                   `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--10olcott
30 Apr 24 i    i                    `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--9Mikko
30 Apr 24 i    i                     `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--8olcott
1 May 24 i    i                      `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--7Mikko
1 May 24 i    i                       `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--6olcott
2 May 24 i    i                        `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--5Mikko
2 May 24 i    i                         `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4olcott
3 May 24 i    i                          `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3Mikko
3 May 24 i    i                           `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--2olcott
4 May 24 i    i                            `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Mikko
19 Apr 24 i    +* Re: Undecidability based on epistemological antinomies V22olcott
20 Apr 24 i    i`- Re: Undecidability based on epistemological antinomies V21Richard Damon
19 Apr 24 i    `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--199olcott
20 Apr 24 i     +* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--3Richard Damon
20 Apr 24 i     i`* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--2olcott
20 Apr 24 i     i `- Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--1Richard Damon
20 Apr 24 i     `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--195Mikko
20 Apr 24 i      `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--194olcott
20 Apr 24 i       +* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--3Richard Damon
21 Apr 24 i       i`* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--2olcott
21 Apr 24 i       i `- Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--1Richard Damon
21 Apr 24 i       `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--190Mikko
21 Apr 24 i        `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--189olcott
22 Apr 24 i         `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--188Mikko
22 Apr 24 i          `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--187olcott
22 Apr 24 i           `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--186Mikko
22 Apr 24 i            +- Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--1olcott
22 Apr 24 i            `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--184olcott
23 Apr 24 i             `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--183Mikko
23 Apr 24 i              `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--182olcott
24 Apr 24 i               `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--181Mikko
24 Apr 24 i                `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--180olcott
25 Apr 24 i                 +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--149Richard Damon
25 Apr 24 i                 i`* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--148olcott
25 Apr 24 i                 i +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--10Richard Damon
25 Apr 24 i                 i i`* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--9olcott
25 Apr 24 i                 i i `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--8Richard Damon
25 Apr 24 i                 i i  `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--7olcott
25 Apr 24 i                 i i   `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--6Richard Damon
25 Apr 24 i                 i i    +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--2olcott
25 Apr 24 i                 i i    i`- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Richard Damon
25 Apr 24 i                 i i    +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--2olcott
25 Apr 24 i                 i i    i`- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Richard Damon
25 Apr 24 i                 i i    `- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Ross Finlayson
25 Apr 24 i                 i `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--137Mikko
25 Apr 24 i                 i  `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--136olcott
26 Apr 24 i                 i   +- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Richard Damon
26 Apr 24 i                 i   `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--134Mikko
26 Apr 24 i                 i    +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--26olcott
26 Apr 24 i                 i    `* D simulated by H never halts no matter what H does107olcott
25 Apr 24 i                 `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--30Mikko
18 Apr 24 +* Re: Undecidability based on epistemological antinomies V254olcott
18 Apr 24 `* Re: Undecidability based on epistemological antinomies V26olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal