Re: How do computations actually work?

Liste des GroupesRevenir à c theory 
Sujet : Re: How do computations actually work?
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 30. May 2025, 10:05:28
Autres entêtes
Organisation : Fix this later
Message-ID : <101bsco$de5s$1@dont-email.me>
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 30
User-Agent : Mozilla Thunderbird
On 30/05/2025 08:47, Mikko wrote:
On 2025-05-29 16:41:26 +0000, Richard Heathfield said:
 
On 29/05/2025 16:27, Fred. Zwarts wrote:
The actual input is halting, the non-halting input is only in your dreams. There is no need to halt artificially a halting program.
>
Doesn't that rather depend on how long it will take to halt? After all, your user wants a report, and he might not have all day.
 If the user can't wait until the report is delivered then he
must find out what to do without the report.
That's one option. Or he could use a better termination analyst, one that doesn't suffer from the fatal flaw inherent in simulation.
Unfortunately, he then runs up against the /other/ fatal flaw, which is that what he wants can't be done.
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

Date Sujet#  Auteur
21 May 25 * Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion334Richard Damon
21 May 25 +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion2Richard Heathfield
21 May 25 i`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion1Richard Damon
21 May 25 `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC331olcott
21 May 25  +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC329Richard Heathfield
21 May 25  i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC328olcott
21 May 25  i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC320Richard Heathfield
21 May 25  i i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC319olcott
21 May 25  i i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC318Richard Heathfield
21 May 25  i i  `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC317olcott
21 May 25  i i   `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC316Richard Heathfield
21 May 25  i i    +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Keith Thompson
21 May 25  i i    i`- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
21 May 25  i i    +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC311olcott
21 May 25  i i    i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC310Richard Heathfield
21 May 25  i i    i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC309olcott
21 May 25  i i    i  `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC308Richard Heathfield
21 May 25  i i    i   `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC307olcott
21 May 25  i i    i    `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC306Richard Heathfield
21 May 25  i i    i     `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC305olcott
22 May 25  i i    i      `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC304Richard Heathfield
22 May 25  i i    i       `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC303olcott
22 May 25  i i    i        +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC254Richard Heathfield
22 May 25  i i    i        i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC253Keith Thompson
22 May 25  i i    i        i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC251Richard Heathfield
23 May 25  i i    i        i i`* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC250Mike Terry
23 May 25  i i    i        i i +* How do computations actually work?81olcott
23 May 25  i i    i        i i i+* Re: How do computations actually work?19wij
23 May 25  i i    i        i i ii+* Re: How do computations actually work?17olcott
23 May 25  i i    i        i i iii`* Re: How do computations actually work?16Mikko
23 May 25  i i    i        i i iii `* Re: How do computations actually work?15olcott
23 May 25  i i    i        i i iii  +* Re: How do computations actually work?6Richard Damon
23 May 25  i i    i        i i iii  i`* Re: How do computations actually work?5olcott
23 May 25  i i    i        i i iii  i +* Re: How do computations actually work?3Fred. Zwarts
23 May 25  i i    i        i i iii  i i`* Re: How do computations actually work?2olcott
23 May 25  i i    i        i i iii  i i `- Re: How do computations actually work?1Fred. Zwarts
23 May 25  i i    i        i i iii  i `- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i iii  `* Re: How do computations actually work?8Mikko
24 May 25  i i    i        i i iii   `* Re: How do computations actually work?7olcott
24 May 25  i i    i        i i iii    +* Re: How do computations actually work?4dbush
24 May 25  i i    i        i i iii    i`* Re: How do computations actually work?3olcott
24 May 25  i i    i        i i iii    i +- Re: How do computations actually work?1dbush
24 May 25  i i    i        i i iii    i `- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i iii    +- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i iii    `- Re: How do computations actually work?1Mikko
23 May 25  i i    i        i i ii`- Re: How do computations actually work?1Mikko
23 May 25  i i    i        i i i+* Re: How do computations actually work?39Mikko
23 May 25  i i    i        i i ii`* Re: How do computations actually work?38olcott
23 May 25  i i    i        i i ii +- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i ii `* Re: How do computations actually work?36Mikko
24 May 25  i i    i        i i ii  `* Re: How do computations actually work?35olcott
24 May 25  i i    i        i i ii   +- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i ii   `* Re: How do computations actually work?33Mikko
25 May 25  i i    i        i i ii    `* Re: How do computations actually work?32olcott
25 May 25  i i    i        i i ii     +* Re: How do computations actually work?19Fred. Zwarts
26 May17:40  i i    i        i i ii     i`* Re: How do computations actually work?18olcott
27 May09:29  i i    i        i i ii     i `* Re: How do computations actually work?17Mikko
27 May16:40  i i    i        i i ii     i  `* Re: How do computations actually work?16olcott
28 May08:36  i i    i        i i ii     i   `* Re: How do computations actually work?15Mikko
28 May15:31  i i    i        i i ii     i    `* Re: How do computations actually work?14olcott
28 May20:13  i i    i        i i ii     i     +* Re: How do computations actually work?9Fred. Zwarts
28 May20:55  i i    i        i i ii     i     i`* Re: How do computations actually work?8olcott
29 May12:05  i i    i        i i ii     i     i +- Re: How do computations actually work?1Richard Damon
29 May16:27  i i    i        i i ii     i     i `* Re: How do computations actually work?6Fred. Zwarts
29 May17:41  i i    i        i i ii     i     i  `* Re: How do computations actually work?5Richard Heathfield
30 May08:47  i i    i        i i ii     i     i   `* Re: How do computations actually work?4Mikko
30 May10:05  i i    i        i i ii     i     i    `* Re: How do computations actually work?3Richard Heathfield
30 May16:58  i i    i        i i ii     i     i     `* Re: How do computations actually work?2olcott
31 May12:40  i i    i        i i ii     i     i      `- Re: How do computations actually work?1Fred. Zwarts
29 May08:59  i i    i        i i ii     i     +* Re: How do computations actually work?3Mikko
29 May09:43  i i    i        i i ii     i     i`* Re: How do computations actually work?2Richard Heathfield
30 May08:50  i i    i        i i ii     i     i `- Re: How do computations actually work?1Mikko
29 May12:04  i i    i        i i ii     i     `- Re: How do computations actually work?1Richard Damon
26 May09:38  i i    i        i i ii     `* Re: How do computations actually work?12Mikko
26 May16:50  i i    i        i i ii      `* Re: How do computations actually work?11olcott
26 May17:05  i i    i        i i ii       +* Re: How do computations actually work?9Fred. Zwarts
26 May17:26  i i    i        i i ii       i`* Re: How do computations actually work?8olcott
26 May19:02  i i    i        i i ii       i +* Re: How do computations actually work?2Fred. Zwarts
26 May19:07  i i    i        i i ii       i i`- Re: How do computations actually work?1olcott
26 May21:50  i i    i        i i ii       i +- Re: How do computations actually work?1Richard Damon
27 May09:31  i i    i        i i ii       i `* Re: How do computations actually work?4Mikko
27 May16:41  i i    i        i i ii       i  `* Re: How do computations actually work?3olcott
28 May02:13  i i    i        i i ii       i   +- Re: How do computations actually work?1Richard Damon
28 May08:38  i i    i        i i ii       i   `- Re: How do computations actually work?1Mikko
26 May21:47  i i    i        i i ii       `- Re: How do computations actually work?1Richard Damon
23 May 25  i i    i        i i i+- Re: How do computations actually work?1Richard Damon
24 May 25  i i    i        i i i`* Re: How do computations actually work?21Mikko
24 May 25  i i    i        i i i `* Re: How do computations actually work?20olcott
24 May 25  i i    i        i i i  +- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i i  `* Re: How do computations actually work?18Mikko
25 May 25  i i    i        i i i   +* Re: How do computations actually work?4Richard Heathfield
25 May 25  i i    i        i i i   i`* Re: How do computations actually work?3Richard Damon
25 May 25  i i    i        i i i   i `* Re: How do computations actually work?2Richard Heathfield
25 May18:11  i i    i        i i i   i  `- Re: How do computations actually work?1Richard Damon
25 May 25  i i    i        i i i   `* Re: How do computations actually work?13olcott
26 May09:46  i i    i        i i i    `* Re: How do computations actually work?12Mikko
26 May16:57  i i    i        i i i     `* Re: How do computations actually work?11olcott
27 May09:37  i i    i        i i i      `* Re: How do computations actually work?10Mikko
27 May16:48  i i    i        i i i       `* Re: How do computations actually work?9olcott
28 May02:15  i i    i        i i i        +- Re: How do computations actually work?1Richard Damon
28 May08:43  i i    i        i i i        `* Re: How do computations actually work?7Mikko
23 May 25  i i    i        i i +- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Heathfield
23 May 25  i i    i        i i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC8olcott
23 May 25  i i    i        i i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC159Ben Bacarisse
22 May 25  i i    i        i `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1olcott
22 May 25  i i    i        `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC48joes
23 May 25  i i    `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Ben Bacarisse
21 May 25  i +* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC5Fred. Zwarts
22 May 25  i `* Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC2Richard Damon
21 May 25  `- Re: Analysis of Flibble’s Latest: Detecting vs. Simulating Infinite Recursion ZFC1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal