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

Groups > comp.theory > #36112

Re: Olcott's theory

From Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups comp.theory
Subject Re: Olcott's theory
Date 2021-07-11 02:56 +0100
Organization A noiseless patient Spider
Message-ID <871r85zk8u.fsf@bsb.me.uk> (permalink)
References (3 earlier) <F4WdnUGyybYxfHT9nZ2dnUU7-TPNnZ2d@giganews.com> <sccsha$1aj9$1@gioia.aioe.org> <1c-dnetOgJPflnf9nZ2dnUU7-fHNnZ2d@giganews.com> <scd816$1htm$1@gioia.aioe.org> <S82dnaVZZM8JsHf9nZ2dnUU7-SednZ2d@giganews.com>

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> All of the textbooks have this same proof.

You have not even read the proper proof given in the textbook that you
appear to have: "An Introduction to Formal Languages and Automata" by
Peter Linz.

> As long as the Turing proof is based on the same idea I am set.

Turing never published a proof of the halting theorem, though he
certainly knew it.  His 1936 paper was not concerned with halting, but
with defining "commutable numbers".

I think it was Martin Davis who coined the term "halting problem", but
his use of the terms is not what you would recognise, and the proof is
entirely different.

I don't know who first published a proof of the form you are so obsessed
with.  If anyone knows, I'd like to hear about it.  Of course it comes
in many guises, for Turing machines and other models like register
machines (as I first encountered it), so maybe it was not originally
given for TMs at all?

-- 
Ben.

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

Thread

