Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #119042
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP |
| Date | 2025-05-14 12:22 -0500 |
| Organization | A noiseless patient Spider |
| Message-ID | <1002jgi$2k00a$2@dont-email.me> (permalink) |
| References | (25 earlier) <100197l$2asas$2@dont-email.me> <1002ev3$2i4bk$20@dont-email.me> <1002fk4$2j9i8$1@dont-email.me> <1002h7l$2jlcp$1@dont-email.me> <1002j46$2k04b$2@dont-email.me> |
On 5/14/2025 12:15 PM, Richard Heathfield wrote: > On 14/05/2025 17:43, olcott wrote: >> On 5/14/2025 11:16 AM, Richard Heathfield wrote: >>> On 14/05/2025 17:04, olcott wrote: >>> >>> <snip> >>> >>>> The HP proofs require an input D that can actually >>>> do the opposite of whatever value that H returns. >>>> Such an input cannot possibly exist. >>> >>> Agreed. That is precisely what Turing proved. >>> >> >> You did not pay enough attention. > > Yes, I did. > >> The proof itself cannot exist because it is >> missing a key element. > > The proof exists. Check the literature. It's complete, and it's not > missing anything. > You INSIST on not paying enough attention. When you try to encode *AN INPUT* that actually does the opposite of whatever value that its termination analyzer returns in a fully specified language such as C you will find this is impossible. In a less fully specified language it is far too easy to get confused about what *AN INPUT* is and what it is not. -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-10 02:11 +0100
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-09 22:18 -0400
Re: What it would take... Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-10 04:04 +0000
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-10 08:50 -0400
Re: What it would take... Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-10 14:24 +0000
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-10 14:44 -0400
Re: What it would take... Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-10 20:05 +0000
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-10 10:07 -0500
Re: What it would take... "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-10 17:25 +0200
Re: What it would take... wij <wyniijj5@gmail.com> - 2025-05-10 23:35 +0800
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-10 10:46 -0500
Re: What it would take... wij <wyniijj5@gmail.com> - 2025-05-11 00:18 +0800
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-10 11:37 -0500
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-10 15:02 -0400
Re: What it would take... Mikko <mikko.levanto@iki.fi> - 2025-05-11 12:37 +0300
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-10 15:01 -0400
Re: What it would take... Ben Bacarisse <ben@bsb.me.uk> - 2025-05-12 18:21 +0100
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-12 19:38 +0100
Re: What it would take... Ben Bacarisse <ben@bsb.me.uk> - 2025-05-13 00:58 +0100
Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION? olcott <polcott333@gmail.com> - 2025-05-12 19:16 -0500
Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION? dbush <dbush.mobile@gmail.com> - 2025-05-12 20:25 -0400
Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION? Richard Damon <richard@damon-family.org> - 2025-05-12 22:27 -0400
Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION? Mikko <mikko.levanto@iki.fi> - 2025-05-13 12:39 +0300
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 03:26 +0100
How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 21:48 -0500
Re: How the requirements that Professor Sipser agreed to are exactly met Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 04:14 +0100
Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 22:31 -0500
Re: How the requirements that Professor Sipser agreed to are exactly met dbush <dbush.mobile@gmail.com> - 2025-05-12 23:36 -0400
Re: How the requirements that Professor Sipser agreed to are exactly met Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 04:39 +0100
Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 00:14 -0400
Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 23:38 -0500
Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 07:44 -0400
Re: How the requirements that Professor Sipser agreed to are exactly met Mikko <mikko.levanto@iki.fi> - 2025-05-13 12:44 +0300
Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 00:11 -0400
Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 23:41 -0500
Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 07:46 -0400
Re: How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-13 19:47 -0500
Re: How the requirements that Professor Sipser agreed to are exactly met Richard Damon <richard@damon-family.org> - 2025-05-13 21:05 -0400
Re: How the requirements that Professor Sipser agreed to are exactly met "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-13 13:56 +0200
Re: What it would take... Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-13 04:23 +0100
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 04:37 +0100
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-12 22:38 -0500
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 04:41 +0100
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-12 22:44 -0500
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-13 00:17 -0400
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-12 23:14 -0500
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-13 00:34 -0400
Re: What it would take... Richard Damon <richard@damon-family.org> - 2025-05-13 00:16 -0400
Re: What it would take... Mikko <mikko.levanto@iki.fi> - 2025-05-13 12:49 +0300
Re: What it would take... André G. Isaak <agisaak@gm.invalid> - 2025-05-12 22:41 -0600
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-13 00:06 -0500
Re: What it would take... "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-13 13:54 +0200
Re: What it would take... Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-13 16:47 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-13 11:01 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric dbush <dbush.mobile@gmail.com> - 2025-05-13 12:21 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-13 11:56 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric dbush <dbush.mobile@gmail.com> - 2025-05-13 13:09 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 16:09 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-13 21:03 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 20:16 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-13 21:26 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 20:35 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-13 21:38 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 20:52 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-13 21:56 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 21:41 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-13 22:44 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 22:06 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-13 23:28 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 22:38 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-13 23:48 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 23:35 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-14 13:02 +0200
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 10:52 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-14 16:54 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-14 08:32 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 05:43 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-13 23:54 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 06:02 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 00:09 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 06:20 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 11:04 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 17:16 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 11:43 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 18:15 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 12:22 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 18:41 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 12:46 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 18:58 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 13:18 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 19:45 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 13:59 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-14 17:14 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-14 16:25 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-15 13:22 +0200
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-15 23:38 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP dbush <dbush.mobile@gmail.com> - 2025-05-14 16:58 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP joes <noreply@example.org> - 2025-05-16 13:25 +0000
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-16 09:00 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Damon <richard@damon-family.org> - 2025-05-16 10:09 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP olcott <polcott333@gmail.com> - 2025-05-16 10:19 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Damon <richard@damon-family.org> - 2025-05-16 11:57 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP joes <noreply@example.org> - 2025-05-14 18:25 +0000
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP joes <noreply@example.org> - 2025-05-14 18:30 +0000
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Damon <richard@damon-family.org> - 2025-05-14 07:32 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP Richard Damon <richard@damon-family.org> - 2025-05-13 21:14 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Damon <richard@damon-family.org> - 2025-05-13 21:10 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 18:06 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric dbush <dbush.mobile@gmail.com> - 2025-05-13 13:12 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 19:00 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-13 19:20 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric wij <wyniijj5@gmail.com> - 2025-05-14 02:49 +0800
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-13 15:52 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-14 12:59 +0200
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-14 10:58 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric dbush <dbush.mobile@gmail.com> - 2025-05-14 16:54 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Damon <richard@damon-family.org> - 2025-05-14 07:35 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-13 16:16 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 22:28 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-13 16:49 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-14 12:56 +0200
Re: What it would take... People to address my points with reasoning instead of rhetoric dbush <dbush.mobile@gmail.com> - 2025-05-13 21:05 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Damon <richard@damon-family.org> - 2025-05-14 07:41 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-14 10:32 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 16:44 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-14 12:17 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Heathfield <rjh@cpax.org.uk> - 2025-05-14 18:32 +0100
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-14 12:35 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-13 11:22 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-14 12:53 +0200
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Damon <richard@damon-family.org> - 2025-05-14 07:43 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-14 10:26 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Damon <richard@damon-family.org> - 2025-05-14 23:23 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric olcott <polcott333@gmail.com> - 2025-05-14 23:14 -0500
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Damon <richard@damon-family.org> - 2025-05-15 07:19 -0400
Re: What it would take... People to address my points with reasoning instead of rhetoric Richard Damon <richard@damon-family.org> - 2025-05-13 18:41 -0400
Re: What it would take... Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-05-13 04:05 +0100
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 04:23 +0100
Re: What it would take... Andy Walker <anw@cuboid.co.uk> - 2025-05-12 23:38 +0100
How the requirements that Professor Sipser agreed to are exactly met olcott <polcott333@gmail.com> - 2025-05-12 17:47 -0500
Re: What it would take... wij <wyniijj5@gmail.com> - 2025-05-13 07:05 +0800
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 04:09 +0100
Re: What it would take... Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-13 18:28 +0000
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 19:37 +0100
Re: What it would take... Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-13 18:40 +0000
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 19:47 +0100
Re: What it would take... Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-13 18:53 +0000
Re: What it would take... Richard Heathfield <rjh@cpax.org.uk> - 2025-05-13 20:01 +0100
Re: What it would take... Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-05-13 19:07 +0000
Re: What it would take... Andy Walker <anw@cuboid.co.uk> - 2025-05-13 23:59 +0100
Re: What it would take... olcott <polcott333@gmail.com> - 2025-05-12 12:29 -0500
Re: What it would take... "Fred. Zwarts" <F.Zwarts@HetNet.nl> - 2025-05-13 13:48 +0200
csiph-web