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

Liste des GroupesRevenir à c theory 
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, 21:47:10
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v18nnu$5asq$6@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
Since you haven't, I guess you are just admitting you don't have a response to my 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 V2277olcott
18 Apr 24 +* Re: Undecidability based on epistemological antinomies V2220Richard Damon
18 Apr 24 i`* Re: Undecidability based on epistemological antinomies V2219olcott
19 Apr 24 i `* Re: Undecidability based on epistemological antinomies V2218Richard Damon
19 Apr 24 i  `* Re: Undecidability based on epistemological antinomies V2217olcott
19 Apr 24 i   `* Re: Undecidability based on epistemological antinomies V2216Richard Damon
19 Apr 24 i    +* Re: Undecidability based on epistemological antinomies V227olcott
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 V2 --Mendelson--21olcott
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--19olcott
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--16Mikko
22 Apr 24 i    i   +* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4olcott
23 Apr 24 i    i   i`* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3Richard Damon
23 Apr 24 i    i   i `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--2olcott
24 Apr 24 i    i   i  `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
23 Apr 24 i    i   `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--11olcott
26 Apr 24 i    i    `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--10olcott
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--1olcott
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--186olcott
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--182olcott
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--178olcott
22 Apr 24 i       `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--177olcott
24 Apr 24 i        `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--176olcott
25 Apr 24 i         +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--171Richard Damon
25 Apr 24 i         i`* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--170olcott
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)--159olcott
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)--139olcott
26 Apr 24 i         i  i`* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--138Richard Damon
26 Apr 24 i         i  i `* D simulated by H never halts no matter what H does137olcott
26 Apr 24 i         i  i  +- Re: D simulated by H never halts no matter what H does1Richard Damon
27 Apr 24 i         i  i  `* Re: D simulated by H never halts no matter what H does135olcott
27 Apr 24 i         i  i   `* Re: D simulated by H never halts no matter what H does134Richard Damon
27 Apr 24 i         i  i    `* Re: D simulated by H never halts no matter what H does133olcott
27 Apr 24 i         i  i     `* Re: D simulated by H never halts no matter what H does132Richard Damon
27 Apr 24 i         i  i      `* Re: D simulated by H never halts no matter what H does131olcott
27 Apr 24 i         i  i       `* Re: D simulated by H never halts no matter what H does130Richard Damon
27 Apr 24 i         i  i        +- Re: D simulated by H never halts no matter what H does1olcott
27 Apr 24 i         i  i        +- Re: D simulated by H never halts no matter what H does1olcott
27 Apr 24 i         i  i        `* Re: D simulated by H never halts no matter what H does V3127olcott
27 Apr 24 i         i  i         `* Re: D simulated by H never halts no matter what H does V3126Richard Damon
27 Apr 24 i         i  i          `* Re: D simulated by H never halts no matter what H does V3125olcott
27 Apr 24 i         i  i           `* Re: D simulated by H never halts no matter what H does V3124Richard Damon
27 Apr 24 i         i  i            `* Re: D simulated by H never halts no matter what H does V3123olcott
27 Apr 24 i         i  i             +* Re: D simulated by H never halts no matter what H does V319Richard Damon
27 Apr 24 i         i  i             i`* Re: D simulated by H never halts no matter what H does V318olcott
27 Apr 24 i         i  i             i `* Re: D simulated by H never halts no matter what H does V317Richard Damon
27 Apr 24 i         i  i             i  `* Re: D simulated by H never halts no matter what H does V316olcott
27 Apr 24 i         i  i             i   `* Re: D simulated by H never halts no matter what H does V315Richard Damon
27 Apr 24 i         i  i             i    `* Re: D simulated by H never halts no matter what H does V314olcott
27 Apr 24 i         i  i             i     `* Re: D simulated by H never halts no matter what H does V313Richard Damon
27 Apr 24 i         i  i             i      `* Re: D simulated by H never halts no matter what H does V312olcott
27 Apr 24 i         i  i             i       `* Re: D simulated by H never halts no matter what H does V311Richard Damon
28 Apr 24 i         i  i             i        `* Re: D simulated by H never halts no matter what H does V310olcott
28 Apr 24 i         i  i             i         `* Re: D simulated by H never halts no matter what H does V39Richard Damon
28 Apr 24 i         i  i             i          `* Re: D simulated by H never halts no matter what H does V38olcott
28 Apr 24 i         i  i             i           `* Re: D simulated by H never halts no matter what H does V37Richard Damon
28 Apr 24 i         i  i             i            `* Re: D simulated by H never halts no matter what H does V36olcott
28 Apr 24 i         i  i             i             `* Re: D simulated by H never halts no matter what H does V35Richard Damon
28 Apr 24 i         i  i             i              `* Re: D simulated by H never halts no matter what H does V34olcott
28 Apr 24 i         i  i             i               `* Re: D simulated by H never halts no matter what H does V33Richard Damon
28 Apr 24 i         i  i             i                `* Re: D simulated by H never halts no matter what H does V32olcott
28 Apr 24 i         i  i             i                 `- Re: D simulated by H never halts no matter what H does V31Richard Damon
28 Apr 24 i         i  i             `* Re: D simulated by H never halts no matter what H does V3103olcott
28 Apr 24 i         i  i              +- Re: D simulated by H never halts no matter what H does V31Richard Damon
29 Apr 24 i         i  i              `* Re: D simulated by H never halts no matter what H does V3101olcott
29 Apr 24 i         i  i               +* Re: D simulated by H never halts no matter what H does V399Mikko
29 Apr 24 i         i  i               i`* Re: D simulated by H never halts no matter what H does V398olcott
30 Apr 24 i         i  i               `- Re: D simulated by H never halts no matter what H does V31Richard Damon
28 Apr 24 i         i  `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--18olcott
25 Apr 24 i         `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--4olcott
18 Apr 24 +* Re: Undecidability based on epistemological antinomies V254olcott
18 Apr 24 `* Re: Undecidability based on epistemological antinomies V22olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal