Sujet : Re: Halting Problem: How my refutation differs to Peter Olcott's
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 13. May 2025, 11:13:56
Autres entêtes
Organisation : -
Message-ID : <vvv614$1oi4e$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Unison/2.2
On 2025-05-12 15:51:21 +0000, olcott said:
On 5/12/2025 9:38 AM, Richard Heathfield wrote:
On 12/05/2025 15:32, olcott wrote:
On 5/12/2025 2:32 AM, Mikko wrote:
On 2025-05-11 11:52:05 +0000, Mr Flibble said:
On Sun, 11 May 2025 11:49:50 +0000, joes wrote:
<snip>
No. HHH has a string representation, like every program.
No. Conflating a program with a string representation of the same program
in the manner of a self-referential dependency is a category (type) error.
There are several meanings for the word "program" but a common one is a
string that specifies what shall happen when the program is executed.
One possible string representation of that string is the string itself.
A better name is computational unit.
That's a terrible name. But okay, if you think it's better, who is anyone here to stop you using it? Just don't expect me to.
What other name encompasses
(a) subroutines
(b) programs
(c) integrated systems comprised of many programs
Software
-- Mikko
Re: Halting Problem: How my refutation differs to Peter Olcott's
Re: Halting Problem: How my refutation differs to Peter Olcott's
