Re: What is the Result from Invoking this Halt Function?

From: >parr\(*> (LauryKing_at_BTInternetnospam.com)
Date: 08/19/04 

Date: Thu, 19 Aug 2004 00:04:38 +0000 (UTC)

"Peter Olcott" <olcott@worldnet.att.net> wrote in message
news:l6FUc.220767$OB3.87678@bgtnsc05-news.ops.worldnet.att.net...
|
| ">parr(*>" <LauryKing@btinternet.nospamcom> wrote in message
news:cfu4ag$9nv$3@sparta.btinternet.com...
<...>
| > When you've delved a bit deeper, you'll find Turing wasn't
talking
| > 'circular' & 'circle-free' in para 11 [Application to the
| > Entscheidungsproblem]. He was talking about provable and
unprovable
| > functions.
|
| When he talks about these on pages 4-5 in his definitions section
(2)
| he specifically refers to section (8) (pages 17-20) where he
specifically
| analyzes what has come to be known as the Halting Problem.

Oh dear Peter. I've already advised you that referring to page
numbers wrongly is Troll-speak. Successful Trolls do not do that
sort of thing.

But, once again, and having countered the Troll-spell you sought to
cast, I say: Turing was talking about provable and unprovable
functions.

It is true that he inspired others to invent the halting problem, a
problem which was easily resolved by using he same method Turing did. 

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

Relevant Pages
Loading