Re: On Strachey

From	Ben <ben.usenet@bsb.me.uk>
Newsgroups	comp.theory
Subject	Re: On Strachey
Date	2022-05-07 02:07 +0100
Organization	A noiseless patient Spider
Message-ID	<87wneyxi91.fsf@bsb.me.uk> (permalink)
References	(8 earlier) <87y1zf9xx5.fsf@bsb.me.uk> <20220506145647.00005eb2@reddwarf.jmc> <t53k3u$ens$2@dont-email.me> <87y1zeyzfd.fsf@bsb.me.uk> <t54elt$kqv$1@dont-email.me>

Show all headers | View raw

olcott <polcott2@gmail.com> writes:

> On 5/6/2022 7:11 PM, Ben wrote:

>> The halting theorem follows, trivially, from lots of simpler theorems,
>> none of which have you bothered to read.  In Linz, the theorem is
>> presented as a corollary of a simpler theorem in chapter 11.
>
> 11.3, 11.4, and 11.5. I will look at them.

Goodness!  A good move.  Why the change of heart?

-- 
Ben.
"le génie humain a des limites, quand la bêtise humaine n’en a pas"
Alexandre Dumas (fils)

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