Re: Diagonalisation 1 (fwd)

2001-08-27 Thread Marchal
Both Russell and Brent are right (see orig. message below), but they *cannot* be both right, or can they? They are right but not enough precise for agreeing! You should try to restate the paradox in such a precise way each of you find one of the two different theorems which are hidden behind

Re: Diagonalisation 1 (fwd)

2001-08-25 Thread Brent Meeker
, *** Forwarded message, originally written by Brent Meeker on 22-Aug-01 *** On 22-Aug-01, Russell Standish wrote: Brent Meeker wrote: I think there is a cheat here. Computable requires that the function be defined finitely. While g(n) = f_n(n) + 1 appears to be a