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

Groups > comp.theory > #37155

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

From Peter <peterxpercival@hotmail.com>
Newsgroups comp.theory
Subject Re: The contradiction that the HP is predicated on is detectable ..
Date 2021-07-27 20:02 +0100
Organization Aioe.org NNTP Server
Message-ID <sdpl8u$upe$1@gioia.aioe.org> (permalink)
References <20210727183426.00002ff2@reddwarf.jmc>

Show all headers | View raw

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.

> 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
> 


-- 
The world will little note, nor long remember what we say here
Abraham Lincoln at Gettysburg

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