Sujet : Re: What it would take... People to address my points with reasoning instead of rhetoric
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 14. May 2025, 16:44:01
Autres entêtes
Organisation : Fix this later
Message-ID : <1002do1$2h3mu$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 14/05/2025 16:32, olcott wrote:
<snip>
It is nuts to propose the idea of a universal
halt decider when we know that there are some
things that can only be decided by an infinite
computation.
It is precisely because Alan Turing proposed the idea of a universal halt decider that we know that there are some things that can only be decided by an infinite computation.
When you try to mock the giant whose shoulders are beyond the reach of your ladder, you succeed only in drawing attention to his height.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within