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: Mon, 7 Apr 2025 06:51:02 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <4f76ca62230e22e1b4f57993da089ad7db0b1136@i2pn2.org>
References: <vsn1fu$1p67k$1@dont-email.me> <vso3j4$2vbn4$1@dont-email.me>
 <vso3ov$2vems$1@dont-email.me> <vso4oc$30ine$1@dont-email.me>
 <vspb09$75m8$6@dont-email.me> <vsql1k$1lpck$1@dont-email.me>
 <vsqlve$1ktm5$4@dont-email.me> <vstlr4$q280$1@dont-email.me>
 <vsvvak$36pju$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 7 Apr 2025 10:51:19 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3503691"; 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: <vsvvak$36pju$5@dont-email.me>

On 4/7/25 3:36 AM, Lawrence D'Oliveiro wrote:
> On Sun, 6 Apr 2025 13:42:44 +0300, Mikko wrote:
> 
>> On 2025-04-05 07:26:38 +0000, Lawrence D'Oliveiro said:
>>
>>> On Sat, 5 Apr 2025 10:10:44 +0300, Mikko wrote:
>>>
>>>> The proof is finite and complete.
>>>
>>> It requires showing that there is no complete match among an infinity
>>> of digits.
>>
>> Cantor's proof and every proof with Cantor's diagonal method shows that.
> 
> Except for that example list I gave where I proved by induction that it
> does not.

Your problem is you assume you can compute the nth value from the value 
of n, but that requires you master algorithm include an infinite number 
of algorithms in itself to choose from to build that number.

What you induction fails to note is that it just assumes the 
availability of the infinite set of construction algorithms to the 
finite master algorithm. THAT requires a contradiction in terms, so 
can't be done.