Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: How Partial Simulations correctly determine non-halting --- Ben's
 strawman deception
Date: Wed, 5 Jun 2024 07:09:52 -0500
Organization: A noiseless patient Spider
Lines: 48
Message-ID: <v3pkig$v133$1@dont-email.me>
References: <v3j20v$3gm10$2@dont-email.me>
 <J_CdnTaA96jxpcD7nZ2dnZfqnPudnZ2d@brightview.co.uk>
 <87h6eamkgf.fsf@bsb.me.uk> <v3kcdj$3stk9$1@dont-email.me>
 <v3l7uo$13cp$8@dont-email.me> <v3lcat$228t$3@dont-email.me>
 <v3mq9j$chc3$1@dont-email.me> <v3mrli$chc4$1@dont-email.me>
 <_gWdnbwuZPJP2sL7nZ2dnZfqn_GdnZ2d@brightview.co.uk>
 <v3nkqr$h7f9$3@dont-email.me> <v3oeh5$jthg$2@dont-email.me>
 <v3of8e$lirl$1@dont-email.me> <v3ofld$jthh$1@dont-email.me>
 <v3oh8l$pi6u$3@dont-email.me> <v3ohkh$jthg$4@dont-email.me>
 <87frtr6867.fsf@bsb.me.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 05 Jun 2024 14:09:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="dbcb5a2e000d59c1dda264f94a647a93";
	logging-data="1016931"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+kDqmQZrwPmyg+q7e+zeYK"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:mMJhH74FpTYsIRhp+L0su0mJ9N8=
In-Reply-To: <87frtr6867.fsf@bsb.me.uk>
Content-Language: en-US
Bytes: 2943

On 6/5/2024 4:38 AM, Ben Bacarisse wrote:
> John Smith <news2@immibis.com> writes:
> 
>> Then increase the stack space until it doesn't run out. Turing machines
>> can't run out of stack space unless you programmed them wrong.
> 
> A Turing machine can't run out of stack space because there is no stack.
> That's like saying a polynomial has limited precision if you evaluate it
> badly.  It's the evaluation that's wrong, not the polynomial.  I know
> what you mean, but having talked to maths crank on Usenet for years, one
> thing I would caution against is being slowly sucked into the cranks bad
> use of technical terms.
> 

void Recursion_Chain_03(int M)
{
   Recursion_Chain_01(M);
}

void Recursion_Chain_02(int M)
{
   Recursion_Chain_03(M);
}

void Recursion_Chain_01(int M)
{
   Recursion_Chain_02(M);
}

int main()
{
   Output("Input_Halts = ", H(Recursion_Chain_01,(ptr)5));
}

My simulating termination analyzer correctly determines
that the above sequence will not terminate.

When theory of computation questions are analyzed on physical machines
having physical memory running out is stack space is possible, thus
changing to subject to something else as a type of rebuttal is still the
strawman deception.


-- 

Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer