Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Jeff Barnett <jbb@notatt.com> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: On Strachey |
| Date | 2022-05-05 23:01 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <t52a3e$joq$1@dont-email.me> (permalink) |
| References | (4 earlier) <20220505225335.00007d75@reddwarf.jmc> <t51ig5$t3s$4@dont-email.me> <87czgrmok4.fsf@bsb.me.uk> <20220506025943.00006c94@reddwarf.jmc> <87y1zf9xx5.fsf@bsb.me.uk> |
On 5/5/2022 8:50 PM, Ben wrote: > Mr Flibble <flibble@reddwarf.jmc> writes: > >> On Fri, 06 May 2022 02:34:35 +0100 >> Ben <ben.usenet@bsb.me.uk> wrote: >> >>> Two people who have not read the paper have persuaded themselves that >>> someone who has must be wrong about it. Is there any need for facts? >>> >>> Turing's 1936 paper is not about halting. >> >> [Wikipedia, 2022] disagrees with you: >> >> "Alan Turing proved in 1936 that a general algorithm to solve the >> halting problem for all possible program-input pairs cannot exist." >> >> https://en.wikipedia.org/wiki/Halting_problem > > And? People like you write wikipedia articles. > > This seems like a very odd debate since you could simply see for your > self. Academics (like Turing) publish papers so we can all see what > they are saying. I pulled Davis /The undecidable/ off the shelf recently - it includes The Turing paper. I think that you have been referring to Chapter or Section 8 and that is as close to mucking about with halting as he got. Your reading is, of course, correct. The fact that the idiot and his sock puppet were the other side of the dialogue, kept me from butting in for a few reasons: 1) the term "cycle-free" being used as you noted above and 2) the use of a "diagonal argument" for what he did prove. Both terms, I thought, would drive the two/one to utter madness and confusion since we've seen that diagonal arguments are beyond their comprehension and cycle-free would conjure visions of infinite recursion and the "Demons of the Christmas story about Scrooge". When ignorant of or confronted with words not understood they go into a most interesting tail (or is that tale) spin. So I passed. Since you broached the topic, I thought what the hell ..... -- Jeff Barnett
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 20:45 +0100
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 16:30 -0500
Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 22:39 +0100
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 16:48 -0500
Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-05 22:53 +0100
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 17:18 -0500
Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-06 02:34 +0100
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-05 20:40 -0500
Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-06 03:53 +0100
Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 02:59 +0100
Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-06 03:50 +0100
Re: On Strachey Jeff Barnett <jbb@notatt.com> - 2022-05-05 23:01 -0600
Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 15:42 +0100
Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 14:56 +0100
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 11:58 -0500
Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 01:11 +0100
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 19:31 -0500
Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 02:07 +0100
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 20:34 -0500
Re: On Strachey Richard Damon <Richard@Damon-Family.org> - 2022-05-06 23:08 -0400
Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 23:47 +0100
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 18:14 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 16:35 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 19:19 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 17:48 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 20:08 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 18:26 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-07 21:20 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-07 19:36 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 10:31 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 09:02 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 11:05 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 09:30 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 11:39 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 09:52 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 12:18 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 10:26 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 15:17 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 13:27 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 15:51 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 13:59 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 16:19 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 14:30 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:24 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 15:56 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:13 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 16:44 -0700
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:52 -0400
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:50 -0400
Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 14:51 -0700
Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 14:53 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:18 -0500
Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 15:34 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:44 -0500
Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 15:53 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:03 -0500
Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 16:11 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:19 -0500
Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 16:23 -0700
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 18:30 -0500
Re: On Strachey [ How nuts is that? ] wij <wyniijj2@gmail.com> - 2022-05-09 16:42 -0700
Re: On Strachey [ How nuts is that? ][ proof that I am correct ] olcott <NoOne@NoWhere.com> - 2022-05-10 07:16 -0500
Re: On Strachey [ How nuts is that? ][ proof that I am correct ] Richard Damon <Richard@Damon-Family.org> - 2022-05-10 19:23 -0400
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 20:02 -0400
Re: On Strachey [ How nuts is that? ] Jeff Barnett <jbb@notatt.com> - 2022-05-09 16:12 -0600
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 17:36 -0500
Re: On Strachey [ How nuts is that? ] Jeff Barnett <jbb@notatt.com> - 2022-05-09 20:13 -0600
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 23:39 -0400
Re: On Strachey [ How nuts is that? ] olcott <NoOne@NoWhere.com> - 2022-05-09 22:22 -0500
Re: On Strachey [ How nuts is that? ] Dennis Bush <dbush.mobile@gmail.com> - 2022-05-09 20:48 -0700
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:43 -0400
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:40 -0400
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:39 -0400
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-09 19:37 -0400
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-07 21:09 -0400
Re: On Strachey [ How nuts is that? ] Richard Damon <Richard@Damon-Family.org> - 2022-05-07 21:22 -0400
Re: On Strachey [ How nuts is that? ] Ben <ben.usenet@bsb.me.uk> - 2022-05-08 00:46 +0100
Re: On Strachey Ben <ben.usenet@bsb.me.uk> - 2022-05-07 00:58 +0100
Re: On Strachey Mikko <mikko.levanto@iki.fi> - 2022-05-06 16:09 +0300
Re: On Strachey Mr Flibble <flibble@reddwarf.jmc> - 2022-05-06 14:59 +0100
Re: On Strachey Mikko <mikko.levanto@iki.fi> - 2022-05-06 19:16 +0300
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 11:49 -0500
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 12:10 -0500
Re: On Strachey olcott <polcott2@gmail.com> - 2022-05-06 12:34 -0500
csiph-web