Re: [No longer about] Olcott

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.theory
Subject	Re: [No longer about] Olcott
Date	2022-10-21 02:08 +0100
Organization	A noiseless patient Spider
Message-ID	<87bkq69e69.fsf@bsb.me.uk> (permalink)
References	(8 earlier) <tir35i$mn4$1@gioia.aioe.org> <tirnfg$bnnk$1@dont-email.me> <tirpa1$6ae$1@gioia.aioe.org> <87v8oe9ucg.fsf@bsb.me.uk> <tisn09$1egh$1@gioia.aioe.org>

Show all headers | View raw

Andy Walker <anw@cuboid.co.uk> writes:

> On 20/10/2022 20:18, Ben Bacarisse wrote:
>> I thought I understood your previous remarks to RD about large Turing
>> machines, but I am no longer sure that I do.  Presumably you don't have
>> a non-standard definition of what a Turing machine is, so my confusion
>> must come from what a C compiler for a Turning machine might be.
>
> 	See response to RD.  Your computer /is/ a TM.

Talk of a compiler led me astray, as no C compiler outputs what anyone
would think of as TM "instructions".  You meant (and maybe said
explicitly and I missed it) that my gcc is a compiler for a UTM TM, one
emulating x64 instructions.  It's a compiler for one very specific TM,
one designed by Intel.

If that's what you mean, I am still a bit uneasy about an emphatic "is"
rather than "your computer is /logically/ a TM".  No one engineered
anything that looks like TM state transitions and head movements when
they designed the silicon.  See below for why this is not quite a
trivial point.

>> assume the gcc I have on this laptop fits your definition.  Is it also a
>> C compiler for the lambda calculus?
>
> 	What are you planning to do with your lambda calculus?  If you have a
> C program that evaluates an expression written in lambda calculus form, then
> you can presumably compile and execute that program using your copy of
> GCC.

This point is now a side issue.  I thought that maybe you meant that all
C compilers are TM compilers because real computers are "as good" as
Turing's model, in which case any other model could be substituted for
TMs here.  But your meaning was very much more literal than this.

However, had I chosen another example, the point would still stand.
What makes gcc a compiler for a specific (universal) TM and not a
compiler for a specific (universal) Minsky machine?  There's no problem
with it being both, of course, but that makes the definite assertion
that my computer /is/ a TM a bit... I don't know how to put
it... distracting, maybe?

