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

Liste des GroupesRevenir à theory 
Sujet : Re: How do simulating termination analyzers work? ---Truth Maker Maximalism
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 04. Jul 2025, 20:09:01
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <2297e3c0518e7cdf159789a5ac25a7138356cf8e@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
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Fri, 04 Jul 2025 13:37:25 -0500 schrieb olcott:
On 7/4/2025 1:23 PM, joes wrote:
Am Fri, 04 Jul 2025 12:30:43 -0500 schrieb olcott:
On 7/4/2025 8:37 AM, joes wrote:
Am Fri, 04 Jul 2025 07:16:23 -0500 schrieb olcott:
On 7/4/2025 3:55 AM, joes wrote:

You are effectively saying that all programs that start with a call
to HHH are the same.
The nesting is too deep to see what you are responding to.
Lol, you could have responded immediately. You know how to look up posts.

Yes it is, HHH should compute whether the code of DD halts when run.
You can't be thinking that is uncomputable.
Likewise we should also compute the area of a square circle with a
radius of 2.
Are you seriously suggesting that you can't compute what the code of
DDD does when executed?
Don't complain later.

Partial halt deciders have never been allowed to report on the
behavior of any directly executed Turing machine. Instead of this they
have used the behavior that their input machine description specifies
as a proxy.
And you think that DDD's direct execution is not specified by its
description?
I HAVE PROVEN THAT DDD CORRECTLY SIMULATED BY HHH DOES NOT HAVE THE SAME
BEHAVIOR AS DDD() THOUSANDS OF TIMES IN THE LAST THREE YEARS
No disagreement; not my question.

Now for the first time we see that DDD correctly simulated by HHH *IS
NOT A PROXY* for the behavior of the directly executed DDD().
Indeed, HHH does not simulate it correctly. (You can't mean that DDD is
*executed* incorrectly.)
You are using the wrong measure of correct.
So DDD specifies at least two different behaviours?

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.

