Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Wed, 9 Apr 2025 22:00:15 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <74db303c1d07ba0fdf70f1b20f5f7d6e04667665@i2pn2.org>
References: <vsn1fu$1p67k$1@dont-email.me> <vsnmtg$2i4qp$3@dont-email.me>
 <vsno7m$2g4cd$3@dont-email.me> <vsnp0o$2ka6o$2@dont-email.me>
 <vsnpv4$2g4cd$6@dont-email.me> <vsntes$2osdn$1@dont-email.me>
 <vsntv3$2paf9$1@dont-email.me> <vso1a0$2sf7o$1@dont-email.me>
 <vso2ff$2tj1d$2@dont-email.me> <vso3rj$2vems$2@dont-email.me>
 <vso4gh$2vg3b$1@dont-email.me> <vsqmlb$1ktm5$6@dont-email.me>
 <vsr1ae$1pr17$2@dont-email.me> <vst4nm$8daf$2@dont-email.me>
 <vst8ci$aeqh$3@dont-email.me> <vsutjt$21mp2$2@dont-email.me>
 <vsuvp1$227l5$1@dont-email.me> <vsvv3h$36pju$2@dont-email.me>
 <vt01u5$38f07$1@dont-email.me> <875xjfd5rs.fsf@nosuchdomain.example.com>
 <vt1jpa$n43m$4@dont-email.me> <87tt6zblzl.fsf@nosuchdomain.example.com>
 <0920ac6e196c1cebeff36d8b9431ee12a7b3d527@i2pn2.org>
 <vt74k1$1pl6i$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 10 Apr 2025 02:00:38 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3879442"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <vt74k1$1pl6i$5@dont-email.me>

On 4/9/25 8:50 PM, Lawrence D'Oliveiro wrote:
> On Mon, 7 Apr 2025 20:48:27 -0400, Richard Damon wrote:
> 
>> The paper clearly talks about the process continuing indefinitely.
> 
> Note the key point about any computation of a computable number is that
> the answer *converges* to the exact result in the limit. As you compute
> more and more digits, the discrepancy between your approximation and the
> correct answer can be made as close to zero as you like, just as long as
> you don’t ask for it to be zero.
> 
> The Cantor construction does not converge.

Sure it does, every digit you add gets it closer to its final value. 
What ever epsilon you ask for determines how many digits are needed.

Note, we RARELY actually REACH the limit, especially if the number 
doesn't have a finite exact representation.

The problem with the "Cantor Construction" is that one of the steps, 
"Compute to the Nth digit of the Nth number" isn't computable with a 
finite algorithm.