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-11 10:34 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <87wnpxw5vo.fsf@bsb.me.uk> (permalink) |
| References | (7 earlier) <S82dnaVZZM8JsHf9nZ2dnUU7-SednZ2d@giganews.com> <871r85zk8u.fsf@bsb.me.uk> <c496eace-302b-4814-a6f8-cd6758e2a010n@googlegroups.com> <87k0lxy3wl.fsf@bsb.me.uk> <41dbddcc-2720-4c9d-94a9-66c6f5f58ce7n@googlegroups.com> |
wij <wyniijj@gmail.com> writes: > On Sunday, 11 July 2021 at 10:34:36 UTC+8, Ben Bacarisse wrote: >> wij <wyn...@gmail.com> writes: >> >> > I have composed an axiom that clarifies the issue. I am convinced no one >> > have ever said the same thing as General Undecidable Axioms says: >> > +----------------------------------------------------------------------------------+ >> > | No TM U can decide the property of a TM P if that property can be defied by TM P. | >> > +----------------------------------------------------------------------------------+ >> I'm also pretty sure no one has ever said that. What does it mean? In >> particular, what is a property of P that "can be defined by TM P"? May >> this is your way of stating Rice's Theorem? >> >> -- >> Ben. It's best not to quote sigs. > Examples are provided in > https://groups.google.com/g/comp.theory/c/65ZaXe9Sabk > It is an axiom, intuitive enough, proof is not really necessary. I was asking for an explanation of the words, but if you'd rather not explain it here, I'm quite happy with that. -- 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