Sujet : Re: DDD simulated by HHH cannot possibly halt (Halting Problem)
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 11. Apr 2025, 09:24:47
Autres entêtes
Organisation : Fix this later
Message-ID : <vtajkf$10asg$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 11/04/2025 08:57, Mikko wrote:
No proof of this principle has been shown so its use is not valid.
Wweellll...
No proof of Peano's axioms or Euclid's fifth postulate has been shown. That doesn't mean we can't use them.
Mr Olcott can have his principle if he likes, but only by EITHER proving it (which, as you say, he has not yet done) OR by taking it as axiomatic, leaving the world of mainstream computer science behind him, constructing his own computational 'geometry' so to speak, and abandoning any claim to having overturned the Halting Problem. Navel contemplation beckons.
Axioms are all very well, and he's free to invent as many as he wishes, but nobody else is obliged to accept them.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within
…