Re: D correctly simulated by H proved for THREE YEARS --- specification

Liste des GroupesRevenir à c theory 
Sujet : Re: D correctly simulated by H proved for THREE YEARS --- specification
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theory alt.crackpot
Date : 13. Jun 2024, 18:09:27
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v4f947$3smqv$2@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Thu, 13 Jun 2024 08:10:21 -0500 schrieb olcott:
On 6/13/2024 3:49 AM, joes wrote:
Am Wed, 12 Jun 2024 18:25:14 -0500 schrieb olcott:
On 6/12/2024 6:03 PM, Richard Damon wrote:
On 6/12/24 12:57 PM, olcott wrote:
On 6/12/2024 6:33 AM, Richard Damon wrote:
On 6/11/24 11:21 PM, olcott wrote:
On 6/11/2024 9:30 PM, Richard Damon wrote:
On 6/11/24 7:23 PM, olcott wrote:
On 6/11/2024 5:47 PM, Richard Damon wrote:
On 6/11/24 1:12 PM, olcott wrote:
On 6/11/2024 6:47 AM, Richard Damon wrote:
On 6/11/24 12:31 AM, olcott wrote:
On 6/10/2024 10:32 PM, Richard Damon wrote:
On 6/10/24 10:06 PM, olcott wrote:
On 6/10/2024 6:16 AM, Richard Damon wrote:
On 6/9/24 11:54 PM, olcott wrote:

*H DOES NOT simply guess what you think it should do and do that*
It has a *specification* it must fulfill.
The specification is only in your own mind and cannot be encoded as a
program/input pair.
Right, because halting is undecidable. The specification is: return the
halting status of every machine, including D, which contradicts its own
output.

--
joes

