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

Liste des GroupesRevenir à 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, 19:54:20
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v18h4c$5asr$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
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