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 : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory sci.logic
Suivi-à : comp.theory
Date : 04. May 2024, 12:56:54
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <v1549m$2783$1@news.muc.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
[ Followup-To: set ]

In comp.theory olcott <polcott333@gmail.com> wrote:
On 5/3/2024 4:57 PM, Richard Damon wrote:
On 5/3/24 7:38 AM, olcott wrote:

[ .... ]

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

Proven incorrect and you have decline to try to refute it, thus
conceding it to be incorrect, and your restatement just a lie.

"proven to be incorrect" by nonsense gibberish
That "D simulated by H" can mean "D NEVER simulated by H"

Also you fail to understand that when the executed H(D,D)
aborts its simulated input that all of the nested simulations
(if any) immediately totally stop running. No simulated H ever
returns any value to any simulated D.

That is only ordinary software engineering with zero subjective
leeway of interpretation. It is just like I yank the power cord
from the wall and you don't understand that the program immediately
stops running.

You are doing better than Alan on this though he doesn't
have a single clue about what execution traces are or how
they work.

You should read "How to make friends and influence people" by Dale
Carnegie.  You may not care about the former, but you sure are trying the
latter.  Hint: telling nasty lies about people is not effective.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).


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