Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Mr Flibble <flibble@reddwarf.jmc> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Olcott's theory |
| Message-ID | <20210710180053.00005ad3@reddwarf.jmc> (permalink) |
| Organization | Jupiter Mining Corp |
| Date | 2021-07-10 18:00 +0100 |
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. The mistake Olcott seems to be making is inferring that just because those proofs are invalid then that somehow means that the halting problem itself is not undecidable. /Flibble
Back to comp.theory | Previous | Next — 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