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?