Date Sujet#  Auteur
10 Jun 24 * Re: D correctly simulated by H proved for THREE YEARS ---373olcott
10 Jun 24 +* Re: D correctly simulated by H proved for THREE YEARS ---10joes
10 Jun 24 i+* Re: D correctly simulated by H proved for THREE YEARS ---4Mikko
10 Jun 24 ii`* Re: D correctly simulated by H proved for THREE YEARS ---3olcott
11 Jun 24 ii `* Re: D correctly simulated by H proved for THREE YEARS ---2Mikko
11 Jun 24 ii  `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1olcott
10 Jun 24 i`* Re: D correctly simulated by H proved for THREE YEARS ---5olcott
10 Jun 24 i `* Re: D correctly simulated by H proved for THREE YEARS ---4joes
10 Jun 24 i  `* Re: D correctly simulated by H proved for THREE YEARS ---3olcott
10 Jun 24 i   `* Re: D simulated by H unproved for THREE YEARS ---2joes
10 Jun 24 i    `- Re: D simulated by H unproved for THREE YEARS ---1olcott
10 Jun 24 `* Re: D correctly simulated by H proved for THREE YEARS ---362Richard Damon
11 Jun 24  `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error361olcott
11 Jun 24   `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error360Richard Damon
11 Jun 24    `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error359olcott
11 Jun 24     `* Re: D correctly simulated by H proved for THREE YEARS --- Richard admits his error358Richard Damon
11 Jun 24      `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten357olcott
12 Jun 24       +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten355Richard Damon
12 Jun 24       i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten354olcott
12 Jun 24       i +* Re: D correctly simulated by H proved for THREE YEARS --- rewritten302Python
12 Jun 24       i i`* Re: D correctly simulated by H proved for THREE YEARS --- rewritten301olcott
12 Jun 24       i i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten300Richard Damon
12 Jun 24       i i  `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten299olcott
12 Jun 24       i i   `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten298Richard Damon
12 Jun 24       i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules297olcott
13 Jun 24       i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules296Richard Damon
13 Jun 24       i i      `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules295olcott
13 Jun 24       i i       +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules288Richard Damon
13 Jun 24       i i       i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules287olcott
13 Jun 24       i i       i +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules285Richard Damon
13 Jun 24       i i       i i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules284olcott
13 Jun 24       i i       i i `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules283Richard Damon
13 Jun 24       i i       i i  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules282olcott
13 Jun 24       i i       i i   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules281Richard Damon
13 Jun 24       i i       i i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules280olcott
13 Jun 24       i i       i i     +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules274Richard Damon
13 Jun 24       i i       i i     i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules273olcott
13 Jun 24       i i       i i     i `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules272Richard Damon
13 Jun 24       i i       i i     i  `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules271olcott
13 Jun 24       i i       i i     i   `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules270Richard Damon
13 Jun 24       i i       i i     i    `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules269olcott
13 Jun 24       i i       i i     i     +- Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules1joes
14 Jun 24       i i       i i     i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules267Richard Damon
14 Jun 24       i i       i i     i      +* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules236olcott
14 Jun 24       i i       i i     i      i`* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules235Richard Damon
14 Jun 24       i i       i i     i      i `* H(D,D) cannot even be asked about the behavior of D(D)234olcott
14 Jun 24       i i       i i     i      i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)231Richard Damon
14 Jun 24       i i       i i     i      i  i`* Re: H(D,D) cannot even be asked about the behavior of D(D)230olcott
14 Jun 24       i i       i i     i      i  i `* Re: H(D,D) cannot even be asked about the behavior of D(D)229Richard Damon
14 Jun 24       i i       i i     i      i  i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)228olcott
14 Jun 24       i i       i i     i      i  i   +* Re: H(D,D) cannot even be asked about the behavior of D(D)169joes
14 Jun 24       i i       i i     i      i  i   i`* Re: H(D,D) cannot even be asked about the behavior of D(D)168olcott
15 Jun 24       i i       i i     i      i  i   i +- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24       i i       i i     i      i  i   i `* Re: H(D,D) cannot even be asked about the behavior of D(D)166joes
15 Jun 24       i i       i i     i      i  i   i  +* Re: H(D,D) cannot even be asked about the behavior of D(D)2olcott
15 Jun 24       i i       i i     i      i  i   i  i`- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
15 Jun 24       i i       i i     i      i  i   i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)163Mikko
15 Jun 24       i i       i i     i      i  i   i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)162olcott
15 Jun 24       i i       i i     i      i  i   i    +- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
16 Jun 24       i i       i i     i      i  i   i    `* Re: H(D,D) cannot even be asked about the behavior of D(D)160Mikko
16 Jun 24       i i       i i     i      i  i   i     `* Re: H(D,D) cannot even be asked about the behavior of D(D)159olcott
17 Jun 24       i i       i i     i      i  i   i      `* Re: H(D,D) cannot even be asked about the behavior of D(D)158Mikko
17 Jun 24       i i       i i     i      i  i   i       `* Re: H(D,D) cannot even be asked about the behavior of D(D)157olcott
18 Jun 24       i i       i i     i      i  i   i        `* Re: H(D,D) cannot even be asked about the behavior of D(D)156Mikko
18 Jun 24       i i       i i     i      i  i   i         `* Re: H(D,D) cannot even be asked about the behavior of D(D)155olcott
18 Jun 24       i i       i i     i      i  i   i          `* Re: H(D,D) cannot even be asked about the behavior of D(D)154Mikko
18 Jun 24       i i       i i     i      i  i   i           `* Re: H(D,D) cannot even be asked about the behavior of D(D)153olcott
18 Jun 24       i i       i i     i      i  i   i            `* Re: H(D,D) cannot even be asked about the behavior of D(D)152Mikko
18 Jun 24       i i       i i     i      i  i   i             `* Re: H(D,D) cannot even be asked about the behavior of D(D)151olcott
19 Jun 24       i i       i i     i      i  i   i              `* Re: H(D,D) cannot even be asked about the behavior of D(D)150Mikko
19 Jun 24       i i       i i     i      i  i   i               `* Re: H(D,D) cannot even be asked about the behavior of D(D)149olcott
20 Jun 24       i i       i i     i      i  i   i                `* Re: H(D,D) cannot even be asked about the behavior of D(D)148Mikko
20 Jun 24       i i       i i     i      i  i   i                 `* Re: H(D,D) cannot even be asked about the behavior of D(D)147olcott
20 Jun 24       i i       i i     i      i  i   i                  `* Re: H(D,D) cannot even be asked about the behavior of D(D)146Mikko
20 Jun 24       i i       i i     i      i  i   i                   `* Re: H(D,D) cannot even be asked about the behavior of D(D)145olcott
20 Jun 24       i i       i i     i      i  i   i                    +* Re: H(D,D) cannot even be asked about the behavior of D(D)5joes
20 Jun 24       i i       i i     i      i  i   i                    i`* Re: H(D,D) cannot even be asked about the behavior of D(D)4olcott
21 Jun 24       i i       i i     i      i  i   i                    i `* Re: H(D,D) cannot even be asked about the behavior of D(D)3Fred. Zwarts
21 Jun 24       i i       i i     i      i  i   i                    i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)2olcott
21 Jun 24       i i       i i     i      i  i   i                    i   `- Re: H(D,D) cannot even be asked about the behavior of D(D)1Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    +* Re: H(D,D) cannot even be asked about the behavior of D(D)56Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i`* Re: H(D,D) cannot even be asked about the behavior of D(D)55olcott
21 Jun 24       i i       i i     i      i  i   i                    i `* Re: H(D,D) cannot even be asked about the behavior of D(D)54Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply53olcott
21 Jun 24       i i       i i     i      i  i   i                    i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply52Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply51olcott
21 Jun 24       i i       i i     i      i  i   i                    i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply50Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      +* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply47olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i`* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply46Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply45olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply44Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i   `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply43olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i    `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply42Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i     `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply41olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply40Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i       `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply39olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i        `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply38Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i         `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply37olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i          `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply36Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      i           `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply35olcott
21 Jun 24       i i       i i     i      i  i   i                    i      i            `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply34Richard Damon
21 Jun 24       i i       i i     i      i  i   i                    i      `* Re: H(D,D) cannot even be asked about the behavior of D(D) --- Boilerplate Reply2olcott
21 Jun 24       i i       i i     i      i  i   i                    `* Re: H(D,D) cannot even be asked about the behavior of D(D)83Mikko
15 Jun 24       i i       i i     i      i  i   `* Re: H(D,D) cannot even be asked about the behavior of D(D)58Richard Damon
14 Jun 24       i i       i i     i      i  `* Re: H(D,D) cannot even be asked about the behavior of D(D)2joes
15 Jun 24       i i       i i     i      +* H(D,D) cannot even be asked about the behavior of D(D) V2 ---ignoring all other replies12olcott
15 Jun 24       i i       i i     i      `* H(D,D) cannot even be asked about the behavior of D(D) V3 ---IGNORING ALL OTHER REPLIES18olcott
13 Jun 24       i i       i i     `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules5joes
13 Jun 24       i i       i `- Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules1joes
13 Jun 24       i i       `* Re: D correctly simulated by H proved for THREE YEARS --- finite string transformation rules6joes
12 Jun 24       i `* Re: D correctly simulated by H proved for THREE YEARS --- rewritten51Richard Damon
12 Jun 24       `- Re: D correctly simulated by H proved for THREE YEARS --- rewritten1Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal