Sujet : Re: How do computations actually work?
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 29. May 2025, 17:41:26
Autres entêtes
Organisation : Fix this later
Message-ID : <101a2nm$3v0mf$2@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 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 it hasn't stopped after a few dozen instructions, it's probably safe to assume it won't halt. After all, it's probably not testing the Goldbach Conjecture. Most programs don't.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within