Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: wij Newsgroups: comp.theory Subject: Re: Cantor Diagonal Proof Date: Tue, 08 Apr 2025 22:22:50 +0800 Organization: A noiseless patient Spider Lines: 68 Message-ID: References: <7EKdnTIUz9UkpXL6nZ2dnZfqn_ednZ2d@brightview.co.uk> <45bb7521c3bb68fe5fd47d10ee93a03de17f8d47.camel@gmail.com> <809a03d4b71e717fca7bf77bd900c4e977844c2d.camel@gmail.com> <15646f711ca9eac71a97c035c2a7e155bf8934f9.camel@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Date: Tue, 08 Apr 2025 16:22:52 +0200 (CEST) Injection-Info: dont-email.me; posting-host="6e1f11aad64c740959bbf40a4daa19c4"; logging-data="2536241"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX194jotLAS5VOUiaFUbxRdj4" User-Agent: Evolution 3.54.3 (3.54.3-1.fc41) Cancel-Lock: sha1:m2YqrQ5oho4vRnk6Uz+y9vcs13E= In-Reply-To: Bytes: 4453 On Tue, 2025-04-08 at 10:31 +0300, Mikko wrote: > On 2025-04-07 10:31:28 +0000, wij said: >=20 > > On Mon, 2025-04-07 at 11:28 +0300, Mikko wrote: > > > On 2025-04-06 10:42:05 +0000, wij said: > > >=20 > > > > On Sun, 2025-04-06 at 13:35 +0300, Mikko wrote: > > > > > On 2025-04-06 07:15:51 +0000, wij said: > > > > >=20 > > > > > > On Sun, 2025-04-06 at 06:43 +0000, Lawrence D'Oliveiro wrote: > > > > > > > On Sun, 6 Apr 2025 07:27:43 +0100, Richard Heathfield wrote: > > > > > > >=20 > > > > > > > > On 06/04/2025 06:40, Lawrence D'Oliveiro wrote: > > > > > > > >=20 > > > > > > > > > On Sat, 5 Apr 2025 09:07:22 +0100, Richard Heathfield wro= te: > > > > > > > > >=20 > > > > > > > > > > But to be computable, numbers must be computed in a fin= ite number of > > > > > > > > > > steps. > > > > > > > > >=20 > > > > > > > > > =E2=80=9CComputable Number: A number which can be compute= d to any number of > > > > > > > > > digits desired by a Turing machine.=E2=80=9D > > > > > > > > >=20 > > > > > > > > > > > > > > > > >=20 > > > > > > > > "The =E2=80=9Ccomputable=E2=80=9D numbers may be described = briefly as the real numbers > > > > > > > > whose expressions as a decimal are calculable by finite mea= ns." - Alan > > > > > > > > Turing. > > > > > > > >=20 > > > > > > > > And therefore, to be computable, numbers must be computed i= n a finite > > > > > > > > number of steps. > > > > > > >=20 > > > > > > > I would say you are quoting Turing out of context. By your>> = > >> > > >=20 > > > > > > > > (mis)interpretation of his words, even something like 1/3 i= s an>> >=20 > > > > > > > > > > > > > incomputable number, since its =E2=80=9Cexpressio= ns as a decimal are=20 > > > > > > > not>> > >> > > > > calculable by finite means=E2=80=9D. > > > > > >=20 > > > > > > Simply put, repeating decimals are irrational. > > > > > > https://sourceforge.net/projects/cscall/files/MisFiles/RealNumb= er2-en.txt/download=C2=A0 > > > > > >=20 > > > > > >=20 > > > > > >=20 > > > > >=20 > > > > > Repeating decimals are rational. > > > >=20 > > > > Prove it (be sure not to make mistakes shown in the link above) > > >=20 > > > See>=20 > > > https://math.stackexchange.com/questions/549254/why-is-a-repeating-de= cimal-a-rational-number=C2=A0 > > >=20 > >=20 > > Still can't prove, except posting a copy from the internet? >=20 > So you are only trolling? >=20 Prove it (or it might be you)