Re: My reviewers think that halt deciders must report on the behavior of their caller

Liste des GroupesRevenir à theory 
Sujet : Re: My reviewers think that halt deciders must report on the behavior of their caller
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theory
Date : 09. Jul 2025, 14:37:48
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <04a93d06faca2452826dc1d26ebac896a3eddf73@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
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 09 Jul 2025 08:02:16 -0500 schrieb olcott:
On 7/9/2025 3:58 AM, Fred. Zwarts wrote:
Op 08.jul.2025 om 17:17 schreef olcott:
On 7/8/2025 6:18 AM, Richard Damon wrote:
On 7/7/25 10:52 PM, olcott wrote:
On 7/7/2025 9:24 PM, Richard Damon wrote:

An actual rebuttal requires proving that Turing machines can take
directly executing Turing machines (that are not finite string
encodings) as inputs.
Shut it. Nobody is advancing that view.

*If you have enough knowledge then that is self evident*
All Turing machine deciders only compute the mapping from their actual
inputs. This entails that they never compute any mapping from
non-inputs.
It matters more what they map it to, i.e. which mapping they compute.
HHH does not compute the halting function.

The evidence is that the input includes the code to abort and halt,
abort and stop running *IS NOT THE SAME THING AS*
abort and halt
That you keep ignoring this is not my mistake.
How could HHH abort and not halt?