Olcott's theory Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 18:00 +0100
  Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-10 12:08 -0500
    Re: Olcott's theory Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 18:12 +0100
      Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-10 13:06 -0500
        Re: Olcott's theory Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 19:23 +0100
          Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-10 13:32 -0500
            Re: Olcott's theory Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 19:38 +0100
              Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-10 13:45 -0500
                Re: Olcott's theory Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 19:59 +0100
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) olcott <NoOne@NoWhere.com> - 2021-07-10 14:09 -0500
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 20:14 +0100
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) olcott <NoOne@NoWhere.com> - 2021-07-10 14:32 -0500
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 20:35 +0100
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-10 14:08 -0700
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) olcott <NoOne@NoWhere.com> - 2021-07-10 16:12 -0500
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 22:39 +0100
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) olcott <NoOne@NoWhere.com> - 2021-07-10 16:46 -0500
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 22:52 +0100
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) olcott <NoOne@NoWhere.com> - 2021-07-10 16:58 -0500
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) Mr Flibble <flibble@reddwarf.jmc> - 2021-07-10 23:00 +0100
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) olcott <NoOne@NoWhere.com> - 2021-07-10 17:08 -0500
                Re: Olcott's theory (Ben, Kaz or Mike please talk to Flibble) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-10 15:12 -0700
        Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-10 20:30 +0100
          Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-10 16:04 -0500
            Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-10 23:47 +0100
              Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-10 18:30 -0500
                Re: Olcott's theory Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 02:56 +0100
                Re: Olcott's theory wij <wyniijj@gmail.com> - 2021-07-10 19:18 -0700
                Re: Olcott's theory Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 03:34 +0100
                Re: Olcott's theory wij <wyniijj@gmail.com> - 2021-07-10 19:45 -0700
                Re: Olcott's theory Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 10:34 +0100
                Re: Olcott's theory wij <wyniijj@gmail.com> - 2021-07-12 16:55 -0700
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-10 21:25 -0500
                Re: Olcott's theory Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 10:32 +0100
                Re: Olcott's theory Jeff Barnett <jbb@notatt.com> - 2021-07-10 22:39 -0600
                Re: Olcott's theory Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-11 10:23 +0100
                Re: Olcott's theory Jeff Barnett <jbb@notatt.com> - 2021-07-11 10:43 -0600
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-11 13:19 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-11 10:09 -0500
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-11 18:20 +0100
                Re: Olcott's theory [ Flibble agrees that I am correct ] olcott <NoOne@NoWhere.com> - 2021-07-11 12:45 -0500
                Re: Olcott's theory [ Flibble agrees that I am correct ] Peter <peterxpercival@hotmail.com> - 2021-07-11 19:18 +0100
                Re: Olcott's theory [ Flibble agrees that I am correct ] Peter <peterxpercival@hotmail.com> - 2021-07-19 20:09 +0100
                Re: Olcott's theory [ Flibble agrees that I am correct ] olcott <NoOne@NoWhere.com> - 2021-07-20 08:44 -0500
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-11 14:35 -0500
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-12 13:36 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 08:56 -0500
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-12 16:04 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 10:27 -0500
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-13 21:18 +0100
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-19 20:01 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-20 08:41 -0500
                Re: Olcott's theory Richard Damon <Richard@Damon-Family.org> - 2021-07-20 09:12 -0700
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-20 17:16 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-20 14:41 -0500
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-21 06:55 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-21 09:40 -0500
                Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-21 16:49 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-21 11:00 -0500
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-22 08:44 -0500
          Re: Olcott's theory Jeff Barnett <jbb@notatt.com> - 2021-07-10 22:32 -0600
            Re: Olcott's theory Peter <peterxpercival@hotmail.com> - 2021-07-11 13:22 +0100
        Re: Olcott's theory Andy Walker <anw@cuboid.co.uk> - 2021-07-12 14:13 +0100
          Re: Olcott's theory Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-12 06:19 -0700
            Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-12 09:25 -0500
              Re: Olcott's theory [ Flibble understands this ] David Brown <david.brown@hesbynett.no> - 2021-07-12 17:33 +0200
                Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-12 16:51 -0500
                Re: Olcott's theory [ Flibble understands this ] Richard Damon <Richard@Damon-Family.org> - 2021-07-12 21:27 -0600
                Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-13 09:36 -0500
                Re: Olcott's theory [ Flibble understands this ] Peter <peterxpercival@hotmail.com> - 2021-07-13 19:15 +0100
                Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-13 17:16 -0500
                Re: Olcott's theory [ Flibble understands this ] Richard Damon <Richard@Damon-Family.org> - 2021-07-13 22:56 -0600
                Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-14 10:01 -0500
                Re: Olcott's theory [ Flibble understands this ] Richard Damon <Richard@Damon-Family.org> - 2021-07-14 22:03 -0600
                Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-15 10:05 -0500
                Re: Olcott's theory [ Flibble understands this ] Richard Damon <Richard@Damon-Family.org> - 2021-07-16 23:07 -0600
                Re: Olcott's theory [ Flibble understands this ] Richard Damon <Richard@Damon-Family.org> - 2021-07-13 22:45 -0600
                Re: Olcott's theory [ Flibble understands this ] ( isomorphic thus correct ) olcott <NoOne@NoWhere.com> - 2021-07-14 09:56 -0500
                Re: Olcott's theory [ Flibble understands this ] ( isomorphic thus correct ) Richard Damon <Richard@Damon-Family.org> - 2021-07-14 21:48 -0600
                Re: Olcott's theory [ Flibble understands this ] ( isomorphic thus correct ) Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-15 03:43 -0700
                Re: Olcott's theory [ Flibble understands this ] ( isomorphic thus correct ) Richard Damon <Richard@Damon-Family.org> - 2021-07-15 07:54 -0600
                Re: Olcott's theory [ Flibble understands this ] ( isomorphic thus correct ) olcott <NoOne@NoWhere.com> - 2021-07-15 09:35 -0500
                Re: Olcott's theory [ Flibble understands this ] ( isomorphic thus correct ) Richard Damon <Richard@Damon-Family.org> - 2021-07-16 23:09 -0600
                Re: Olcott's theory [ Flibble understands this ] ( isomorphic thus correct ) olcott <NoOne@NoWhere.com> - 2021-07-15 09:24 -0500
            Re: Olcott's theory Jeff Barnett <jbb@notatt.com> - 2021-07-12 13:27 -0600
              Re: Olcott's theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-12 21:08 +0100
                Re: Olcott's theory Mr Flibble <flibble@reddwarf.jmc> - 2021-07-12 21:24 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 16:53 -0500
                Re: Olcott's theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-12 22:59 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 17:23 -0500
                Re: Olcott's theory Richard Damon <Richard@Damon-Family.org> - 2021-07-12 21:32 -0600
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 23:31 -0500
                Re: Olcott's theory wij <wyniijj@gmail.com> - 2021-07-13 03:51 -0700
                Re: Olcott's theory [ Flibble quote agrees] olcott <NoOne@NoWhere.com> - 2021-07-13 09:00 -0500
                Re: Olcott's theory [ Flibble quote agrees] wij <wyniijj@gmail.com> - 2021-07-13 07:38 -0700
                Re: Olcott's theory [ Flibble quote agrees] olcott <NoOne@NoWhere.com> - 2021-07-13 10:01 -0500
                Re: Olcott's theory [ Flibble quote agrees] wij <wyniijj@gmail.com> - 2021-07-13 08:23 -0700
                Re: Olcott's theory [ Flibble quote agrees] olcott <NoOne@NoWhere.com> - 2021-07-13 10:35 -0500
                Re: Olcott's theory [ Flibble quote agrees] wij <wyniijj@gmail.com> - 2021-07-13 09:13 -0700
                Re: Olcott's theory [ Flibble quote agrees] wij <wyniijj@gmail.com> - 2021-07-13 15:24 -0700
                Re: Olcott's theory [ Flibble quote agrees] olcott <NoOne@NoWhere.com> - 2021-07-13 17:53 -0500
                Re: Olcott's theory [ Flibble quote agrees] wij <wyniijj@gmail.com> - 2021-07-13 16:22 -0700
                Re: Olcott's theory [ Flibble quote agrees] olcott <NoOne@NoWhere.com> - 2021-07-13 18:48 -0500
                Re: Olcott's theory [ Flibble quote agrees] wij <wyniijj@gmail.com> - 2021-07-13 17:06 -0700
                Re: Olcott's theory [ Flibble quote agrees] olcott <NoOne@NoWhere.com> - 2021-07-13 19:17 -0500
                Re: Olcott's theory [ Flibble quote agrees] (Fixing Tarski's nonsense ) olcott <NoOne@NoWhere.com> - 2021-07-13 19:29 -0500
                Re: Olcott's theory [ Flibble quote agrees] wij <wyniijj@gmail.com> - 2021-07-13 18:14 -0700
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) olcott <NoOne@NoWhere.com> - 2021-07-13 20:40 -0500
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) wij <wyniijj@gmail.com> - 2021-07-13 18:58 -0700
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) olcott <NoOne@NoWhere.com> - 2021-07-13 21:08 -0500
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) wij <wyniijj@gmail.com> - 2021-07-13 19:52 -0700
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) olcott <NoOne@NoWhere.com> - 2021-07-13 22:39 -0500
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) wij <wyniijj@gmail.com> - 2021-07-13 21:00 -0700
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) olcott <NoOne@NoWhere.com> - 2021-07-13 23:17 -0500
                Re: Olcott's theory [ Flibble quote agrees] ( incorrect questions ) wij <wyniijj@gmail.com> - 2021-07-13 21:41 -0700
                Re: Olcott's theory Richard Damon <Richard@Damon-Family.org> - 2021-07-13 07:23 -0600
                Re: Olcott's theory Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-13 00:00 +0100
                Re: Olcott's theory Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-12 23:40 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 18:23 -0500
                Re: Olcott's theory Andy Walker <anw@cuboid.co.uk> - 2021-07-12 22:57 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 17:21 -0500
                Re: Olcott's theory Andy Walker <anw@cuboid.co.uk> - 2021-07-13 11:49 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-13 08:49 -0500
                Re: Olcott's theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-13 00:45 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 21:10 -0500
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 17:03 -0500
                Re: Olcott's theory Jeff Barnett <jbb@notatt.com> - 2021-07-12 16:52 -0600
                Re: Olcott's theory Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2021-07-13 00:37 +0100
                Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 22:02 -0500
              Re: Olcott's theory olcott <NoOne@NoWhere.com> - 2021-07-12 17:00 -0500
          Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-12 09:25 -0500
  Re: Olcott's theory "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-10 23:04 -0700
    Re: Olcott's theory [unknown to be undecidable] olcott <NoOne@NoWhere.com> - 2021-07-11 09:21 -0500
    Re: Olcott's theory wij <wyniijj@gmail.com> - 2021-07-11 07:52 -0700
      Re: Olcott's theory "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-11 11:42 -0700
        Re: Olcott's theory "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-11 11:52 -0700
          Re: Olcott's theory wij <wyniijj@gmail.com> - 2021-07-11 16:52 -0700
            Re: Olcott's theory Malcolm McLean <malcolm.arthur.mclean@gmail.com> - 2021-07-12 04:39 -0700
  Re: Olcott's theory [ "I agree with Olcott" ] olcott <NoOne@NoWhere.com> - 2021-07-11 11:04 -0500
  Re: Olcott's theory Richard Damon <Richard@Damon-Family.org> - 2021-07-11 22:14 -0600
    Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-12 09:10 -0500
      Re: Olcott's theory [ Flibble understands this ] wij <wyniijj@gmail.com> - 2021-07-12 16:09 -0700
        Re: Olcott's theory [ Flibble understands this ] wij <wyniijj@gmail.com> - 2021-07-12 16:14 -0700
          Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-13 08:23 -0500
            Re: Olcott's theory [ Flibble understands this ] wij <wyniijj@gmail.com> - 2021-07-13 07:24 -0700
              Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-13 09:59 -0500
        Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-12 22:07 -0500
          Re: Olcott's theory [ Flibble understands this ] wij <wyniijj@gmail.com> - 2021-07-12 20:17 -0700
            Re: Olcott's theory [ Flibble understands this ] olcott <NoOne@NoWhere.com> - 2021-07-13 08:45 -0500
      Re: Olcott's theory [ Flibble understands this ] wij <wyniijj@gmail.com> - 2021-07-12 16:40 -0700
  Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-19 14:33 -0500
    Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ] Peter <peterxpercival@hotmail.com> - 2021-07-19 20:40 +0100
      Re: Olcott's theory [ Flibble understands pathological self reference(Olcott 2004) ] olcott <NoOne@NoWhere.com> - 2021-07-20 08:52 -0500
  Re: Olcott's theory "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2021-07-19 13:25 -0700

csiph-web