Sujet : Re: Bad faith and dishonesty
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 29. May 2025, 21:00:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <101aecc$1iu2$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 5/29/2025 2:53 PM, dbush wrote:
On 5/29/2025 3:43 PM, olcott wrote:
On 5/29/2025 2:35 PM, dbush wrote:
On 5/29/2025 3:24 PM, olcott wrote:
On 5/29/2025 2:08 PM, Richard Heathfield wrote:
On 29/05/2025 20:02, olcott wrote:
On 5/29/2025 1:40 PM, Richard Heathfield wrote:
On 29/05/2025 19:14, olcott wrote:
>
<snip>
>
It is a tautology that any input D to termination
analyzer H that *would never stop running unless aborted*
DOES SPECIFY NON-TERMINATING BEHAVIOR.
>
But in making that claim you assume that you correctly know the termination behaviour of D.
>
>
All that H needs to know is that D
*would never stop running unless aborted*
>
But it *doesn't* know that.
>
You forgot to address my substantive point.
>
>
Not at all. I have been doing this for a very long time.
Even when we go exactly one point at a time it takes people
here several years to begin to address that one point.
>
It is a tautology that any input D
>
i.e. a description of algorithm D
>
>
int sum(int x, int y) { return x + y; }
>
*Description*
The above function does some arithmetic stuff
>
*Specification*
_sum()
[000021b3] 55 push ebp
[000021b4] 8bec mov ebp,esp
[000021b6] 8b4508 mov eax,[ebp+08]
[000021b9] 03450c add eax,[ebp+0c]
[000021bc] 5d pop ebp
[000021bd] c3 ret
Size in bytes:(0011) [000021bd]
>
"Description" is a technical term which means a way to encode everything about the algorithm in question.
And for algorithm D, that description consists of the fixed code of the function D, the fixed code of the function H, and the fixed code of everything that H calls down to the OS level.
A simulating termination analyzer must PREDICT FUTURE BEHAVIOR.
This means that it must predict what the behavior WOULD BE if
it never aborted its simulation.
It is a tautology that any input D to simulating termination
analyzer H that *would never stop running unless aborted*
DOES SPECIFY NON-TERMINATING BEHAVIOR.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Re: Bad faith and dishonesty
Re: Bad faith and dishonesty