Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Andy Walker <anw@cuboid.co.uk>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Sun, 6 Apr 2025 17:33:29 +0100
Organization: Not very much
Lines: 24
Message-ID: <vsuacp$lqc0$3@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vsogsi$38bb3$1@dont-email.me>
 <vspoqp$3nc7g$1@dont-email.me> <vsq41a$10hfp$4@dont-email.me>
 <vsqv9v$1pr16$1@dont-email.me> <vss4em$35ali$1@dont-email.me>
 <vss9or$1pr17$5@dont-email.me> <vst7mj$bmfg$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 06 Apr 2025 18:33:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1c5555904f7d3c872cf814db227a42ec";
	logging-data="715136"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+IrmgaRAw4dQ29PqdFWlO6"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:f3t/twNOtiD7DM9XkaNJ7nCSn/k=
In-Reply-To: <vst7mj$bmfg$2@dont-email.me>
Content-Language: en-GB
Bytes: 2431

On 06/04/2025 07:41, Lawrence D'Oliveiro wrote:
> On Sat, 5 Apr 2025 23:10:35 +0100, Andy Walker wrote:
>> You can slice and dice as much as you like, but the Cantor
>> process applied to any list of reals or to any computable list of
>> computable reals generates a real or computable real not in the list. So
>> any such list is incomplete.
> Apply it to the list I posted elsewhere, then.

	What did your last servant die of?

	More specifically, if you are trolling then I strongly suggest
that you follow Julio's [rather intemperate] advice.  If on the other
hand you are a crank, then you have just joined Peter and Wij on the
Naughty Step.  If, on the third hand, you have confused yourself [and
perhaps Richard], then I have done my best to enlighten you, and you
need to learn more about the differences between maths and CS, and more
specifically about the historical context of Cantor's and Turing's work.
Whichever, I shall not be responding further in this thread unless you
show signs of learning and of being a student rather than a belligerent.

-- 
Andy Walker, Nottingham.
    Andy's music pages: www.cuboid.me.uk/andy/Music
    Composer of the day: www.cuboid.me.uk/andy/Music/Composers/Rimsky-Korsakov