XPost: sci.logic, comp.theory, sci.math
From: polcott333@gmail.com
On 11/15/2025 10:09 PM, wij wrote:
> On Sat, 2025-11-15 at 21:01 -0600, olcott wrote:
>> On 11/15/2025 8:55 PM, 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.
>>>>
>>>
>>> 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.
>>>
>>> The information that HHH is required to report
>>> on simply is not contained in its input.
>>>
>>> The information that HHH is required to report
>>> on simply is not contained in its input.
>>>
>>> The information that HHH is required to report
>>> on simply is not contained in its input.
>>>
>>
>> People that have a very shallow understanding of these
>> things would say that is what undecidable means.
>
> It is you who don't even understand the logical 'if',
It it ridiculously stupid of you to say that
I do not understand logical if.
Google [Olcott's Minimal Type Theory]
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
