Re: The proof that I was referring to is on the website

From: Rick Decker (rdecker_at_hamilton.edu)
Date: 07/30/04 

Date: Thu, 29 Jul 2004 22:09:42 -0400

>parr(*> wrote:

> "Peter Olcott" <olcott@worldnet.att.net> wrote in message
> news:8OZNc.344605$Gx4.188523@bgtnsc04-news.ops.worldnet.att.net...
> |
> | "Peter Olcott" <olcott@worldnet.att.net> wrote in message
> news:dKZNc.344582$Gx4.274916@bgtnsc04-news.ops.worldnet.att.net...
> | > http://home.att.net/~olcott/halting/proof.html
> | >
> | > It is comprised of GIF images files that are impossible
> | > to read on the screen but print out very nicely. If you
> | > are on a dialup, it will take a little more than a minute
> | > to download, there is 600 k. I used 300 dpi black
> | > and white. It comes out like a good photocopy, when
> | > printed.
> | >
> | >
> | If you don't have a printer, you can view it with the
> | print preview magnified to about 200 %.
>
> The 6 files, I downloaded from your site, which I presume were copied
> from Turing's original thesis, were:
>
> HTML for the webpage
> PAGE1.GIF - Page 317 of an unidentified document
> PAGE2.GIF - Page 318 of an unidentified document
> PAGE3.GIF - Page 319 of an unidentified document
> PAGE4.GIF - Page 319 of an unidentified document
> PAGE5.GIF - Page 320 of an unidentified document
>
> The last page seems to leave the whole subject hanging in midair.
> Should there be a page 321?

Not at all. The proof is completed about two-thirds of the way
down on page 320. BTW, you may have missed the initial citation--
it's scanned (with permission, one hopes) from Peter Linz,
_An Introduction to Formal Languages and Automata_, (Jones and
Bartlett). It's probably the second edition, since the page
numbers don't match those of the most recent (third) edition.
Pretty good book, by the way.

<snip>

<inexplicable followup to talk.bizarre trimmed>

Regards,

Rick

 

Relevant Pages