XPost: comp.theory, sci.logic, sci.math
From: acm@muc.de
[ Followup-To: set ]
In comp.theory olcott wrote:
> On 11/15/2025 8:48 PM, Kaz Kylheku wrote:
>> On 2025-11-16, olcott wrote:
>>> HHH cannot possibly report on the behavior
>>> of its caller because HHH has no way of
>>> knowing what function is calling it.
>>> This means that when the halting problem
>>> requires HHH to report on the behavior of
>>> its caller: DD() that its is requiring
>>> something outside the scope of computation.
>> That's dumber than the Witch scene in Monty Python and The Holy Grail.
> *I will be utterly relentless about this*
> *I will be utterly relentless about this*
> *I will be utterly relentless about this*
Utterly wilful and stupid would be more like it.
> Yes and now if you could just translate that
> mere baseless rhetoric into actual reasoning
> with a sound basis.
> Not to denigrate you but I think that this
> would be totally out of your depth as it
> would be for most everyone.
Your thinking is out of kilter with reality.
> The information that HHH is required to report
> on simply is not contained in its input.
Wrong. It is.
> The information that HHH is required to report
> on simply is not contained in its input.
Wrong. It is.
> The information that HHH is required to report
> on simply is not contained in its input.
Wrong. It is.
> The information that HHH is required to report
> on simply is not contained in its input.
Wrong. It is.
> The information that HHH is required to report
> on simply is not contained in its input.
Wrong. It is.
> --
> Copyright 2025 Olcott
> My 28 year goal has been to make
> "true on the basis of meaning" computable.
--
Alan Mackenzie (Nuremberg, Germany).
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
