Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Olcott's theory |
| Date | 2021-07-13 00:00 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <87a6mruohy.fsf@bsb.me.uk> (permalink) |
| References | (5 earlier) <cde66c0c-918d-46f9-9fa5-7c346e724f82n@googlegroups.com> <sci53c$sfc$1@dont-email.me> <m7OdnV5S3Lq-PHH9nZ2dnUU78R3NnZ2d@brightview.co.uk> <20210712212405.000006b8@reddwarf.jmc> <V66dnbPMoI3DJnH9nZ2dnUU78L_NnZ2d@brightview.co.uk> |
Mike Terry <news.dead.person.stones@darjeeling.plus.com> writes: > On 12/07/2021 21:24, Mr Flibble wrote: >> On Mon, 12 Jul 2021 21:08:02 +0100 >> Mike Terry <news.dead.person.stones@darjeeling.plus.com> wrote: >> >>> But Halting is NOT decideable, therefore we conclude: >> Assertions made without evidence can be dismissed without evidence >> [Hitchens]. Any proof predicated on a misunderstanding of [Strachey >> 1965] is in error. Which proof are you basing this assertion on? >> [Turing 1937]? >> /Flibble >> > > There are several proofs that halting is not decideable. Take your > pick. The obvious choice given PO's claims over many years would be > the Linz proof, or similar. (The Linz proof is slightly sloppy in its > attention to detail, as it's not aimed at mathematicians, but that's > nothing that can't be routinely patched up.) In fairness to Linz, he presents that proof for historical interest. His "actual" proof comes one page after the last page that PO appears to have read. It's a corollary of theorem 11.5 from the previous chapter that establishes that there are recursively enumerable languages that are not recursive. -- Ben.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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