XPost: comp.theory, sci.logic, sci.math
From: 643-408-1753@kylheku.com
On 2025-11-20, olcott wrote:
> On 11/19/2025 10:42 PM, Kaz Kylheku wrote:
>> On 2025-11-20, olcott wrote:
>>> On 11/19/2025 3:41 PM, Kaz Kylheku wrote:
>>>> On 2025-11-19, olcott wrote:
>>>>> The sound basis of this reasoning is the
>>>>> semantics of the C programming language.
>>>>
>>>> ... and, note,
>>> that you dishonestly erased most of the context
>>
>> That's just the same pseudo-code snppet you've posted
>> hundreds of times.
>>
>
> The idea is that I will keep repeating this
> until you pay attention
>
> int DD()
> {
> int Halt_Status = HHH(DD);
> if (Halt_Status)
> HERE: goto HERE;
> return Halt_Status;
> }
>
> int main()
> {
> HHH(DD);
> }
>
I've given ths an incredible amount of attention.
> HHH simulates DD that calls HHH(DD)
> that simulates DD that calls HHH(DD)...
If HHH(DD) returns 0, it's this;
HHH simulates DD that calls HHH(DD)
- that simulates DD that calls HHH(DD)...
- that simulates DD that calls HHH(DD)...
- but only partially, returning 0.
- such that DD terminates.
- but only partially, returning 0.
- such that DD terminates.
Adding another level:
HHH simulates DD that calls HHH(DD)
- that simulates DD that calls HHH(DD)...
- that simulates DD that calls HHH(DD)...
- that simulates DD that calls HHH(DD)...
- that ...
- that ...
- that ...
- but only partially, returning 0.
- such that DD terminates.
- but only partially, returning 0.
- such that DD terminates.
- but only partially, returning 0.
- such that DD terminates.
Infinite simulation tower: finite DD's.
Since you don't grok this but I do, obviously the one who has
paid more attention is me.
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
--- SoupGate-Win32 v1.05
* Origin: you cannot sedate... all the things you hate (1:229/2)
|
