Error in Turings paper 'On computable numbers, with an application to the Entscheidungsproblem '
From: >parr\(*> (parr_at_btinternet.nospamcom)
Date: 08/17/04
- Next message: Joe Hendrix: "Re: What is the Result from Invoking this Halt Function?"
- Previous message: Simon G Best: "Re: What is the Result from Invoking this Halt Function?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Tue, 17 Aug 2004 20:29:43 +0000 (UTC)
It appears in para 10 Examples of large classes of numbers which are
computable
[Page 256, under theorem (v)]
"
Owing to this restriction of Dedekind's
theorem, we cannot say that a computable
bounded increasing sequence of computable
numbers has a computable limit. This may
possibly be understood by considering a
sequence such as
-1, -1/2, -1/4, -1/8, -1/16, 1/2, ... .
"
-- )>==shockHORROR(º> Parr
- Next message: Joe Hendrix: "Re: What is the Result from Invoking this Halt Function?"
- Previous message: Simon G Best: "Re: What is the Result from Invoking this Halt Function?"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]