Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE

Liste des GroupesRevenir à s logic 
Sujet : Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 17. Jul 2025, 15:11:07
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <105b09r$1d6in$1@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
User-Agent : Mozilla Thunderbird
On 7/17/2025 8:57 AM, joes wrote:
Am Thu, 17 Jul 2025 08:47:16 -0500 schrieb olcott:
On 7/17/2025 3:29 AM, Fred. Zwarts wrote:
Op 16.jul.2025 om 19:49 schreef olcott:
 
This is already evidence that simulation is not the right tool to
analyse the input.
In other words you disagree that a simulation by a UTM is a correct
measure of behavior. (A simulation by a UTM is defined to be a correct
measure of behavior).
HHH is not a UTM.
 
_DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192  // push DDD
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]
Each element of the infinite set of functions
at machine address 000015d2 that emulates 0 to ∞
instructions of the above machine code never
reaches its emulated "ret" instruction final
halt state BECAUSE DDD CALLS EACH EMULATOR IN
RECURSIVE EMULATION.
*ChatGPT agrees and provides the reasoning why it agrees*
https://chatgpt.com/share/6877f09c-7b18-8011-b075-ea3671e57886
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
17 Jun 25 * How do simulating termination analyzers work?58olcott
18 Jun 25 +* Re: How do simulating termination analyzers work?31Richard Damon
18 Jun 25 i`* Re: How do simulating termination analyzers work?30olcott
18 Jun 25 i +* Re: How do simulating termination analyzers work?24Fred. Zwarts
18 Jun 25 i i`* Re: How do simulating termination analyzers work?23olcott
18 Jun 25 i i +* Re: How do simulating termination analyzers work?2olcott
19 Jun 25 i i i`- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i i +* Re: How do simulating termination analyzers work?15Richard Damon
19 Jun 25 i i i`* Re: How do simulating termination analyzers work?14olcott
19 Jun 25 i i i +* Re: How do simulating termination analyzers work?7Fred. Zwarts
19 Jun 25 i i i i`* Re: How do simulating termination analyzers work?6olcott
20 Jun 25 i i i i +- Re: How do simulating termination analyzers work?1Richard Damon
20 Jun 25 i i i i `* Re: How do simulating termination analyzers work?4Fred. Zwarts
20 Jun 25 i i i i  `* Re: How do simulating termination analyzers work?3olcott
21 Jun 25 i i i i   +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i i   `- Re: How do simulating termination analyzers work?1Fred. Zwarts
20 Jun 25 i i i `* Re: How do simulating termination analyzers work?6Richard Damon
20 Jun 25 i i i  `* Re: How do simulating termination analyzers work?5olcott
20 Jun 25 i i i   `* Re: How do simulating termination analyzers work?4Fred. Zwarts
20 Jun 25 i i i    `* Re: How do simulating termination analyzers work?3olcott
21 Jun 25 i i i     +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i i     `- Re: How do simulating termination analyzers work?1Fred. Zwarts
19 Jun 25 i i `* Re: How do simulating termination analyzers work?5Fred. Zwarts
19 Jun 25 i i  `* Re: How do simulating termination analyzers work?4olcott
20 Jun 25 i i   `* Re: How do simulating termination analyzers work?3Fred. Zwarts
20 Jun 25 i i    `* Re: How do simulating termination analyzers work?2olcott
21 Jun 25 i i     `- Re: How do simulating termination analyzers work?1Richard Damon
18 Jun 25 i `* Re: How do simulating termination analyzers work?5Richard Damon
18 Jun 25 i  `* Re: How do simulating termination analyzers work?4olcott
18 Jun 25 i   +* Re: How do simulating termination analyzers work?2olcott
19 Jun 25 i   i`- Re: How do simulating termination analyzers work?1Richard Damon
19 Jun 25 i   `- Re: How do simulating termination analyzers work?1Richard Damon
5 Jul 25 `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE26olcott
5 Jul 25  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE25Alan Mackenzie
6 Jul 25   `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE24olcott
6 Jul 25    `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE23Alan Mackenzie
7 Jul 25     +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1olcott
17 Jul14:47     +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE5olcott
18 Jul00:19     i+- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
18 Jul12:13     i+- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
17 Jul15:11     i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2olcott
18 Jul11:50     i `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
17 Jul15:44     `* Halting Problem Proof ERROR16olcott
18 Jul12:17      +* Re: Halting Problem Proof ERROR11Fred. Zwarts
18 Jul17:09      i`* Re: Halting Problem Proof ERROR10olcott
19 Jul09:26      i `* Re: Halting Problem Proof ERROR9Fred. Zwarts
19 Jul15:23      i  `* Re: Halting Problem Proof ERROR8olcott
20 Jul08:54      i   +* Re: Halting Problem Proof ERROR4Fred. Zwarts
20 Jul16:16      i   i`* Re: Halting Problem Proof ERROR3olcott
21 Jul09:10      i   i `* Re: Halting Problem Proof ERROR2Fred. Zwarts
21 Jul14:36      i   i  `- Re: Halting Problem Proof ERROR1olcott
19 Jul18:23      i   `* Re: Halting Problem Proof ERROR3Richard Damon
19 Jul20:59      i    `* Re: Halting Problem Proof ERROR2olcott
20 Jul03:23      i     `- Re: Halting Problem Proof ERROR1Richard Damon
19 Jul16:11      `* Re: Halting Problem Proof ERROR4olcott
20 Jul16:02       +* Re: Halting Problem Proof ERROR2olcott
21 Jul15:04       i`- Re: Halting Problem Proof ERROR1olcott
19 Jul18:31       `- Re: Halting Problem Proof ERROR1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal