Sujet : Re: What it would take... People to address my points with reasoning instead of rhetoric
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 14. May 2025, 18:17:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <1002j6t$2k00a$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 5/14/2025 10:44 AM, Richard Heathfield wrote:
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.
That has nothing to do with any of the
conventional proofs that the halting
problem has no solution.
It is never "yes it can be done in an infinite number of steps"
It is always "the halt decider cannot decide a contradictory input"
So your comment was a bogus attempt at the straw-man deception.
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.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer