Newsgroups: sci.math, sci.logic, sci.physics
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Tue, 9 Oct 2012 13:44:38 -0700 (PDT)
Local: Tues, Oct 9 2012 4:44 pm
Subject: Re: Cantor diagonalization and base 2
On Oct 10, 5:37 am, Curlytop <pvstownsend.zyx....@ntlworld.com> wrote:
> Graham Cooper set the following eddies spiralling through the space-timeDth digit of the Nth real is UTM(N,D) (mod 10)
> > (snip the bull)
> > f(1) = 0. 314 159 265 ...
> Every supposed demonstration of Cantor diagonalisation invokes a
Yes but then you get a logical proof, people like their
IF you used a FINITE ANTIDIAG() FUNCTION
}Then it would input a HYPERREAL DIAGONAL
(DIAGONAL doesn't appear on any computable row)
i.e. the computable reals list is not missing any computable real.
So EITHER WAY
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.