Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH

Liste des GroupesRevenir à theory 
Sujet : Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory
Date : 08. Feb 2025, 13:53:53
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <vo7k51$12q1$1@news.muc.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
Op 08.feb.2025 om 06:53 schreef olcott:

[ .... ]

If so, then it proves the failure of the simulation. The simulation
aborts too soon on unsound grounds, one cycle before the normal
termination of the program.

Hello, Fred.

Welcome back!

--
Alan Mackenzie (Nuremberg, Germany).


Date Sujet#  Auteur
5 Feb 25 * A third line of cancer treatment reversed the growth of the right paracaval lymph node172olcott
5 Feb 25 `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node171Bonita Montero
5 Feb 25  `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node170olcott
6 Feb 25   `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node169Bonita Montero
6 Feb 25    `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node168olcott
6 Feb 25     +- Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node1Bonita Montero
6 Feb 25     `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node166Richard Damon
6 Feb 25      `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node165olcott
7 Feb 25       `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node164Richard Damon
7 Feb 25        `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node163olcott
7 Feb 25         `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node162Richard Damon
7 Feb 25          `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node161olcott
8 Feb 25           `* Re: A third line of cancer treatment reversed the growth of the right paracaval lymph node160Richard Damon
8 Feb 25            `* Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH159olcott
8 Feb 25             `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH158Richard Damon
8 Feb 25              `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH157olcott
8 Feb 25               +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH146Fred. Zwarts
8 Feb 25               i+- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Alan Mackenzie
8 Feb 25               i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH144olcott
8 Feb 25               i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH142Fred. Zwarts
9 Feb 25               i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH141olcott
9 Feb 25               i i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH137Fred. Zwarts
9 Feb 25               i i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH136olcott
9 Feb 25               i i i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH135Fred. Zwarts
9 Feb 25               i i i  `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH134olcott
9 Feb 25               i i i   +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25               i i i   `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH132Fred. Zwarts
9 Feb 25               i i i    `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH131olcott
9 Feb 25               i i i     `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH130Fred. Zwarts
9 Feb 25               i i i      `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH129olcott
10 Feb 25               i i i       +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25               i i i       +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH35Fred. Zwarts
10 Feb 25               i i i       i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH34olcott
10 Feb 25               i i i       i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH29Fred. Zwarts
10 Feb 25               i i i       i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH28olcott
10 Feb 25               i i i       i i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25               i i i       i i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1joes
10 Feb 25               i i i       i i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH25Fred. Zwarts
10 Feb 25               i i i       i i  `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH24olcott
11 Feb 25               i i i       i i   +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25               i i i       i i   +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH18joes
11 Feb 25               i i i       i i   i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH17olcott
11 Feb 25               i i i       i i   i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH15Fred. Zwarts
11 Feb 25               i i i       i i   i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH14olcott
11 Feb 25               i i i       i i   i i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH12Fred. Zwarts
13 Feb 25               i i i       i i   i i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH11olcott
13 Feb 25               i i i       i i   i i i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH9Fred. Zwarts
14 Feb 25               i i i       i i   i i i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH8olcott
14 Feb 25               i i i       i i   i i i i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH7Richard Damon
14 Feb 25               i i i       i i   i i i i  `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH6olcott
14 Feb 25               i i i       i i   i i i i   +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH4joes
15 Feb 25               i i i       i i   i i i i   i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3olcott
15 Feb 25               i i i       i i   i i i i   i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25               i i i       i i   i i i i   i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Fred. Zwarts
14 Feb 25               i i i       i i   i i i i   `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
13 Feb 25               i i i       i i   i i i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
12 Feb 25               i i i       i i   i i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
12 Feb 25               i i i       i i   i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25               i i i       i i   `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH4Fred. Zwarts
11 Feb 25               i i i       i i    `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3olcott
11 Feb 25               i i i       i i     +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Fred. Zwarts
12 Feb 25               i i i       i i     `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25               i i i       i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25               i i i       i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3joes
10 Feb 25               i i i       i  `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH2olcott
11 Feb 25               i i i       i   `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25               i i i       `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH92joes
10 Feb 25               i i i        `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH91olcott
10 Feb 25               i i i         +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3Richard Damon
10 Feb 25               i i i         i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH2olcott
11 Feb 25               i i i         i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
10 Feb 25               i i i         `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH87joes
10 Feb 25               i i i          `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH86olcott
10 Feb 25               i i i           +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH84joes
10 Feb 25               i i i           i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH83olcott
11 Feb 25               i i i           i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25               i i i           i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH81joes
11 Feb 25               i i i           i  `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH80olcott
11 Feb 25               i i i           i   +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH78joes
13 Feb 25               i i i           i   i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH77olcott
13 Feb 25               i i i           i   i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH75joes
13 Feb 25               i i i           i   i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH74olcott
13 Feb 25               i i i           i   i i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH72Fred. Zwarts
14 Feb 25               i i i           i   i i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH71olcott
14 Feb 25               i i i           i   i i i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
14 Feb 25               i i i           i   i i i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH21joes
14 Feb 25               i i i           i   i i i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH20olcott
14 Feb 25               i i i           i   i i i i +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH7joes
15 Feb 25               i i i           i   i i i i i`* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH6olcott
15 Feb 25               i i i           i   i i i i i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25               i i i           i   i i i i i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH4Fred. Zwarts
16 Feb 25               i i i           i   i i i i i  `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3olcott
16 Feb 25               i i i           i   i i i i i   +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Fred. Zwarts
16 Feb 25               i i i           i   i i i i i   `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
14 Feb 25               i i i           i   i i i i +- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
14 Feb 25               i i i           i   i i i i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH11Fred. Zwarts
15 Feb 25               i i i           i   i i i i  +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3olcott
15 Feb 25               i i i           i   i i i i  i+- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
15 Feb 25               i i i           i   i i i i  i`- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Fred. Zwarts
16 Feb 25               i i i           i   i i i i  `* DIFFERENT LEVELS OF RECURSION --- DD specifies non-terminating behavior to HHH7olcott
16 Feb 25               i i i           i   i i i i   +* Re: DIFFERENT LEVELS OF RECURSION --- DD specifies non-terminating behavior to HHH5Fred. Zwarts
16 Feb 25               i i i           i   i i i i   `- Re: DIFFERENT LEVELS OF RECURSION --- DD specifies non-terminating behavior to HHH1Richard Damon
14 Feb 25               i i i           i   i i i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH48Fred. Zwarts
14 Feb 25               i i i           i   i i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
13 Feb 25               i i i           i   i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
12 Feb 25               i i i           i   `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
11 Feb 25               i i i           `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
9 Feb 25               i i `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3Richard Damon
8 Feb 25               i `- Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH1Richard Damon
8 Feb 25               +* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH7Richard Damon
8 Feb 25               `* Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH3Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal