Re: Every D(D) simulated by H presents non-halting behavior to H ###

Liste des GroupesRevenir à s logic 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theory sci.logic
Date : 01. Jun 2024, 19:58:51
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v3fngr$2o13h$1@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
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Thu, 30 May 2024 08:16:03 -0500 schrieb olcott:
On 5/30/2024 5:14 AM, Fred. Zwarts wrote:
Op 28.mei.2024 om 17:10 schreef olcott:
On 5/28/2024 4:17 AM, Fred. Zwarts wrote:
Op 27.mei.2024 om 16:39 schreef olcott:
On 5/27/2024 9:10 AM, Richard Damon wrote:
On 5/27/24 9:52 AM, olcott wrote:
On 5/27/2024 3:11 AM, Mikko wrote:
On 2024-05-26 16:50:21 +0000, olcott said:
>
When H correctly simulated by pure simulator H cannot possibly reach
its own simulated final state and halt in an infinite number
of simulated steps we can conclude that less than an infinite number of
steps are also not enough steps for H to halt.
 
This tells us that when 1 to ∞ steps of H are correctly simulated by
H that H correctly simulated by H never halts under any circumstances
what-so-ever
*CONCLUSIVELY PROVING THAT H CORRECTLY SIMULATED BY H DOES NOT HALT*
 
By this proof, we see that this H contradicts the requirement that it
should halt.
We cannot continue with this before we have agreement about it.
Well played:
You should put my words in quotes otherwise people will be thinking
that you agree with me word-for-word.

--
joes

Date Sujet#  Auteur
5 May 24 * Every D(D) simulated by H presents non-halting behavior to H409olcott
5 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H60Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
5 May 24 ii`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
5 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H39olcott
5 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H38Richard Damon
5 May 24 ii +* Re: Every D(D) simulated by H presents non-halting behavior to H14olcott
5 May 24 ii i`* Re: Every D(D) simulated by H presents non-halting behavior to H13Richard Damon
6 May 24 ii i `* Re: Every D(D) simulated by H presents non-halting behavior to H12olcott
6 May 24 ii i  `* Re: Every D(D) simulated by H presents non-halting behavior to H11Richard Damon
6 May 24 ii i   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii i   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii i   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii i    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii i     `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii i      `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii i       `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii i        `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H23olcott
6 May 24 ii  +- Re: Every D(D) simulated by H presents non-halting behavior to H --- typo1olcott
6 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H21Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H10olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H9Richard Damon
6 May 24 ii   i +* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i i`- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii   i  `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii   i   `* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i    `* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i     `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
7 May 24 ii   i      `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   +* Re: Every D(D) simulated by H presents non-halting behavior to H4olcott
6 May 24 ii   i`* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
6 May 24 ii   i `* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 ii   i  `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
6 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H6olcott
6 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H5Richard Damon
6 May 24 ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H ---4olcott
6 May 24 ii      `* Re: Every D(D) simulated by H presents non-halting behavior to H ---3Richard Damon
6 May 24 ii       `* Re: Every D(D) simulated by H presents non-halting behavior to H ---2olcott
7 May 24 ii        `- Re: Every D(D) simulated by H presents non-halting behavior to H ---1Richard Damon
5 May 24 i`* Re: Every D(D) simulated by H presents non-halting behavior to H18olcott
5 May 24 i +* Re: Every D(D) simulated by H presents non-halting behavior to H3Richard Damon
5 May 24 i i`* Re: Every D(D) simulated by H presents non-halting behavior to H2olcott
6 May 24 i i `- Re: Every D(D) simulated by H presents non-halting behavior to H1Richard Damon
7 May 24 i `* Re: Every D(D) simulated by H presents non-halting behavior to H14immibis
7 May 24 i  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++13olcott
7 May 24 i   +* Re: Every D(D) simulated by H presents non-halting behavior to H +++10Richard Damon
7 May 24 i   i+* Re: Every D(D) simulated by H presents non-halting behavior to H +++8olcott
7 May 24 i   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H +++7Richard Damon
7 May 24 i   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H +++6olcott
7 May 24 i   ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H +++5Richard Damon
7 May 24 i   ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++4olcott
7 May 24 i   ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H +++3Richard Damon
7 May 24 i   ii     `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2olcott
8 May 24 i   ii      `- Re: Every D(D) simulated by H presents non-halting behavior to H +++1Richard Damon
9 May 24 i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H +++1immibis
9 May 24 i   `* Re: Every D(D) simulated by H presents non-halting behavior to H +++2immibis
9 May 24 i    `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1olcott
6 May 24 +* Re: Every D(D) simulated by H presents non-halting behavior to H347olcott
7 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H47Richard Damon
7 May 24 ii`* Re: Every D(D) simulated by H presents non-halting behavior to H ===46olcott
7 May 24 ii `* Re: Every D(D) simulated by H presents non-halting behavior to H ===45Richard Damon
7 May 24 ii  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===44olcott
7 May 24 ii   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===43Richard Damon
7 May 24 ii    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===42olcott
7 May 24 ii     +* Re: Every D(D) simulated by H presents non-halting behavior to H ===40Richard Damon
7 May 24 ii     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===39olcott
7 May 24 ii     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===38Richard Damon
7 May 24 ii     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ===6olcott
8 May 24 ii     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===5Richard Damon
8 May 24 ii     i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===4olcott
8 May 24 ii     i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===3Richard Damon
8 May 24 ii     i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 ii     i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1Richard Damon
7 May 24 ii     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===31olcott
8 May 24 ii     i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ===30Richard Damon
8 May 24 ii     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===25olcott
8 May 24 ii     i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ===24Richard Damon
8 May 24 ii     i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ===23olcott
8 May 24 ii     i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ===22Richard Damon
8 May 24 ii     i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@21olcott
8 May 24 ii     i    i    +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@11olcott
8 May 24 ii     i    i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H @@@10Richard Damon
8 May 24 ii     i    i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9olcott
9 May 24 ii     i    i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8Richard Damon
9 May 24 ii     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 ii     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2olcott
9 May 24 ii     i    i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i    i   `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@3olcott
9 May 24 ii     i    i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2Richard Damon
9 May 24 ii     i    i    i     `- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1joes
8 May 24 ii     i    i    `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@9Richard Damon
8 May 24 ii     i    i     `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@8olcott
8 May 24 ii     i    i      +* Re: Every D(D) simulated by H presents non-halting behavior to H @@@2wij
9 May 24 ii     i    i      i`- Re: Every D(D) simulated by H presents non-halting behavior to H @@@1Richard Damon
9 May 24 ii     i    i      `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@5Richard Damon
9 May 24 ii     i    i       `* Re: Every D(D) simulated by H presents non-halting behavior to H @@@4olcott
8 May 24 ii     i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
8 May 24 ii     i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ===2olcott
9 May 24 ii     `- Re: Every D(D) simulated by H presents non-halting behavior to H ===1immibis
7 May 24 i+* Re: Every D(D) simulated by H presents non-halting behavior to H298olcott
7 May 24 i`- Re: Every D(D) simulated by H presents non-halting behavior to H1olcott
7 May 24 `- Re: Every D(D) simulated by H presents non-halting behavior to H1immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal