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 : 05. May 2024, 23:13:50
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v18sqe$5asr$11@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 4:34 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 quite a few times now.
They showed up after my message, and long after I made that post.

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