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

Liste des GroupesRevenir à c 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?175olcott
18 Jun 25 +* Re: How do simulating termination analyzers work?170Richard Damon
18 Jun 25 i`* Re: How do simulating termination analyzers work?169olcott
18 Jun 25 i +* Re: How do simulating termination analyzers work?142Fred. Zwarts
18 Jun 25 i i`* Re: How do simulating termination analyzers work?141olcott
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?100Fred. Zwarts
19 Jun 25 i i  `* Re: How do simulating termination analyzers work?99olcott
20 Jun 25 i i   `* Re: How do simulating termination analyzers work?98Fred. Zwarts
20 Jun 25 i i    `* Re: How do simulating termination analyzers work?97olcott
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?95Mikko
21 Jun 25 i i      `* Re: How do simulating termination analyzers work?94olcott
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?87Mikko
22 Jun 25 i i       i`* Re: How do simulating termination analyzers work?86olcott
23 Jun 25 i i       i `* Re: How do simulating termination analyzers work?85Mikko
23 Jun 25 i i       i  `* Re: How do simulating termination analyzers work?84olcott
24 Jun 25 i i       i   `* Re: How do simulating termination analyzers work?83Mikko
24 Jun 25 i i       i    `* Re: How do simulating termination analyzers work?82olcott
25 Jun 25 i i       i     `* Re: How do simulating termination analyzers work?81Mikko
26 Jun 25 i i       i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism80Mikko
28 Jun 25 i i       i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism79olcott
28 Jun 25 i i       i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism78Mikko
28 Jun 25 i i       i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism77olcott
29 Jun 25 i i       i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism76Mikko
29 Jun 25 i i       i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism75olcott
30 Jun 25 i i       i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism74olcott
1 Jul 25 i i       i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism73Mikko
1 Jul 25 i i       i              `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism72olcott
2 Jul 25 i i       i               `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism71Mikko
3 Jul 25 i i       i                `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism70olcott
3 Jul 25 i i       i                 +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism1Richard Damon
4 Jul 25 i i       i                 +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism52Mikko
4 Jul 25 i i       i                 i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism51olcott
4 Jul 25 i i       i                 i +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism46joes
4 Jul 25 i i       i                 i i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE45olcott
5 Jul13:26 i i       i                 i i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE44Alan Mackenzie
5 Jul16:00 i i       i                 i i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE43olcott
5 Jul20:07 i i       i                 i i   `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE42Alan Mackenzie
5 Jul20:34 i i       i                 i i    `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE41olcott
6 Jul10:50 i i       i                 i i     +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
6 Jul11:16 i i       i                 i i     `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE39Alan Mackenzie
6 Jul15:28 i i       i                 i i      `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE38olcott
6 Jul17:02 i i       i                 i i       `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE37Alan Mackenzie
6 Jul17:43 i i       i                 i i        `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE36olcott
6 Jul18:52 i i       i                 i i         `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE35Alan Mackenzie
6 Jul20:14 i i       i                 i i          `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE34olcott
6 Jul22:23 i i       i                 i i           `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE33Alan Mackenzie
7 Jul04:07 i i       i                 i i            `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE32olcott
7 Jul08:49 i i       i                 i i             +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE29Fred. Zwarts
7 Jul19:40 i i       i                 i i             i`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE28olcott
7 Jul23:34 i i       i                 i i             i +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul09:22 i i       i                 i i             i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE26Fred. Zwarts
8 Jul15:33 i i       i                 i i             i  +* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE9olcott
9 Jul09:26 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE4Mikko
9 Jul13:26 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3olcott
10 Jul09:48 i i       i                 i i             i  ii +- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Mikko
10 Jul12:30 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
9 Jul09:53 i i       i                 i i             i  i+* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE3Fred. Zwarts
9 Jul13:56 i i       i                 i i             i  ii`* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2olcott
10 Jul12:27 i i       i                 i i             i  ii `- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Fred. Zwarts
9 Jul12:20 i i       i                 i i             i  i`- Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE1Richard Damon
8 Jul16:03 i i       i                 i i             i  `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE16olcott
7 Jul15:07 i i       i                 i i             `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism FULL_TRACE2Alan Mackenzie
5 Jul 25 i i       i                 i `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism4Mikko
4 Jul 25 i i       i                 `* Re: How do simulating termination analyzers work? ---Truth Maker Maximalism16joes
29 Jun 25 i i       `* Re: How do simulating termination analyzers work?5Mikko
18 Jun 25 i `* Re: How do simulating termination analyzers work?26Richard Damon
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