Deutsch   English   Français   Italiano  
<15646f711ca9eac71a97c035c2a7e155bf8934f9.camel@gmail.com>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: comp.theory
Subject: Re: Cantor Diagonal Proof
Date: Mon, 07 Apr 2025 18:31:28 +0800
Organization: A noiseless patient Spider
Lines: 58
Message-ID: <15646f711ca9eac71a97c035c2a7e155bf8934f9.camel@gmail.com>
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>
	 <vsqobq$1mglg$3@dont-email.me> <vst44k$8daf$1@dont-email.me>
	 <vst6t0$aeqh$1@dont-email.me> <vst7qs$bmfg$3@dont-email.me>
	 <45bb7521c3bb68fe5fd47d10ee93a03de17f8d47.camel@gmail.com>
	 <vstld0$pkmr$1@dont-email.me>
	 <809a03d4b71e717fca7bf77bd900c4e977844c2d.camel@gmail.com>
	 <vt02b9$3abfr$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Mon, 07 Apr 2025 12:31:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="fc9b85c4a8fcfc4ddaff6d4c17ba60b3";
	logging-data="3696350"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/swRbcmbfwIr1hmyH8u+qP"
User-Agent: Evolution 3.54.3 (3.54.3-1.fc41)
Cancel-Lock: sha1:8iMGP91ekT5EMF8Q/54cFPClzyA=
In-Reply-To: <vt02b9$3abfr$1@dont-email.me>

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 wrote:
> > > > > > >=20
> > > > > > > > But to be computable, numbers must be computed in a finite =
number of
> > > > > > > > steps.
> > > > > > >=20
> > > > > > > =E2=80=9CComputable Number: A number which can be computed to=
 any number of
> > > > > > > digits desired by a Turing machine.=E2=80=9D
> > > > > > >=20
> > > > > > > <https://mathworld.wolfram.com/ComputableNumber.html>
> > > > > >=20
> > > > > > "The =E2=80=9Ccomputable=E2=80=9D numbers may be described brie=
fly as the real numbers
> > > > > > whose expressions as a decimal are calculable by finite means."=
 - Alan
> > > > > > Turing.
> > > > > >=20
> > > > > > And therefore, to be computable, numbers must be computed in 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 is an>>=
 > >=20
> > > > > incomputable number, since its =E2=80=9Cexpressions as a decimal =
are not>> > >=20
> > > > > calculable by finite means=E2=80=9D.
> > > >=20
> > > > Simply put, repeating decimals are irrational.
> > > > https://sourceforge.net/projects/cscall/files/MisFiles/RealNumber2-=
en.txt/download=C2=A0
> > > >=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-decima=
l-a-rational-number=C2=A0
>=20

Still can't prove, except posting a copy from the internet?