Aside: If I were feeling combative (I'm not!) I could argue that the
silicon is logically reducing a universal lambda form, one that emulates
x64 instructions, but it does do with some many practical optimisations
that it hardly looks like it anymore.  This is a stretch, but then the
silicon does not have a moving head either.

> I don't see why you think this is any different from any other compilation,
> unless/until we get into [eg] operating system fundamentals, or GUIs, where
> it is essential to deal with interrupts or user interactions and the
> like.

No I'm thinking of computations as free from any of such complications
as possible.

Frankly, I'm much happier talking about computational power that whether
my laptop actually is or is not one or more abstract models.

-- 
Ben.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Olcott lies Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-15 02:03 +0100
  Re: Olcott lies Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-10-15 03:22 +0100
    Re: Olcott is provable correct (Mike makes sure to never pay attention) olcott <polcott2@gmail.com> - 2022-10-14 21:36 -0500
      Re: Olcott is provable correct (Peter lacks basic ability to reason logically) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-10-15 16:44 +0100
        Re: Olcott is provable correct (Peter lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 11:50 -0400
        Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 11:00 -0500
          Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-15 18:06 +0200
          Re: Olcott is provable correct (Peter lacks basic ability to reason logically) Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-10-15 17:13 +0100
            Re: Olcott is provable correct (Mike lacks basic ability to reason logically) olcott <polcott2@gmail.com> - 2022-10-15 11:19 -0500
              Re: Olcott is provable correct (Mike lacks basic ability to reason logically) Sergi o <invalid@invalid.com> - 2022-10-15 12:14 -0500
                Re: Olcott is provable correct (Mike lacks basic ability to reason logically) olcott <none-ya@beez-waxes.com> - 2022-10-15 12:28 -0500
                Re: Olcott is provable correct (Mike lacks basic ability to reason logically) Sergi o <invalid@invalid.com> - 2022-10-15 14:06 -0500
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) olcott <polcott2@gmail.com> - 2022-10-15 14:11 -0500
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) Sergi o <invalid@invalid.com> - 2022-10-15 14:53 -0500
            Re: Olcott is provable correct (Mike lacks basic ability to reason logically) olcott <none-ya@beez-waxes.com> - 2022-10-15 11:50 -0500
              Re: Olcott is provable correct (Mike lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 14:19 -0400
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) olcott <polcott2@gmail.com> - 2022-10-15 13:28 -0500
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 14:46 -0400
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) olcott <polcott2@gmail.com> - 2022-10-15 13:57 -0500
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 15:04 -0400
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) olcott <polcott2@gmail.com> - 2022-10-15 14:13 -0500
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 15:27 -0400
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) olcott <none-ya@beez-waxes.com> - 2022-10-15 14:31 -0500
                Re: Olcott is provably correct (Mike lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 15:47 -0400
            Re: Olcott is provable correct (Mike lacks basic ability to reason logically) [better wording] olcott <polcott2@gmail.com> - 2022-10-15 11:54 -0500
              Re: Olcott is provable correct (Mike lacks basic ability to reason logically) [better wording] Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 17:58 +0100
                Re: Olcott is provably correct [ strawman deception ] olcott <none-ya@beez-waxes.com> - 2022-10-15 12:08 -0500
            Re: Olcott is provable correct (Peter lacks basic ability to reason logically) olcott <polcott2@gmail.com> - 2022-10-17 00:40 -0500
              Re: Olcott is provable correct (Peter lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-17 07:05 -0400
          Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 14:17 -0400
            Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 13:26 -0500
              Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 14:48 -0400
              Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 14:55 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 14:02 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 15:19 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 14:26 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 15:32 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 14:50 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 16:30 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 15:36 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-15 22:46 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 15:51 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 21:55 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 16:05 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-15 23:13 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 16:49 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-15 23:54 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 17:02 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 18:35 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 17:53 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 20:20 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 19:28 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-16 02:35 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 20:45 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 22:01 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 21:22 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 22:43 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 22:13 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-16 11:57 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 07:11 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 08:00 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-16 14:03 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 12:37 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-16 11:51 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 13:00 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 12:21 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-16 18:33 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 12:34 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-16 19:43 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 14:30 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-16 21:38 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 15:41 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) ++ olcott <none-ya@beez-waxes.com> - 2022-10-16 18:23 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) ++ Richard Damon <Richard@Damon-Family.org> - 2022-10-16 19:29 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) ++ olcott <polcott2@gmail.com> - 2022-10-16 18:34 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) ++ Richard Damon <Richard@Damon-Family.org> - 2022-10-16 20:53 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) ++ olcott <none-ya@beez-waxes.com> - 2022-10-16 20:05 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) ++ Richard Damon <Richard@Damon-Family.org> - 2022-10-16 21:29 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 13:56 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) "dklei...@gmail.com" <dkleinecke@gmail.com> - 2022-10-16 11:24 -0700
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 14:14 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 15:29 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-16 20:31 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 13:47 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 14:53 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 20:39 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 20:49 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 22:05 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 21:17 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 22:50 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-15 22:11 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-16 11:58 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-16 14:02 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) André G. Isaak <agisaak@gm.invalid> - 2022-10-16 07:19 -0600
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 09:39 -0500
                Re: Olcott's business degree Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-16 16:20 +0100
                Re: Olcott's business degree olcott <polcott2@gmail.com> - 2022-10-16 10:26 -0500
                Re: Olcott's business degree Richard Damon <Richard@Damon-Family.org> - 2022-10-16 13:44 -0400
                Re: Olcott's business degree Jeff Barnett <jbb@notatt.com> - 2022-10-16 12:21 -0600
                Re: Olcott's business degree André G. Isaak <agisaak@gm.invalid> - 2022-10-16 10:16 -0600
                Re: Olcott's business degree Python <python@invalid.org> - 2022-10-16 18:22 +0200
                Re: Olcott's business degree olcott <polcott2@gmail.com> - 2022-10-16 11:34 -0500
                Re: Olcott's business degree Python <python@invalid.org> - 2022-10-16 18:58 +0200
                Re: Olcott's business degree André G. Isaak <agisaak@gm.invalid> - 2022-10-17 20:50 -0600
                Re: Olcott's business degree Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-18 03:58 +0100
                Re: Olcott is provably incorrect (Mike's software engineering skills may be sufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 08:17 -0400
                Re: Olcott is provably incorrect (Mike's software engineering skills may be sufficient) olcott <polcott2@gmail.com> - 2022-10-16 07:52 -0500
                Re: Olcott is provably incorrect (Mike's software engineering skills may be sufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 12:43 -0400
                Re: Olcott is provably incorrect (Mike's software engineering skills may be sufficient) olcott <polcott2@gmail.com> - 2022-10-16 12:18 -0500
                Re: Olcott is provably incorrect (Mike's software engineering skills may be sufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-16 13:46 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-16 13:53 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <polcott2@gmail.com> - 2022-10-16 09:51 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-16 01:36 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 18:48 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 18:33 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 17:15 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-15 22:56 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 16:42 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 22:49 +0100
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Python <python@invalid.org> - 2022-10-15 23:51 +0200
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 16:56 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) wij <wyniijj2@gmail.com> - 2022-10-15 16:03 -0700
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 18:36 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 18:03 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) wij <wyniijj2@gmail.com> - 2022-10-15 16:06 -0700
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 20:29 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 16:55 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) olcott <none-ya@beez-waxes.com> - 2022-10-15 16:02 -0500
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Richard Damon <Richard@Damon-Family.org> - 2022-10-15 17:18 -0400
                Re: Olcott is provably correct (Mike's software engineering skills may be insufficient) Mr Flibble <flibble@reddwarf.jmc.corp> - 2022-10-15 20:32 +0100
        Re: Olcott is provable correct (Peter lacks basic ability to reason logically) olcott <polcott2@gmail.com> - 2022-10-17 00:31 -0500
          Re: Olcott is provable correct (Peter lacks basic ability to reason logically) Richard Damon <Richard@Damon-Family.org> - 2022-10-17 07:07 -0400
    Re: Olcott lies Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-16 01:28 +0100
      Re: Olcott proves that he is correct olcott <polcott2@gmail.com> - 2022-10-15 20:37 -0500
      Re: Olcott lies Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2022-10-18 16:17 +0100
        Re: Olcott is proven to be correct to all those paying attention (hardly any) olcott <polcott2@gmail.com> - 2022-10-18 10:37 -0500
        Re: Olcott lies Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-20 02:44 +0100
          Re: Olcott is provably correct to anyone that pays attention olcott <none-ya@beez-waxes.com> - 2022-10-19 20:51 -0500
          Re: Olcott lies Richard Damon <Richard@Damon-Family.org> - 2022-10-19 22:00 -0400
            Re: Olcott is proven to be correct. olcott <polcott2@gmail.com> - 2022-10-19 22:58 -0500
            Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-20 10:08 +0100
              Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-20 12:09 +0100
              Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 07:22 -0400
                Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-20 06:08 -0700
                Re: Turing machines and practical computation Spiros Bousbouras <spibou@gmail.com> - 2022-10-20 14:11 +0000
                Re: Turing machines and practical computation Richard Damon <Richard@Damon-Family.org> - 2022-10-20 17:25 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-20 15:18 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 16:28 -0400
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 15:50 -0500
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 18:23 -0400
                Re: [still about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 18:07 -0500
                Re: [still about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 20:16 -0400
                Re: [still about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 19:45 -0500
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 00:40 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 20:26 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 23:32 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-21 20:09 -0400
                Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-21 23:07 -0700
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-22 10:06 -0400
                Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-22 08:45 -0700
                Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-22 20:05 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-22 16:13 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-24 17:45 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-24 22:46 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-29 18:44 +0100
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-29 14:50 -0400
                Re: [No longer about] Olcott wij <wyniijj5@gmail.com> - 2022-10-30 05:19 -0700
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-11-02 20:28 +0000
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-11-02 18:15 -0400
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-11-07 20:54 +0000
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-11-07 15:04 -0600
                Re: [No longer about] Olcott Richard Damon <news.x.richarddamon@xoxy.net> - 2022-11-07 18:26 -0500
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-11-07 19:02 -0600
                Re: [No longer about] Olcott Jeff Barnett <jbb@notatt.com> - 2022-10-21 18:11 -0600
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-21 21:25 -0400
              Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 09:54 -0500
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-20 16:25 +0100
                Re: [No longer about] Olcott olcott <none-ya@beez-waxes.com> - 2022-10-20 11:05 -0500
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 11:09 -0500
                Re: [No longer about] Olcott Richard Damon <Richard@Damon-Family.org> - 2022-10-20 18:36 -0400
                Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-20 20:18 +0100
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 00:52 +0100
                Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-21 02:08 +0100
                Re: [No longer about] Olcott André G. Isaak <agisaak@gm.invalid> - 2022-10-20 19:58 -0600
                Re: [No longer about] Olcott olcott <polcott2@gmail.com> - 2022-10-20 21:08 -0500
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-22 01:00 +0100
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-22 00:32 +0100
                Re: [No longer about] Olcott Ben Bacarisse <ben.usenet@bsb.me.uk> - 2022-10-23 20:34 +0100
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-24 00:29 +0100
                Re: [No longer about] Olcott Wasell <wasell@example.com> - 2022-10-21 11:12 +0200
                Re: [No longer about] Olcott Andy Walker <anw@cuboid.co.uk> - 2022-10-21 13:04 +0100
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-25 09:29 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-26 06:06 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-26 10:32 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-27 08:20 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 11:16 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-27 18:46 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 12:06 -0500
                Re: [No longer about] Olcott [High level TM generators] Wasell <wasell@example.com> - 2022-10-27 20:45 +0200
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 13:56 -0500
                Re: [No longer about] Olcott [High level TM generators] Richard Damon <Richard@Damon-Family.org> - 2022-10-27 18:27 -0400
                Re: [No longer about] Olcott [High level TM generators] olcott <polcott2@gmail.com> - 2022-10-27 17:53 -0500
                Re: [No longer about] Olcott [High level TM generators] Richard Damon <news.x.richarddamon@xoxy.net> - 2022-10-27 19:27 -0400
    Re: Olcott lies olcott <polcott2@gmail.com> - 2022-10-17 00:24 -0500
      Re: Olcott lies Richard Damon <Richard@Damon-Family.org> - 2022-10-17 07:11 -0400

csiph-web