Path: 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: Fri, 18 Apr 2025 10:51:33 +0100
Organization: Not very much
Lines: 22
Message-ID: <vtt7b6$2mrsa$1@dont-email.me>
References: <vsn1fu$1p67k$1@dont-email.me> <vthad1$3oh15$3@dont-email.me>
 <9c27b08cca9d0fca87e57bcabc3412c80ff7a4f1@i2pn2.org>
 <vtk37d$295ku$7@dont-email.me>
 <99bd9c3545fdcc03cf33152ee0db852edbe1e23d@i2pn2.org>
 <vtko3u$2u0tr$6@dont-email.me>
 <yfmcnXdudYVoNWP6nZ2dnZfqn_WdnZ2d@brightview.co.uk>
 <vts3r9$1lm06$4@dont-email.me>
 <OWqdndMdMZLJXpz1nZ2dnZfqnPudnZ2d@brightview.co.uk>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 18 Apr 2025 11:51:34 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3ce48897b9059aecc30c0f47cf20afd4";
	logging-data="2846602"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ik9gGZ/8vUIXz2c2RfXQK"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Ns3vlVyp/jUL4CCWvX+RpHAeayQ=
In-Reply-To: <OWqdndMdMZLJXpz1nZ2dnZfqnPudnZ2d@brightview.co.uk>
Content-Language: en-GB

Coming soon to a thread near you:

  -- Lawrence's proof that 0.999... /= 1
	[Every prefix of the LHS is < 1, so by induction ....]
  -- Lawrence's proof that sqrt(2) is rational
	[Every prefix of the LHS is rational, so by induction ....]
  -- Lawrence's proof that every real is rational
	[Every prefix ....]
  -- ...

Real analysis and the mathematics of computation don't mix well, as
others in this group prove from time to time.  The only interesting
question is whether Lawrence is a troll [in which case /we/ should
ignore him, and unlike Peter he will go away] or a seeker after truth
[in which case /he/ needs -- like some others here -- to adopt a less
arrogant tone].  There /are/ interesting things to discuss in this
general area, but participants need an open mind.

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