Deutsch English Français Italiano |
<c0c0b0bbfc029e3aa5e63670c02e778236bdbd71.camel@gmail.com> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: wij <wyniijj5@gmail.com> Newsgroups: comp.theory Subject: Re: Repeating decimals are irrational Date: Wed, 27 Mar 2024 19:14:05 +0800 Organization: A noiseless patient Spider Lines: 53 Message-ID: <c0c0b0bbfc029e3aa5e63670c02e778236bdbd71.camel@gmail.com> References: <e9009d933dc0c3008201ba6cfced892d235192c8.camel@gmail.com> <utvvkk$35q21$2@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Date: Wed, 27 Mar 2024 11:14:06 +0100 (CET) Injection-Info: dont-email.me; posting-host="e58f2b2de37d2d0fd85c976e2be071c6"; logging-data="2949793"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18n6qL+U4BveoWg6txtWUxi" User-Agent: Evolution 3.50.2 (3.50.2-1.fc39) Cancel-Lock: sha1:bE8RrdVRwAEikcFBLNE38xO0dys= In-Reply-To: <utvvkk$35q21$2@i2pn2.org> Bytes: 3112 On Tue, 2024-03-26 at 22:17 -0400, Richard Damon wrote: > On 3/26/24 10:45 AM, wij wrote: > > Snipet from https://sourceforge.net/projects/cscall/files/MisFiles/Real= Number-en.txt/download > >=20 > > ... > > Real Nunmber(=E2=84=9D)::=3D {x| x is represented by n-ary <fixed_point= _number>, the > > =C2=A0=C2=A0=C2=A0 digits may be infinitely long } > >=20 > > =C2=A0=C2=A0=C2=A0 Note: This definition implies that repeating decimal= s are irrational number. > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Let's list a com= mon magic proof in the way as a brief explanation: > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (1) = x=3D 0.999... > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (2) = 10x=3D 9+x=C2=A0 // 10x=3D 9.999... > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (3) = 9x=3D9 > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (4) = x=3D1 > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Ans: There is no= axiom or theorem to prove (1) =3D> (2). > >=20 > > =C2=A0=C2=A0=C2=A0 Note: If the steps of converting a number x to <fixe= d_point_number> is not > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 finite, x is not= a ratio of two integers, because the following > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 statement is alw= ays true: =E2=88=80x,a=E2=88=88=E2=84=9A, x-a=E2=88=88=E2=84=9A > >=20 > > ---End of quote > >=20 > >=20 >=20 > So, if 10 * 0.999... isn't 9.999... what is it? > and if 9 + 0.999... isnt 9.999... what is it? >=20 > And why aren't the same numbers the same numbers. >=20 > So, either your "wij-Reals" just fail to have the normal mathematical=20 > operations defined or you have a problem with the proof. >=20 > Numbers defined with no rules on how to manipulate them are fairly=20 > worthless. Right, but you are actually refering to yourself.=20 Your math. has big holes you don't realize (and refuse to). You are fooled = by your math.