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.logicDate : 06. May 2024, 00:57:34
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v192sv$5asq$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 34
User-Agent : Mozilla Thunderbird
On 5/5/24 5:09 PM, olcott wrote:
On 5/5/2024 2:47 PM, Richard Damon wrote:
Since you haven't, I guess you are just admitting you don't have a response to my post.
>
*I have responded three times to that post*
*I did this before you said that I never responded*
On 5/5/2024 2:40 PM, olcott wrote:
> On 5/5/2024 12:22 PM, Richard Damon wrote:
On 5/5/2024 2:10 PM, olcott wrote:
> On 5/5/2024 12:22 PM, Richard Damon wrote:
On 5/5/2024 1:43 PM, olcott wrote:
> On 5/5/2024 12:22 PM, Richard Damon wrote:
Your posts handn't reached my computer when I looked.
And, none of them addressed the issues, so still no response.
Why do you keep on saying that NO H can simulate past the call to H(D,D) when I have shown two methods that allow that to happen.
Your repeating the claim just shows you are a liar that doesn't actually care about the truth.
On 5/5/24 2:33 PM, olcott wrote:
I am only responding to my new post
[Every D(D) simulated by H presents non-halting behavior to H]
>
On 5/5/2024 12:54 PM, Richard Damon wrote:
On 5/5/24 1:21 PM, olcott wrote:
On 5/5/2024 11:41 AM, Richard Damon wrote:
On 5/5/24 10:30 AM, olcott wrote:
On 5/5/2024 5:36 AM, Fred. Zwarts wrote:
>
Those N steps were simulated correctly, but the fact that it stops after N steps make it an incorrect simulation.
>
In other words a decider is wrong unless it never
stops simulating an non-halting input?
>
No, the decider is wrong if it gives the wrong answer.
>
Now, if to determine the correct answer requires simulating more, then it needs to simulate more.
>
If to determine the correct answer requires simulating to the end, it needs to simulate to the end, even if that takes forever.
>
If it needs to simulate forever, but also needs to answer in finite time, then the method has just been shown not to meet the requirements.
>
>
Bullshit. Try and show any detail that it incorrect
with the conclusion of my new post:
[Every D(D) simulated by H presents non-halting behavior to H]
>
I did and you ignored it turning you into a LIAR by restating it.
>
You even elsewhere said you were going to refute it, but never did.
>
All you are doing is showing that you don't care about truth, but just want to push your lies.
>
>
>
>
Date | Sujet | # | | Auteur |
18 Apr 24 | Undecidability based on epistemological antinomies V2 | 277 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 220 | | Richard Damon |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 219 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 218 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 217 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 216 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 27 | | 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 --Mendelson-- | 21 | | 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-- | 19 | | 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-- | 16 | | 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 | | Richard Damon |
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 | | Richard Damon |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 11 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | 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-- | 1 | | olcott |
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-- | 186 | | 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-- | 182 | | 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-- | 178 | | olcott |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 177 | | olcott |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 176 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 171 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 170 | | 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)-- | 159 | | 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)-- | 139 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 138 | | Richard Damon |
26 Apr 24 | D simulated by H never halts no matter what H does | 137 | | olcott |
26 Apr 24 | Re: D simulated by H never halts no matter what H does | 1 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 135 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 134 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 133 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 132 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 131 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 130 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 1 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 1 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 127 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 126 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 125 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 124 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 123 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 19 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 18 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 17 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 16 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 15 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 14 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 13 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 12 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 11 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 10 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 9 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 8 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 7 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 6 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 5 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 4 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 3 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 2 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 1 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 103 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 1 | | Richard Damon |
29 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 101 | | olcott |
29 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 99 | | Mikko |
29 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 98 | | olcott |
30 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 1 | | Richard Damon |
28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 18 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 4 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 54 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |