Re: Hypothetical possibilities -- I reread this again more carefully

Liste des GroupesRevenir à theory 
Sujet : Re: Hypothetical possibilities -- I reread this again more carefully
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory
Date : 21. Jul 2024, 15:19:43
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7j5dv$3o7r$7@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 7/21/2024 4:05 AM, joes wrote:
Am Sat, 20 Jul 2024 22:31:04 -0500 schrieb olcott:
On 7/20/2024 10:14 PM, olcott wrote:
On 7/20/2024 8:46 PM, Richard Damon wrote:
On 7/20/24 9:23 PM, olcott wrote:
When an actual x86 emulator stops emulating its input this emulated
input immediately stops running.

The input doesn't even run. The simulator is the only thing in execution.
Yes.

The SIMULATION is an observation of the program, that if it stops
doesn't affect the actual behavior of the program in question.
*If the simulator stops simulating then the simulated stops running*

The simulated program would still be non-halting.
Yes.

 
DDD *correctly simulated* by pure function HHH cannot possibly reach
its own return instruction.
Only DDD correctly emulated by HHH maps the finite string of the x86
machine code of DDD to the behavior that it actually specifies.

Almost correct. Other simulators may map it too, to the behaviour
of the direct execution. HHH doesn't.
 
No decider is ever allowed to report on the behavior of the
actual computation that itself is contained within because
all deciders only take finite string inputs and thus never
take a directly executing process as an input.
HHH is not allowed to report on the directly executed
HHH(DDD) that int main() { DDD(); } calls or the directly
executed DDD() that calls it.
A Turing machine can report on the behavior that a finite
string specifies. It cannot report on the behavior of any
executing Turing machine including its own executing Turing
machine.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
20 Jul 24 * Hypothetical possibilities221olcott
20 Jul 24 +* Re: Hypothetical possibilities3Richard Damon
20 Jul 24 i`* Re: Hypothetical possibilities2olcott
20 Jul 24 i `- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 +* Re: Hypothetical possibilities101Fred. Zwarts
20 Jul 24 i`* Re: Hypothetical possibilities100olcott
20 Jul 24 i +* Re: Hypothetical possibilities47Fred. Zwarts
20 Jul 24 i i+* Re: Hypothetical possibilities6olcott
20 Jul 24 i ii+* Re: Hypothetical possibilities4Richard Damon
20 Jul 24 i iii`* Re: Hypothetical possibilities3olcott
20 Jul 24 i iii +- Re: Hypothetical possibilities1Richard Damon
21 Jul 24 i iii `- Re: Hypothetical possibilities1Fred. Zwarts
21 Jul 24 i ii`- Re: Hypothetical possibilities1Fred. Zwarts
20 Jul 24 i i`* Re: Hypothetical possibilities40Alan Mackenzie
20 Jul 24 i i +* Re: Hypothetical possibilities11olcott
20 Jul 24 i i i+* Re: Hypothetical possibilities2Alan Mackenzie
22 Jul 24 i i ii`- Re: Hypothetical possibilities --- Alan Mackenzie tries to get away with mere rhetoric as a rebuttal1olcott
21 Jul 24 i i i`* Re: Hypothetical possibilities8Fred. Zwarts
21 Jul 24 i i i `* Re: Hypothetical possibilities7olcott
21 Jul 24 i i i  +* Re: Recursive simulation (was: Hypothetical possibilities)3joes
21 Jul 24 i i i  i`* Re: Recursive simulation2olcott
21 Jul 24 i i i  i `- Re: Recursive simulation1Fred. Zwarts
21 Jul 24 i i i  +* Re: Hypothetical possibilities2Fred. Zwarts
21 Jul 24 i i i  i`- Re: Hypothetical possibilities1joes
21 Jul 24 i i i  `- Re: Hypothetical IMpossibilities1Richard Damon
20 Jul 24 i i +* Re: Hypothetical possibilities2olcott
21 Jul 24 i i i`- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 i i +- Re: Hypothetical possibilities --- Alan Mackenzie1olcott
20 Jul 24 i i +- Re: Hypothetical possibilities --- Alan Mackenzie1olcott
21 Jul 24 i i +* Re: Hypothetical possibilities7olcott
21 Jul 24 i i i`* Re: Hypothetical possibilities6Fred. Zwarts
21 Jul 24 i i i `* Re: Hypothetical possibilities5olcott
21 Jul 24 i i i  +* Re: Hypothetical possibilities3Fred. Zwarts
22 Jul 24 i i i  i`* Re: Hypothetical possibilities2olcott
22 Jul 24 i i i  i `- Re: Hypothetical possibilities1Fred. Zwarts
21 Jul 24 i i i  `- Re: Hypothetical IMpossibilities1Richard Damon
22 Jul 24 i i +* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric16olcott
22 Jul 24 i i i+- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric1Fred. Zwarts
22 Jul 24 i i i+* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric4Alan Mackenzie
22 Jul 24 i i ii+- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Liar?1olcott
22 Jul 24 i i ii`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away denying tautologies2olcott
23 Jul 24 i i ii `- Re: Hypothetical possibilities --- Fake rebuttals trying to get away denying tautologies1Fred. Zwarts
23 Jul 24 i i i`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric10Mikko
23 Jul 24 i i i `* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric9olcott
23 Jul 24 i i i  +* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric7Alan Mackenzie
23 Jul 24 i i i  i`* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say6olcott
23 Jul 24 i i i  i +- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say1Fred. Zwarts
24 Jul 24 i i i  i `* Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric --- Dishonest reviews that ignore what I say4Richard Damon
24 Jul 24 i i i  i  `* Re: Hypothetical possibilities --- Mindless robots programmed to disagree3olcott
24 Jul 24 i i i  i   +- Re: Hypothetical possibilities --- Olcott is a Mindless robots programmed to disagree1Richard Damon
24 Jul 24 i i i  i   `- Re: Hypothetical possibilities --- Mindless robots programmed to disagree1Fred. Zwarts
25 Jul 24 i i i  `- Re: Hypothetical possibilities --- Fake rebuttals trying to get away with mere rhetoric1Mikko
22 Jul 24 i i `- Re: Hypothetical possibilities --- Alan Mackenzie tries to get away with mere rhetoric as a rebuttal1olcott
20 Jul 24 i `* Re: Hypothetical possibilities52Richard Damon
20 Jul 24 i  `* Re: Hypothetical possibilities51olcott
20 Jul 24 i   +* Re: Hypothetical possibilities49joes
20 Jul 24 i   i+- Re: Hypothetical possibilities1Richard Damon
20 Jul 24 i   i`* Re: Hypothetical possibilities47olcott
21 Jul 24 i   i `* Re: Hypothetical possibilities46Richard Damon
21 Jul 24 i   i  `* Re: Hypothetical possibilities45olcott
21 Jul 24 i   i   `* Re: Hypothetical possibilities44Richard Damon
21 Jul 24 i   i    `* Re: Hypothetical possibilities43olcott
21 Jul 24 i   i     `* Re: Hypothetical possibilities42Richard Damon
21 Jul 24 i   i      `* Re: Hypothetical possibilities41olcott
21 Jul 24 i   i       `* Re: Hypothetical possibilities40Richard Damon
21 Jul 24 i   i        +* Re: Hypothetical possibilities31olcott
21 Jul 24 i   i        i`* Re: Hypothetical possibilities30Richard Damon
21 Jul 24 i   i        i +* Re: Hypothetical possibilities6olcott
21 Jul 24 i   i        i i`* Re: Hypothetical possibilities5Richard Damon
21 Jul 24 i   i        i i `* Re: Hypothetical possibilities4olcott
21 Jul 24 i   i        i i  `* Re: Hypothetical possibilities3Richard Damon
21 Jul 24 i   i        i i   `* Re: Hypothetical possibilities2olcott
21 Jul 24 i   i        i i    `- Re: Hypothetical possibilities1Richard Damon
21 Jul 24 i   i        i `* Re: Hypothetical possibilities -- I reread this again more carefully23olcott
21 Jul 24 i   i        i  +* Re: Hypothetical possibilities -- I reread this again more carefully6olcott
21 Jul 24 i   i        i  i+- Re: Hypothetical possibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i  i`* Re: Hypothetical possibilities -- I reread this again more carefully4joes
21 Jul 24 i   i        i  i `* Re: Hypothetical possibilities -- I reread this again more carefully3olcott
21 Jul 24 i   i        i  i  `* Re: Hypothetical possibilities -- I reread this again more carefully2joes
21 Jul 24 i   i        i  i   `- Re: Hypothetical possibilities -- I reread this again more carefully1olcott
21 Jul 24 i   i        i  `* Re: Hypothetical possibilities -- I reread this again more carefully16Richard Damon
21 Jul 24 i   i        i   +* Re: Hypothetical possibilities -- I reread this again more carefully14olcott
21 Jul 24 i   i        i   i`* Re: Hypothetical possibilities -- I reread this again more carefully13Richard Damon
21 Jul 24 i   i        i   i +* Re: Hypothetical possibilities -- I reread this again more carefully8olcott
21 Jul 24 i   i        i   i i`* Re: Hypothetical possibilities -- I reread this again more carefully7joes
21 Jul 24 i   i        i   i i `* Re: Hypothetical possibilities -- I reread this again more carefully6olcott
21 Jul 24 i   i        i   i i  +* Re: Hypothetical possibilities -- I reread this again more carefully4joes
21 Jul 24 i   i        i   i i  i`* Re: Hypothetical possibilities -- I reread this again more carefully3olcott
21 Jul 24 i   i        i   i i  i +- Re: Hypothetical possibilities -- I reread this again more carefully1Fred. Zwarts
21 Jul 24 i   i        i   i i  i `- Re: Hypothetical IMpossibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i   i i  `- Re: Hypothetical IMpossibilities -- I reread this again more carefully1Richard Damon
22 Jul 24 i   i        i   i `* Re: Hypothetical possibilities -- I reread this again more carefully4olcott
22 Jul 24 i   i        i   i  `* Re: Hypothetical possibilities -- I reread this again more carefully3Richard Damon
22 Jul 24 i   i        i   i   `* Re: Hypothetical possibilities -- I reread this again more carefully2olcott
23 Jul 24 i   i        i   i    `- Re: Hypothetical possibilities -- I reread this again more carefully1Richard Damon
21 Jul 24 i   i        i   `- Re: Hypothetical possibilities -- I reread this again more carefully --- correction1olcott
21 Jul 24 i   i        `* Re: Hypothetical possibilities8olcott
21 Jul 24 i   i         `* Re: Hypothetical possibilities7Richard Damon
21 Jul 24 i   i          `* Re: Hypothetical possibilities6olcott
21 Jul 24 i   i           `* Re: Hypothetical possibilities5Richard Damon
21 Jul 24 i   i            `* Re: Hypothetical possibilities4olcott
20 Jul 24 i   `- Re: Hypothetical possibilities1Richard Damon
22 Jul 24 `* Re: Hypothetical possibilities116Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal