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

Liste des GroupesRevenir à theory 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory
Date : 21. May 2024, 05:49:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2h95k$ecbj$2@dont-email.me>
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
User-Agent : Mozilla Thunderbird
On 20/05/24 19:56, olcott wrote:
For two or three years everyone has been claiming that the
above measures of correct simulation are incorrect. Their
"ultimate" measure of a "correct" simulation is that D does
whatever they expect D to do.
The ultimate measure of a correct simulation is that the simulation does the same thing the thing that you are simulating does. In other words, H(D,D) does the same thing that D(D) does.
When I test an electronic circuit in a circuit simulator and then build it in real life, it should do the same thing that the simulator said it would do.

Date Sujet#  Auteur
14 May 24 * Re: Every D(D) simulated by H presents non-halting behavior to H ###216Mikko
14 May 24 `* Re: Every D(D) simulated by H presents non-halting behavior to H ###215olcott
15 May 24  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
15 May 24  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###213Mikko
15 May 24   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###212olcott
15 May 24    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3joes
15 May 24    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2olcott
16 May 24    i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
16 May 24    +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
16 May 24    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###207Mikko
16 May 24     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###206olcott
16 May 24      +* Re: Every D(D) simulated by H presents non-halting behavior to H ###24Alan Mackenzie
16 May 24      i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###23olcott
17 May 24      i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
17 May 24      i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###21Alan Mackenzie
18 May 24      i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###19olcott
18 May 24      i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###18André G. Isaak
18 May 24      i  i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###12olcott
19 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###11André G. Isaak
19 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10olcott
19 May 24      i  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
19 May 24      i  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7olcott
19 May 24      i  i i  i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24      i  i i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5immibis
19 May 24      i  i i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4olcott
19 May 24      i  i i  i   +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
20 May 24      i  i i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2immibis
20 May 24      i  i i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
19 May 24      i  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4olcott
18 May 24      i  i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Fred. Zwarts
18 May 24      i  i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24      i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
17 May 24      +* Re: Every D(D) simulated by H presents non-halting behavior to H ###176Mikko
17 May 24      i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###175olcott
18 May 24      i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###173Mikko
18 May 24      i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###65olcott
18 May 24      i  i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24      i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###63DFS
19 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
20 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Chris M. Thomasson
20 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6Keith Thompson
20 May 24      i  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
20 May 24      i  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
21 May 24      i  i i  i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
20 May 24      i  i i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
20 May 24      i  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kenny McCormack
19 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###52olcott
19 May 24      i  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###50Richard Damon
19 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###49Chris M. Thomasson
20 May 24      i  i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###48immibis
20 May 24      i  i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###47David Brown
20 May 24      i  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###4Kenny McCormack
20 May 24      i  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Alan Mackenzie
20 May 24      i  i i    i `* Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24      i  i i    i  `- Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1David Brown
20 May 24      i  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Chris M. Thomasson
21 May 24      i  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7David Brown
21 May 24      i  i i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6James Kuyper
21 May 24      i  i i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5David Brown
21 May 24      i  i i    i   +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
22 May 24      i  i i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
24 May 24      i  i i    i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###34immibis
21 May 24      i  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24      i  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24      i  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24      i  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24      i  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Keith Thompson
21 May 24      i  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
21 May 24      i  i i     i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
21 May 24      i  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###16David Brown
21 May 24      i  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###15James Kuyper
21 May 24      i  i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###14immibis
21 May 24      i  i i     i  +- Thought control??? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Richard Damon
22 May 24      i  i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
22 May 24      i  i i     i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3olcott
22 May 24      i  i i     i  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
22 May 24      i  i i     i  i i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
22 May 24      i  i i     i  i `* Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)3Kenny McCormack
22 May 24      i  i i     i  i  `* Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2immibis
22 May 24      i  i i     i  i   `- Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4James Kuyper
22 May 24      i  i i     i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
22 May 24      i  i i     i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kaz Kylheku
22 May 24      i  i i     i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
21 May 24      i  i i     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10Chris M. Thomasson
21 May 24      i  i i      +* Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24      i  i i      i`- Re: Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Chris M. Thomasson
21 May 24      i  i i      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
21 May 24      i  i i       +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
21 May 24      i  i i       i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i       i`- Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i       `* Re: Every D(D) simulated by H presents non-halting behavior to H ###3immibis
24 May 24      i  i i        `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
19 May 24      i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Chris M. Thomasson
18 May 24      i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###107James Kuyper
18 May 24      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal