Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #37165

Re: The contradiction that the HP is predicated on is detectable ..

Show all headers | View raw

On 7/27/21 12:14 PM, olcott wrote:
> On 7/27/2021 2:02 PM, Peter wrote:
>> Mr Flibble wrote:
>>> .. due to the infinite recursion missed by Strachey blowing the stack of
>>> any turing machine simulator with finite memory (stack) size.  One
>>
>> Turing machines don't have stacks.  Stack machines have (of course)
>> stacks of limitless length.
>>
> 
> Flibble's reasoning is correct, yet based on my 2016 reasoning.
> When the otherwise computationally equivalent TM counter-example cases
> are translated into an architecture having finite resources running out
> of stack memory would indicate infinite recursion.
No, that is incorrect. You can make a truly finite machine that exceeds
the capability of your finite machine. Thus it is incorrect to say that
any machine that exceeds your memory is infinite.

You CAN argue that as long as your machine doesn't run out of memory you
are equivalent, but if you do, you have lost that claim.

Note, that this ALSO requires that your finite equivalents actually are
equivalent, which your current system isn't, but so far it hasn't been
worth fighting that too much.

You WILL need to fix that to make the proof more formal, which will kill
your currect test for recursion.

> 
>>> simply needs to detect out of memory when more than one instance of the
>>> decider is present in the call stack.
>>>
>>> This is a troll.
>>>
>>> Message ends.
>>>
>>> /Flibble
>>>
>>
>>
> 
> 

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

The contradiction that the HP is predicated on is detectable .. Mr Flibble <flibble@reddwarf.jmc> - 2021-07-27 18:34 +0100
  Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 12:59 -0500
  Re: The contradiction that the HP is predicated on is detectable .. Peter <peterxpercival@hotmail.com> - 2021-07-27 20:02 +0100
    Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 14:14 -0500
      Re: The contradiction that the HP is predicated on is detectable .. "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-27 12:23 -0700
        Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 14:36 -0500
      Re: The contradiction that the HP is predicated on is detectable .. Peter <peterxpercival@hotmail.com> - 2021-07-27 20:46 +0100
        Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 17:13 -0500
          Re: The contradiction that the HP is predicated on is detectable .. Richard Damon <Richard@Damon-Family.org> - 2021-07-27 15:56 -0700
            Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 18:06 -0500
              Re: The contradiction that the HP is predicated on is detectable .. Richard Damon <Richard@Damon-Family.org> - 2021-07-27 16:17 -0700
      Re: The contradiction that the HP is predicated on is detectable .. Mr Flibble <flibble@reddwarf.jmc> - 2021-07-27 20:47 +0100
        Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 16:06 -0500
          Re: The contradiction that the HP is predicated on is detectable .. Mr Flibble <flibble@reddwarf.jmc> - 2021-07-28 17:35 +0100
            Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-28 12:31 -0500
      Re: The contradiction that the HP is predicated on is detectable .. André G. Isaak <agisaak@gm.invalid> - 2021-07-27 13:58 -0600
        Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 17:13 -0500
      Re: The contradiction that the HP is predicated on is detectable .. Richard Damon <news.x.richarddamon@xoxy.net> - 2021-07-27 13:05 -0700
        Re: The contradiction that the HP is predicated on is detectable .. "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-27 13:11 -0700
      Re: The contradiction that the HP is predicated on is detectable .. Jeff Barnett <jbb@notatt.com> - 2021-07-27 15:04 -0600
        Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-27 16:56 -0500
          Re: The contradiction that the HP is predicated on is detectable .. Jeff Barnett <jbb@notatt.com> - 2021-07-28 00:44 -0600
            Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-28 08:57 -0500
        Re: The contradiction that the HP is predicated on is detectable .. Mr Flibble <flibble@reddwarf.jmc> - 2021-07-28 17:36 +0100
          Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-28 12:33 -0500
          Re: The contradiction that the HP is predicated on is detectable .. Jeff Barnett <jbb@notatt.com> - 2021-07-28 11:40 -0600
            Re: The contradiction that the HP is predicated on is detectable .. olcott <NoOne@NoWhere.com> - 2021-07-28 12:53 -0500
              Re: The contradiction that the HP is predicated on is detectable .. Richard Damon <Richard@Damon-Family.org> - 2021-07-28 11:25 -0700

csiph-web