Date Sujet#  Auteur
17 Jun 25 * How do simulating termination analyzers work?123olcott
18 Jun 25 +* Re: How do simulating termination analyzers work?118Richard Damon
18 Jun 25 i`* Re: How do simulating termination analyzers work?117olcott
18 Jun 25 i +* Re: How do simulating termination analyzers work?90Fred. Zwarts
18 Jun 25 i i`* Re: How do simulating termination analyzers work?89olcott
18 Jun 25 i i +* Re: How do simulating termination analyzers work?6joes
18 Jun 25 i i i`* Re: How do simulating termination analyzers work?5olcott
18 Jun 25 i i i +* Re: How do simulating termination analyzers work?3joes
18 Jun 25 i i i i`* Re: How do simulating termination analyzers work?2olcott
19 Jun 25 i i i i `- Re: How do simulating termination analyzers work?1Richard Damon
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?19Mikko
19 Jun 25 i i i`* Re: How do simulating termination analyzers work?18olcott
19 Jun 25 i i i +* Re: How do simulating termination analyzers work?16Fred. Zwarts
19 Jun 25 i i i i+* Re: How do simulating termination analyzers work?2olcott
20 Jun 25 i i i ii`- Re: How do simulating termination analyzers work?1Fred. Zwarts
20 Jun 25 i i i i`* Re: How do simulating termination analyzers work?13Mikko
20 Jun 25 i i i i `* Re: How do simulating termination analyzers work?12olcott
21 Jun 25 i i i i  +- Re: How do simulating termination analyzers work?1Richard Damon
21 Jun 25 i i i i  `* Re: How do simulating termination analyzers work?10Mikko
21 Jun 25 i i i i   `* Re: How do simulating termination analyzers work?9olcott
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?7Mikko
22 Jun 25 i i i i     `* Re: How do simulating termination analyzers work?6olcott
23 Jun 25 i i i i      `* Re: How do simulating termination analyzers work?5Mikko
23 Jun 25 i i i i       `* Re: How do simulating termination analyzers work?4olcott
24 Jun 25 i i i i        `* Re: How do simulating termination analyzers work?3Mikko
24 Jun 25 i i i i         `* Re: How do simulating termination analyzers work?2olcott
25 Jun 25 i i i i          `- Re: How do simulating termination analyzers work?1Mikko
20 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?48Fred. Zwarts
19 Jun 25 i i  `* Re: How do simulating termination analyzers work?47olcott
20 Jun 25 i i   `* Re: How do simulating termination analyzers work?46Fred. Zwarts
20 Jun 25 i i    `* Re: How do simulating termination analyzers work?45olcott
21 Jun 25 i i     +- Re: How do simulating termination analyzers work?1Richard Damon
21 Jun 25 i i     `* Re: How do simulating termination analyzers work?43Mikko
21 Jun 25 i i      `* Re: How do simulating termination analyzers work?42olcott
21 Jun 25 i i       +- Re: How do simulating termination analyzers work?1Richard Damon
22 Jun 25 i i       +* Re: How do simulating termination analyzers work?35Mikko
22 Jun 25 i i       i`* Re: How do simulating termination analyzers work?34olcott
23 Jun 25 i i       i `* Re: How do simulating termination analyzers work?33Mikko
23 Jun 25 i i       i  `* Re: How do simulating termination analyzers work?32olcott
24 Jun 25 i i       i   `* Re: How do simulating termination analyzers work?31Mikko
24 Jun 25 i i       i    `* Re: How do simulating termination analyzers work?30olcott
25 Jun 25 i i       i     `* Re: How do simulating termination analyzers work?29Mikko
26 Jun 25 i i       i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism28Mikko
28 Jun 25 i i       i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism27olcott
28 Jun 25 i i       i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism26Mikko
28 Jun 25 i i       i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism25olcott
29 Jun09:42 i i       i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism24Mikko
29 Jun15:04 i i       i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism23olcott
30 Jun18:49 i i       i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism22olcott
1 Jul08:51 i i       i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism21Mikko
1 Jul12:46 i i       i              `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism20olcott
2 Jul07:53 i i       i               `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism19Mikko
3 Jul23:11 i i       i                `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism18olcott
3 Jul23:58 i i       i                 +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism1Richard Damon
4 Jul08:25 i i       i                 +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism5Mikko
4 Jul13:34 i i       i                 i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism4olcott
4 Jul14:33 i i       i                 i +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism2joes
4 Jul18:19 i i       i                 i i`- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1olcott
5 Jul09:32 i i       i                 i `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism1Mikko
4 Jul09:55 i i       i                 `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism11joes
4 Jul13:16 i i       i                  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism10olcott
4 Jul14:37 i i       i                   `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism9joes
4 Jul18:30 i i       i                    `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism8olcott
4 Jul19:23 i i       i                     `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism7joes
4 Jul19:37 i i       i                      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism6olcott
4 Jul20:09 i i       i                       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism5joes
4 Jul20:15 i i       i                        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism4olcott
4 Jul21:45 i i       i                         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism3Richard Damon
4 Jul23:26 i i       i                          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism2olcott
5 Jul08:26 i i       i                           `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism1Fred. Zwarts
29 Jun09:44 i i       `* Re: How do simulating termination analyzers work?5Mikko
29 Jun15:21 i i        `* Re: How do simulating termination analyzers work?4olcott
30 Jun10:58 i i         `* Re: How do simulating termination analyzers work?3Mikko
1 Jul14:02 i i          `* Re: How do simulating termination analyzers work?2olcott
2 Jul08:04 i i           `- Re: How do simulating termination analyzers work?1Mikko
18 Jun 25 i `* Re: How do simulating termination analyzers work?26Richard Damon
18 Jun 25 i  `* Re: How do simulating termination analyzers work?25olcott
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
19 Jun 25 i   `* Re: How do simulating termination analyzers work?21Mikko
19 Jun 25 i    `* Re: How do simulating termination analyzers work?20olcott
20 Jun 25 i     `* Re: How do simulating termination analyzers work?19Mikko
18 Jun 25 +- Re: How do simulating termination analyzers work?1Mikko
19 Jun 25 `* Re: How do simulating termination analyzers work?3Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal