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

Groups > comp.theory > #37195

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

Cross-posted to 4 groups.

Show all headers | View raw

On Tue, 27 Jul 2021 16:06:09 -0500
olcott <NoOne@NoWhere.com> wrote:

> On 7/27/2021 2:47 PM, Mr Flibble wrote:
> > On Tue, 27 Jul 2021 14:14:20 -0500
> > olcott <NoOne@NoWhere.com> 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.  
> > 
> > It is based on my own reasoning not yours, dear.
> > 
> > /Flibble
> >   
> 
> It is documented that I came up with the idea of infinitely nested 
> recursion/simulation in 2016. I have posted this idea very
> extensively in this forum long before you even understood the nature
> of the halting problem proofs.
> 
>      It looks like the original specification provided
>      in the Linz text may be infinitely recursive in
>      that each TM requires its own input.
> 
> https://www.researchgate.net/publication/307509556_Self_Modifying_Turing_Machine_SMTM_Solution_to_the_Halting_Problem_concrete_example 
> 
> 
> It was shortly before you posted this message that you showed that
> you understood the difference between refuting the halting problem
> proofs and solving the halting problem.
> 
> On 7/10/2021 12:00 PM, Mr Flibble wrote:
>  > I agree with Olcott that a halt decider can NOT be part of that
>  > which is being decided (see [Strachey 1965]) which, if Olcott is
>  > correct, falsifies a collection of proofs (which I don't have the
>  > time to examine) which rely on that mistake.  >
>  > /Flibble
>  >  
> 
> Prior to this there was no indication that you understood the
> mechanism of the conventional proofs at all. After this you proved
> that you understood this mechanism far better that most everyone else.
 
Two people can arrive at the same conclusion independently you know.  I
pointed out to you that [Strachey 1965] was pathological/erroneous due
to the decider being part of or called by that which is being decided
(P) which gives arise to a necessarily tri-state decision result with
the third result state being that P is invalid.

/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