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

From: >parr\(*> (KurlyGina_at_tenretnitb.moc)
Date: 07/30/04 

Date: Fri, 30 Jul 2004 06:49:17 +0000 (UTC)

"Rick Decker" <rdecker@hamilton.edu> wrote in message
news:4109ADE6.2050109@hamilton.edu...
|
| >parr(*> wrote:
| >
| > 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.

Couldn't see why the rest of 320 was there and it still seemed to be
discussing the Halting Problem at the end of page 320. Especially as
there were 5 files but only 4 different pages (page 319 appeared
twice!).

BTW, you may have missed the initial version of the page which did
not have the citation - I still have that page unrefreshed and have
double checked.

I will now refresh the screen and see what's new.
|
| <inexplicable followup to talk.bizarre trimmed>

I suppose you haven't been following this long, and not the two
preceeding threads stretching over weeks. As my intro to this saga
was via t.b, I occasionally post back there. As time wears on, I
expect you will realise that this whole discussion perhaps ought to
be _only_ in t.b. 

--
)>==ss$$%PARR(º>   Parr

Relevant Pages