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 : 08. Jul 2025, 18:44:18
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <ffdb0c30d4de9f14dbbaf97d2bd4d367266f0a49@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 Tue, 08 Jul 2025 11:22:52 -0500 schrieb olcott:
On 7/8/2025 11:10 AM, joes wrote:
Am Tue, 08 Jul 2025 09:14:50 -0500 schrieb olcott:
On 7/8/2025 2:15 AM, joes wrote:
Am Mon, 07 Jul 2025 21:38:19 -0500 schrieb olcott:
>
"No, that code proves that HHH, as defined,
    always aborts its simulation of DDD"
That is a false statement. If you understood the code you would know
your error.
Lolwut? Please explain how HHH runs forever.
I didn't say that it runs forever.
You said it didn't always abort. How does it halt without aborting?
*I denied these words not your paraphrase of them*
"No, that code proves that HHH, as defined, always aborts its simulation
of DDD"
Yes, the negation of that is "not always". Or what?

--
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 caller175olcott
4 Jun 25 +* Re: My reviewers think that halt deciders must report on the behavior of their caller112dbush
4 Jun 25 i`* Re: My reviewers think that halt deciders must report on the behavior of their caller111olcott
4 Jun 25 i +* Re: My reviewers think that halt deciders must report on the behavior of their caller109dbush
4 Jun 25 i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller108olcott
4 Jun 25 i i `* Re: My reviewers think that halt deciders must report on the behavior of their caller107dbush
4 Jun 25 i i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller106olcott
4 Jun 25 i i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller105dbush
4 Jul21:43 i i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller104olcott
4 Jul21:53 i i     `* Re: My reviewers think that halt deciders must report on the behavior of their caller103Richard Damon
4 Jul23:11 i i      +* Re: My reviewers think that halt deciders must report on the behavior of their caller92olcott
5 Jul14:14 i i      i`* Re: My reviewers think that halt deciders must report on the behavior of their caller91Richard Damon
5 Jul17:26 i i      i `* Re: My reviewers think that halt deciders must report on the behavior of their caller90olcott
6 Jul01:44 i i      i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller89Richard Damon
6 Jul04:02 i i      i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller88Richard Damon
6 Jul05:34 i i      i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller87olcott
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 caller85Richard Damon
6 Jul16:19 i i      i      `* Re: My reviewers think that halt deciders must report on the behavior of their caller84olcott
6 Jul18:00 i i      i       `* Re: My reviewers think that halt deciders must report on the behavior of their caller83Richard Damon
6 Jul21:06 i i      i        `* Re: My reviewers think that halt deciders must report on the behavior of their caller82olcott
7 Jul03:09 i i      i         +* Re: My reviewers think that halt deciders must report on the behavior of their caller80Richard Damon
7 Jul04:12 i i      i         i`* Re: My reviewers think that halt deciders must report on the behavior of their caller79olcott
7 Jul08:36 i i      i         i +* Re: My reviewers think that halt deciders must report on the behavior of their caller46Fred. Zwarts
7 Jul14:23 i i      i         i i+* Re: My reviewers think that halt deciders must report on the behavior of their caller8olcott
8 Jul09:10 i i      i         i ii`* Re: My reviewers think that halt deciders must report on the behavior of their caller7Fred. Zwarts
8 Jul15:59 i i      i         i ii `* Re: My reviewers think that halt deciders must report on the behavior of their caller6olcott
9 Jul10:58 i i      i         i ii  +* Re: My reviewers think that halt deciders must report on the behavior of their caller4Fred. Zwarts
9 Jul14:46 i i      i         i ii  i`* Re: My reviewers think that halt deciders must report on the behavior of their caller3olcott
10 Jul12:17 i i      i         i ii  i +- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
10 Jul12:41 i i      i         i ii  i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
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 caller37olcott
7 Jul23:41 i i      i         i i +* Re: My reviewers think that halt deciders must report on the behavior of their caller35Richard Damon
8 Jul00:52 i i      i         i i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller34olcott
8 Jul03:18 i i      i         i i i `* Re: My reviewers think that halt deciders must report on the behavior of their caller33Richard Damon
8 Jul03:38 i i      i         i i i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller32olcott
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 caller22Richard Damon
8 Jul16:08 i i      i         i i i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller21olcott
8 Jul17:07 i i      i         i i i     +* Re: My reviewers think that halt deciders must report on the behavior of their caller17joes
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 caller14Mike 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 caller13olcott
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 caller4Fred. 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 caller3olcott
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
10 Jul12:08 i i      i         i i i     i  i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
9 Jul12:44 i i      i         i i i     i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller6Richard 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 --- Mike5olcott
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 --- Mike4Richard 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 --- Mike3olcott
10 Jul12:35 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 Jul14:24 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 caller9Mikko
7 Jul15:15 i i      i         i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller8olcott
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 caller6Mikko
8 Jul15:21 i i      i         i i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller5olcott
9 Jul09:22 i i      i         i i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller4Mikko
9 Jul13:25 i i      i         i i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller3olcott
10 Jul03:00 i i      i         i i     +- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
10 Jul10:30 i i      i         i i     `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Mikko
7 Jul12:19 i i      i         i `* Re: My reviewers think that halt deciders must report on the behavior of their caller23Richard Damon
7 Jul14:32 i i      i         i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller22olcott
7 Jul23:39 i i      i         i   `* Re: My reviewers think that halt deciders must report on the behavior of their caller21Richard Damon
8 Jul00:47 i i      i         i    `* Re: My reviewers think that halt deciders must report on the behavior of their caller20olcott
8 Jul03:24 i i      i         i     `* Re: My reviewers think that halt deciders must report on the behavior of their caller19Richard Damon
8 Jul03:52 i i      i         i      `* Re: My reviewers think that halt deciders must report on the behavior of their caller18olcott
8 Jul08:55 i i      i         i       +* Re: My reviewers think that halt deciders must report on the behavior of their caller6Fred. Zwarts
8 Jul15:31 i i      i         i       i`* Re: My reviewers think that halt deciders must report on the behavior of their caller5olcott
9 Jul10:04 i i      i         i       i `* Re: My reviewers think that halt deciders must report on the behavior of their caller4Fred. Zwarts
9 Jul14:16 i i      i         i       i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller3olcott
10 Jul11:59 i i      i         i       i   +- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
10 Jul12:36 i i      i         i       i   `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Richard Damon
8 Jul12:18 i i      i         i       `* Re: My reviewers think that halt deciders must report on the behavior of their caller11Richard Damon
8 Jul16:17 i i      i         i        `* Re: My reviewers think that halt deciders must report on the behavior of their caller10olcott
9 Jul09:58 i i      i         i         +* Re: My reviewers think that halt deciders must report on the behavior of their caller8Fred. Zwarts
9 Jul14:02 i i      i         i         i`* Re: My reviewers think that halt deciders must report on the behavior of their caller7olcott
9 Jul14:37 i i      i         i         i +* Re: My reviewers think that halt deciders must report on the behavior of their caller5joes
9 Jul15:06 i i      i         i         i i`* Re: My reviewers think that halt deciders must report on the behavior of their caller4olcott
9 Jul16:42 i i      i         i         i i `* Re: My reviewers think that halt deciders must report on the behavior of their caller3joes
9 Jul17:06 i i      i         i         i i  `* Re: My reviewers think that halt deciders must report on the behavior of their caller2olcott
10 Jul11:12 i i      i         i         i i   `- Re: My reviewers think that halt deciders must report on the behavior of their caller1joes
10 Jul11:54 i i      i         i         i `- Re: My reviewers think that halt deciders must report on the behavior of their caller1Fred. Zwarts
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 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