Deutsch English Français Italiano |
<vt42s9$32bmm$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Lawrence D'Oliveiro <ldo@nz.invalid> Newsgroups: comp.theory Subject: Re: Cantor Diagonal Proof Date: Tue, 8 Apr 2025 21:02:02 -0000 (UTC) Organization: A noiseless patient Spider Lines: 13 Message-ID: <vt42s9$32bmm$1@dont-email.me> References: <vsn1fu$1p67k$1@dont-email.me> <7EKdnTIUz9UkpXL6nZ2dnZfqn_ednZ2d@brightview.co.uk> <vsng73$27sdj$1@dont-email.me> <gGKdnZiYPJVC03L6nZ2dnZfqn_udnZ2d@brightview.co.uk> <vsnk2v$2fc5a$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> <vsu9o4$lqc0$2@dont-email.me> <vsunj7$1redp$3@dont-email.me> <vsusb8$1v5ml$1@dont-email.me> <vsvuta$36pju$1@dont-email.me> <vt019f$37knt$1@dont-email.me> <vt1gs7$nigc$3@dont-email.me> <4a8988895deed610068ddca65068842dbc20bf7d@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Tue, 08 Apr 2025 23:02:02 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0e1143e057495279ba5407a5e9ee0a4c"; logging-data="3223254"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/QxgTBwaxTJlEKY3Hw0j18" User-Agent: Pan/0.162 (Pokrosvk) Cancel-Lock: sha1:3RsrNldS15mIMvfpmQpGc9cQNKg= On Mon, 7 Apr 2025 18:24:36 -0400, Richard Damon wrote: > On 4/7/25 5:42 PM, Lawrence D'Oliveiro wrote: > >> Somebody kept insisting that, even if my proposition is true for every >> element in the list, it somehow goes false at the end. The end of an >> infinite list! Yeah, right. > > And that is because while every element on the list has an algorithm to > construct it, that list is infinite, so you can't just put them *ALL* in > to one finite algorithm to compute any one you need at the moment. But that’s exactly how computable numbers work.