Liste des Groupes | Revenir à c theory |
On 15/04/2025 02:18, olcott wrote:Ignoring verified facts does not make them go away.On 4/14/2025 7:39 AM, Richard Heathfield wrote:You said precisely the same thing in reply to dbush. I have addressed your remark there, so I see no value in repeating my reply here.On 14/04/2025 12:56, olcott wrote:>
>
<snip>
>When people insist that a termination analyzer reports>
on behavior other than the behavior that its finite string
input specifies this is isomorphic to requiring a perfectly
geometric square circle in the same two dimensional plane,
simply logically impossible, thus an incorrect requirement.
A termination analyzer that works is simply logically impossible, thus an incorrect requirement.
>
THAT IS A STUPID THING TO SAY THAT COMPLETELY IGNORES WHAT
COMPUTABLE FUNCTIONS ARE AND HOW THEY WORK.
HHH CORRECTLY REPORTS ON THE PATHOLOGICAL SELF-REFERENCE THATYou say so,
ITS INPUT SPECIFIES. THE DIRECT EXECUTION HAS NO SUCH PSR.
but as it's you saying it and you can't even turn off CAPS LOCK I see no reason to believe that you have the capacity to be right,Belief and disbelief are inherently fallible.
so I think I'll wait until your claim is confirmed by an independent observer.Thus forever postponing the ultimate measure of direct comprehension.
Les messages affichés proviennent d'usenet.