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.logicSuivi-à : comp.theoryDate : 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 V2 | 323 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 262 | | Richard Damon |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 261 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 260 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 259 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 258 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 56 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 5 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 4 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 3 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 50 | | Mikko |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 49 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 47 | | Mikko |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 46 | | olcott |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 43 | | Mikko |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Mikko |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | olcott |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | Mikko |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | olcott |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | Richard Damon |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | olcott |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 32 | | olcott |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 31 | | Mikko |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 30 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 29 | | Mikko |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 28 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 27 | | Mikko |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 26 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 7 | | Ross Finlayson |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 6 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | Ross Finlayson |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Ross Finlayson |
27 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 17 | | Mikko |
27 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 16 | | olcott |
28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 15 | | Mikko |
28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 14 | | olcott |
29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 13 | | Mikko |
29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 12 | | olcott |
29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 11 | | Mikko |
29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
30 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 9 | | Mikko |
30 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 8 | | olcott |
1 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 7 | | Mikko |
1 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 6 | | olcott |
2 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Mikko |
2 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | olcott |
3 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | Mikko |
3 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | olcott |
4 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 199 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 195 | | Mikko |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 194 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 190 | | Mikko |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 189 | | olcott |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 188 | | Mikko |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 187 | | olcott |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 186 | | Mikko |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | olcott |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 184 | | olcott |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 183 | | Mikko |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 182 | | olcott |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 181 | | Mikko |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 180 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 149 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 148 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 10 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 9 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 8 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 7 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 6 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Ross Finlayson |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 137 | | Mikko |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 136 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 134 | | Mikko |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 26 | | olcott |
26 Apr 24 | D simulated by H never halts no matter what H does | 107 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 30 | | Mikko |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 54 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 6 | | olcott |