but HHH is unable to reach that part. This failure of HHH does not make
the specification any different. It only shows that this simulating
decider is not the right tool for this input.
HHH should report on the behaviour specified, not on the behaviour it
can see. If HHH has bugs, so that it does not see the full
specification, the specification does not change.
Closing your eyes and pretend that what you do not see does not exists,
is childish.
--
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
3 Jun 25 * My reviewers think that halt deciders must report on the behavior of their caller165olcott
4 Jun 25 +* Re: My reviewers think that halt deciders must report on the behavior of their caller102dbush
4 Jun 25 i`* Re: My reviewers think that halt deciders must report on the behavior of their caller101olcott
4 Jun 25 i +* Re: My reviewers think that halt deciders must report on the behavior of their caller99dbush
4 Jun 25 i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller98olcott
4 Jun 25 i i `* Re: My reviewers think that halt deciders must report on the behavior of their caller97dbush
4 Jun 25 i i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller96olcott
4 Jun 25 i i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller95dbush
4 Jul21:43 i i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller94olcott
4 Jul21:53 i i     `* Re: My reviewers think that halt deciders must report on the behavior of their caller93Richard Damon
4 Jul23:11 i i      +* Re: My reviewers think that halt deciders must report on the behavior of their caller82olcott
5 Jul14:14 i i      i`* Re: My reviewers think that halt deciders must report on the behavior of their caller81Richard Damon
5 Jul17:26 i i      i `* Re: My reviewers think that halt deciders must report on the behavior of their caller80olcott
6 Jul01:44 i i      i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller79Richard Damon
6 Jul04:02 i i      i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller78Richard Damon
6 Jul05:34 i i      i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller77olcott
6 Jul10:32 i i      i     +- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
6 Jul12:50 i i      i     `* Re: My reviewers think that halt deciders must report on the behavior of their caller75Richard Damon
6 Jul16:19 i i      i      `* Re: My reviewers think that halt deciders must report on the behavior of their caller74olcott
6 Jul18:00 i i      i       `* Re: My reviewers think that halt deciders must report on the behavior of their caller73Richard Damon
6 Jul21:06 i i      i        `* Re: My reviewers think that halt deciders must report on the behavior of their caller72olcott
7 Jul03:09 i i      i         +* Re: My reviewers think that halt deciders must report on the behavior of their caller70Richard Damon
7 Jul04:12 i i      i         i`* Re: My reviewers think that halt deciders must report on the behavior of their caller69olcott
7 Jul08:36 i i      i         i +* Re: My reviewers think that halt deciders must report on the behavior of their caller41Fred. Zwarts
7 Jul14:23 i i      i         i i+* Re: My reviewers think that halt deciders must report on the behavior of their caller6olcott
8 Jul09:10 i i      i         i ii`* Re: My reviewers think that halt deciders must report on the behavior of their caller5Fred. Zwarts
8 Jul15:59 i i      i         i ii `* Re: My reviewers think that halt deciders must report on the behavior of their caller4olcott
9 Jul10:58 i i      i         i ii  +* Re: My reviewers think that halt deciders must report on the behavior of their caller2Fred. Zwarts
9 Jul14:46 i i      i         i ii  i`- Re: My reviewers think that halt deciders must report on the behavior of their caller1olcott
9 Jul12:32 i i      i         i ii  `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
7 Jul19:38 i i      i         i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller34olcott
7 Jul23:41 i i      i         i i +* Re: My reviewers think that halt deciders must report on the behavior of their caller32Richard Damon
8 Jul00:52 i i      i         i i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller31olcott
8 Jul03:18 i i      i         i i i `* Re: My reviewers think that halt deciders must report on the behavior of their caller30Richard Damon
8 Jul03:38 i i      i         i i i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller29olcott
8 Jul08:15 i i      i         i i i   +* Re: My reviewers think that halt deciders must report on the behavior of their caller9joes
8 Jul15:14 i i      i         i i i   i`* Re: My reviewers think that halt deciders must report on the behavior of their caller8olcott
8 Jul17:10 i i      i         i i i   i +* Re: My reviewers think that halt deciders must report on the behavior of their caller6joes
8 Jul17:22 i i      i         i i i   i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller5olcott
8 Jul18:44 i i      i         i i i   i i +* Re: My reviewers think that halt deciders must report on the behavior of their caller3joes
8 Jul19:21 i i      i         i i i   i i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
9 Jul12:38 i i      i         i i i   i i i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
9 Jul12:36 i i      i         i i i   i i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
9 Jul12:34 i i      i         i i i   i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
8 Jul12:13 i i      i         i i i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller19Richard Damon
8 Jul16:08 i i      i         i i i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller18olcott
8 Jul17:07 i i      i         i i i     +* Re: My reviewers think that halt deciders must report on the behavior of their caller14joes
8 Jul17:19 i i      i         i i i     i+* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
8 Jul23:33 i i      i         i i i     ii`- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
8 Jul20:01 i i      i         i i i     i`* Re: My reviewers think that halt deciders must report on the behavior of their caller11Mike Terry
8 Jul20:49 i i      i         i i i     i `* Re: My reviewers think that halt deciders must report on the behavior of their caller10olcott
9 Jul02:30 i i      i         i i i     i  +* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
9 Jul12:48 i i      i         i i i     i  i`- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
9 Jul10:09 i i      i         i i i     i  +* Re: My reviewers think that halt deciders must report on the behavior of their caller3Fred. Zwarts
9 Jul14:35 i i      i         i i i     i  i`* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
10 Jul02:39 i i      i         i i i     i  i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
9 Jul12:44 i i      i         i i i     i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller4Richard Damon
9 Jul14:55 i i      i         i i i     i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike3olcott
10 Jul02:49 i i      i         i i i     i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike2Richard Damon
10 Jul03:50 i i      i         i i i     i     `- Re: My reviewers think that halt deciders must report on the behavior of their caller --- Mike1olcott
8 Jul23:31 i i      i         i i i     `* Re: My reviewers think that halt deciders must report on the behavior of their caller3Richard Damon
8 Jul23:51 i i      i         i i i      `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
9 Jul12:51 i i      i         i i i       `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
8 Jul09:17 i i      i         i i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
7 Jul09:37 i i      i         i +* Re: My reviewers think that halt deciders must report on the behavior of their caller8Mikko
7 Jul15:15 i i      i         i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller7olcott
7 Jul23:45 i i      i         i i +- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
8 Jul08:44 i i      i         i i `* Re: My reviewers think that halt deciders must report on the behavior of their caller5Mikko
8 Jul15:21 i i      i         i i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller4olcott
9 Jul09:22 i i      i         i i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller3Mikko
9 Jul13:25 i i      i         i i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
10 Jul03:00 i i      i         i i     `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
7 Jul12:19 i i      i         i `* Re: My reviewers think that halt deciders must report on the behavior of their caller19Richard Damon
7 Jul14:32 i i      i         i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller18olcott
7 Jul23:39 i i      i         i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller17Richard Damon
8 Jul00:47 i i      i         i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller16olcott
8 Jul03:24 i i      i         i     `* Re: My reviewers think that halt deciders must report on the behavior of their caller15Richard Damon
8 Jul03:52 i i      i         i      `* Re: My reviewers think that halt deciders must report on the behavior of their caller14olcott
8 Jul08:55 i i      i         i       +* Re: My reviewers think that halt deciders must report on the behavior of their caller4Fred. Zwarts
8 Jul15:31 i i      i         i       i`* Re: My reviewers think that halt deciders must report on the behavior of their caller3olcott
9 Jul10:04 i i      i         i       i `* Re: My reviewers think that halt deciders must report on the behavior of their caller2Fred. Zwarts
9 Jul14:16 i i      i         i       i  `- Re: My reviewers think that halt deciders must report on the behavior of their caller1olcott
8 Jul12:18 i i      i         i       `* Re: My reviewers think that halt deciders must report on the behavior of their caller9Richard Damon
8 Jul16:17 i i      i         i        `* Re: My reviewers think that halt deciders must report on the behavior of their caller8olcott
9 Jul09:58 i i      i         i         +* Re: My reviewers think that halt deciders must report on the behavior of their caller6Fred. Zwarts
9 Jul14:02 i i      i         i         i`* Re: My reviewers think that halt deciders must report on the behavior of their caller5olcott
9 Jul14:37 i i      i         i         i `* Re: My reviewers think that halt deciders must report on the behavior of their caller4joes
9 Jul15:06 i i      i         i         i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller3olcott
9 Jul16:42 i i      i         i         i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller2joes
9 Jul17:06 i i      i         i         i    `- Re: My reviewers think that halt deciders must report on the behavior of their caller1olcott
9 Jul13:00 i i      i         i         `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
7 Jul09:34 i i      i         `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Mikko
4 Jul23:15 i i      +* Re: My reviewers think that halt deciders must report on the behavior of their caller9olcott
5 Jul08:39 i i      i+* Re: My reviewers think that halt deciders must report on the behavior of their caller5Fred. Zwarts
5 Jul17:12 i i      ii`* Re: My reviewers think that halt deciders must report on the behavior of their caller4olcott
6 Jul10:24 i i      ii `* Re: My reviewers think that halt deciders must report on the behavior of their caller3Fred. Zwarts
6 Jul16:36 i i      ii  `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
7 Jul08:42 i i      ii   `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
5 Jul14:20 i i      i`* Re: My reviewers think that halt deciders must report on the behavior of their caller3Richard Damon
5 Jul17:31 i i      i `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
6 Jul01:47 i i      i  `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
5 Jul16:11 i i      `- Re: My reviewers think that halt deciders must report on the behavior of their caller1olcott
4 Jun 25 i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
4 Jun 25 +- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
4 Jun 25 `* Re: My reviewers think that halt deciders must report on the behavior of their caller61Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal