Re: Proving the: Simulating termination analyzer Principle

Liste des GroupesRevenir à cl c  
Sujet : Re: Proving the: Simulating termination analyzer Principle
De : jameskuyper (at) *nospam* alumni.caltech.edu (James Kuyper)
Groupes : comp.lang.c
Date : 06. Apr 2025, 01:54:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vssjcu$3l5ki$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 06/04/2025 00:18, olcott wrote:
...
Termination analyzers are not required to be infallible.

The Halting Problem refers to the impossibility of an infallible
termination analyzer. Fallible termination analyzers are trivially
possible - the question's not worth thinking about.

Date Sujet#  Auteur
5 Apr 25 * Proving the: Simulating termination analyzer Principle66olcott
5 Apr 25 +* Re: Proving the: Simulating termination analyzer Principle27dbush
5 Apr 25 i`* Re: Proving the: Simulating termination analyzer Principle26olcott
5 Apr 25 i +* Re: Proving the: Simulating termination analyzer Principle24dbush
5 Apr 25 i i`* Re: Proving the: Simulating termination analyzer Principle23Richard Heathfield
5 Apr 25 i i +* Re: Proving the: Simulating termination analyzer Principle11dbush
6 Apr 25 i i i`* Re: Proving the: Simulating termination analyzer Principle10olcott
6 Apr 25 i i i +* Re: Proving the: Simulating termination analyzer Principle5dbush
6 Apr 25 i i i i`* Re: Proving the: Simulating termination analyzer Principle4olcott
6 Apr 25 i i i i +* Re: Proving the: Simulating termination analyzer Principle2Richard Heathfield
6 Apr 25 i i i i i`- Re: Proving the: Simulating termination analyzer Principle1olcott
6 Apr 25 i i i i `- Re: Proving the: Simulating termination analyzer Principle1dbush
6 Apr 25 i i i `* Re: Proving the: Simulating termination analyzer Principle4Richard Heathfield
6 Apr 25 i i i  `* Re: Proving the: Simulating termination analyzer Principle3olcott
6 Apr 25 i i i   `* Re: Proving the: Simulating termination analyzer Principle2Richard Heathfield
6 Apr 25 i i i    `- Re: Proving the: Simulating termination analyzer Principle1olcott
6 Apr 25 i i `* Re: Proving the: Simulating termination analyzer Principle11olcott
6 Apr 25 i i  +* Re: Proving the: Simulating termination analyzer Principle6dbush
6 Apr 25 i i  i`* Re: Proving the: Simulating termination analyzer Principle5olcott
6 Apr 25 i i  i +* Re: Proving the: Simulating termination analyzer Principle2Richard Heathfield
6 Apr 25 i i  i i`- Re: Proving the: Simulating termination analyzer Principle1olcott
6 Apr 25 i i  i `* Re: Proving the: Simulating termination analyzer Principle2dbush
6 Apr 25 i i  i  `- Re: Proving the: Simulating termination analyzer Principle1olcott
6 Apr 25 i i  +- Re: Proving the: Simulating termination analyzer Principle1Richard Heathfield
6 Apr 25 i i  `* Re: Proving the: Simulating termination analyzer Principle3James Kuyper
6 Apr 25 i i   `* Re: Proving the: Simulating termination analyzer Principle2olcott
6 Apr 25 i i    `- Re: Proving the: Simulating termination analyzer Principle1Richard Heathfield
5 Apr 25 i `- Re: Proving the: Simulating termination analyzer Principle1Chris M. Thomasson
5 Apr 25 `* Re: Proving the: Simulating termination analyzer Principle38Richard Heathfield
5 Apr 25  `* Re: Proving the: Simulating termination analyzer Principle37olcott
5 Apr 25   `* Re: Proving the: Simulating termination analyzer Principle36Richard Heathfield
5 Apr 25    +* Re: Proving the: Simulating termination analyzer Principle15Kaz Kylheku
6 Apr 25    i+* Re: Proving the: Simulating termination analyzer Principle13Richard Heathfield
6 Apr 25    ii`* Re: Proving the: Simulating termination analyzer Principle12Tim Rentsch
6 Apr 25    ii +- Re: Proving the: Simulating termination analyzer Principle1Richard Heathfield
6 Apr 25    ii `* Re: Proving the: Simulating termination analyzer Principle10olcott
7 Apr 25    ii  `* Re: Proving the: Simulating termination analyzer Principle9Tim Rentsch
7 Apr 25    ii   `* Re: Proving the: Simulating termination analyzer Principle8olcott
7 Apr 25    ii    `* Re: Proving the: Simulating termination analyzer Principle7Tim Rentsch
7 Apr 25    ii     +* Re: Proving the: Simulating termination analyzer Principle4Keith Thompson
7 Apr 25    ii     i+- Re: Proving the: Simulating termination analyzer Principle1olcott
8 Apr 25    ii     i`* Re: Proving the: Simulating termination analyzer Principle2Tim Rentsch
9 Apr 25    ii     i `- Re: Proving the: Simulating termination analyzer Principle1olcott
7 Apr 25    ii     +- Re: Proving the: Simulating termination analyzer Principle1olcott
9 Apr 25    ii     `- Re: Proving the: Simulating termination analyzer Principle1olcott
6 Apr 25    i`- Re: Proving the: Simulating termination analyzer Principle1olcott
6 Apr 25    `* Re: Proving the: Simulating termination analyzer Principle20olcott
6 Apr 25     `* Re: Proving the: Simulating termination analyzer Principle19Richard Heathfield
6 Apr 25      `* Re: Proving the: Simulating termination analyzer Principle18olcott
9 Apr 25       `* Re: Proving the: Simulating termination analyzer Principle17Chris M. Thomasson
9 Apr 25        `* Re: Proving the: Simulating termination analyzer Principle16olcott
10 Apr 25         `* Re: Proving the: Simulating termination analyzer Principle15Chris M. Thomasson
10 Apr 25          `* Re: Proving the: Simulating termination analyzer Principle14olcott
10 Apr 25           `* Re: Proving the: Simulating termination analyzer Principle13Chris M. Thomasson
10 Apr 25            +- Re: Proving the: Simulating termination analyzer Principle1Chris M. Thomasson
10 Apr 25            `* Re: Proving the: Simulating termination analyzer Principle11olcott
11 Apr 25             `* Re: Proving the: Simulating termination analyzer Principle10Chris M. Thomasson
11 Apr 25              `* Re: Proving the: Simulating termination analyzer Principle9olcott
11 Apr 25               `* Re: Proving the: Simulating termination analyzer Principle8Chris M. Thomasson
11 Apr 25                +* Re: Proving the: Simulating termination analyzer Principle2Richard Heathfield
13 Apr13:08                i`- Re: Proving the: Simulating termination analyzer Principle1olcott
13 Apr13:03                `* Re: Proving the: Simulating termination analyzer Principle5olcott
13 Apr20:38                 `* Re: Proving the: Simulating termination analyzer Principle4Chris M. Thomasson
13 Apr20:56                  `* Re: Proving the: Simulating termination analyzer Principle3olcott
13 Apr22:50                   `* Re: Proving the: Simulating termination analyzer Principle2Chris M. Thomasson
14 Apr00:26                    `- Re: Proving the: Simulating termination analyzer Principle1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal