Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Lawrence D'Oliveiro Newsgroups: comp.theory Subject: Re: Cantor Diagonal Proof Date: Sat, 5 Apr 2025 07:25:33 -0000 (UTC) Organization: A noiseless patient Spider Lines: 7 Message-ID: References: <7EKdnTIUz9UkpXL6nZ2dnZfqn_ednZ2d@brightview.co.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Sat, 05 Apr 2025 09:25:33 +0200 (CEST) Injection-Info: dont-email.me; posting-host="9f11b097b26f2656761f9579e269a581"; logging-data="1734341"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+YlFKGNE036fiwfaxQ2yyw" User-Agent: Pan/0.162 (Pokrosvk) Cancel-Lock: sha1:ku6fbgdd3p9lS+ItRQKdP+bh4JY= On Sat, 5 Apr 2025 04:26:29 +0100, Mike Terry wrote: > You don't understand what a computable number is ... “A number which can be computed to any number of digits desired by a Turing machine.”