Re: Program analysis

On Aug 9, 3:34 pm, Richard Heathfield <r...@xxxxxxxxxxxxxxx> wrote:
Richard Harter said:

<snip>



Programs fall into
three classes; those that provably halt, those that provably never
halt, and those that never halt but cannot be proven never to halt.

And this is strange, because the one class you missed is the one that
(probably) reflects the real truth: all programs halt eventually, but
this cannot be proven. Any sufficiently important program will be
terminated when the tea lady treads on the plug. And of course the
Second Law of Thermodynamics will polish off any that remain.


Ah yes.. all programs halt with the heat death of the universe.

.

Relevant Pages

  • Re: Program analysis
    ... those that provably halt, ... halt, and those that never halt but cannot be proven never to halt. ... That depends upon which real truth you're after - the mathematician's real ... mathematics forever is only the beginning of time. ...
    (comp.programming)
  • Re: Program analysis
    ... Richard Harter said: ... Programs fall into ... those that provably halt, ... halt, and those that never halt but cannot be proven never to halt. ...
    (comp.programming)
  • Re: ******** CAN ANYONE HERE DEFINE CHAITINS OMEGA ? ***********
    ... Probabilities are confined to the closed interval. ... >> The issue is similar to the harmonic series, and diverges for much ... >> Even if only a third of the programs halt, ...
    (sci.math)
  • Re: ******** CAN ANYONE HERE DEFINE CHAITINS OMEGA ? ***********
    ... Probabilities are confined to the closed interval. ... >> The issue is similar to the harmonic series, and diverges for much ... >> Even if only a third of the programs halt, ...
    (sci.logic)
  • Re: rolling dice
    ... Bill Reid said: ... Not only did he not call a halt to the proceedings, ... want to "egg them on". ...
    (comp.lang.c)