From: Stephane Legras-Decussy <yes@no.invalid>
Newsgroups: fr.rec.bricolage
Subject: =?UTF-8?Q?Re:_ratio_=c3=a9lec_/_gaz?=
Date: Mon, 27 Nov 2023 20:37:31 +0100
Message-ID: <uk2r5r$22edi$3@solani.org>
References: <ujg6u8$dc8l$1@dont-email.me> <ujglqp$fvcv$1@dont-email.me>
 <655bf2ba$0$4356$426a74cc@news.free.fr> <ujhmma$o4n2$1@dont-email.me>
 <655c6b32$0$4368$426a74cc@news.free.fr> <ujhvjc$pfe1$1@dont-email.me>
 <655c9e01$0$6456$426a74cc@news.free.fr>
 <mn.ab187e7b56907e79.119180@invalid.pasdepub> <ujibei$qusm$1@dont-email.me>
 <ujjh6o$1qdde$1@solani.org> <ujkdh3$18mb7$1@dont-email.me>
 <mn.b31e7e7b60a3a7cb.119180@invalid.pasdepub>
 <655e198c$0$6097$426a74cc@news.free.fr>
 <655e2f45$0$6099$426a74cc@news.free.fr>
 <655f5918$0$7530$426a34cc@news.free.fr> <ujnq8l$1sd78$2@dont-email.me>
 <ujp2pa$1tef8$1@solani.org> <ujph5g$27oqo$1@dont-email.me>
 <ujqri5$1u4qr$1@solani.org> <ujqrnt$1u4qr$2@solani.org>
 <65612a9d$0$27089$426a74cc@news.free.fr> <ujrp4r$1ui80$1@solani.org>
 <ujsqia$2q89q$1@dont-email.me> <uju8ff$1vqop$1@solani.org>
 <ujvi7u$39b85$1@dont-email.me> <uk158f$21ibt$2@solani.org>
 <uk1epg$3llb0$1@dont-email.me> <uk2837$21r8o$1@solani.org>
 <6564d6aa$0$6459$426a34cc@news.free.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 27 Nov 2023 19:37:31 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2177458"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (X11; Linux i686; rv:52.0) Gecko/20100101
 Thunderbird/52.9.1
Cancel-Lock: sha1:MYUFWlV78u6kiZ+IbK0ZMqfpFhI=
In-Reply-To: <6564d6aa$0$6459$426a34cc@news.free.fr>
X-User-ID: eJwNy0kBwDAIBEBL3EvkkAD+JbT/GdfgeLDwMF9fwX05mpuLZIkaoJq7yCdkj0+fJCll7CvVQ4QtMVhr9P0Bnf7Lylx2tw/V2RnX
Content-Language: en-US
Bytes: 2311
Lines: 11

On 11/27/2023 06:49 PM, Jac wrote:
> Stephane Legras-Decussy a exposé le 27/11/2023 :
> 
>> tu crois que le locataire paye le ravallement de façade ?
>>
>> on vient de me changer la chasse d'eau ... zéro ¤
> 
> Ah bon ? Chez moi, tu l'aurais payée. :D

c'est pas moi qui l'ait cassée, c'est le calcaire :-)


-------+
> > > > > > > > > > > Real Number |
> > > > > > > > > > +-------------+
> > > > > > > > > >=20
> > > > > > > > > > n-ary Fixed-Point Number::=3D Number represented by a s=
tring of digits, the
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 string may c=
ontain a plus/minus sign or a point:
> > > > > > > > > >=20
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =
<fixed_point_number>::=3D [-,+] <dstr1> [ . <dstr2> ]
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =
<dstr1>::=3D <nzd> [{ 0, <nzd> } <nzd>]
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =
<dstr2>::=3D { 0, <nzd> } <nzd>
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 =
<nzd> ::=3D (1, 2, 3, 4, 5, 6, 7, 8, 9)=C2=A0 // 'digit' varys depending on=
 n-
> > > > > > > > > > ary
> > > > > > > > > >=20
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Two n-ary fi=
xed-point number x,y are equal iff their form as mentioned
> > > > > > > > > > above
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 are identica=
l.
> > > > > > > > > >=20
> > > > > > > > > > Real Nunmber(=E2=84=9D)::=3D {x| x is represented by n-=
ary fixed-point number. The string
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 of digits of=
 x may be infinitely long }
> > > > > > > > > >=20
> > > > > > > > > > =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Note: This d=
efinition implies that repeating decimals are irrational
> > > > > > > > > > number.
> > > > > > > > >=20
> > > > > > > > > So the RATIO of 1 and 7 isn't RATIOnal?
> > > > > > > >=20
> > > > > > > > All rationals p/q are representable by q-ary fixed-point nu=
mber.
> > > > > > > >=20
> > > > > > >=20
> > > > > > > 0.99999... is representable by the following 10-ary fixed-poi=
nt number: 1.0.
> > > > > >=20
> > > > > > How?
> > > > >=20
> > > > > 1.0 =3D 3*(1/3) =3D 3*0.33333... =3D 0.99999...
> > > > >=20
> > > > What is that? Refutation by assertion?
> > > >=20
> > > > > If not (if there is a difference), which number expresses the dif=
ference
> > > > > between 1.0 and 0.99999... ?
> > > >=20
> > > > Let a=3D0.999..., b=3D1, c=3D(a+b)/2, c is the number between a and=
 b. (dense property)
> > > >=20
> > >=20
> > > But the density property requires a and b to be DIFFERENT numbers bef=
ore
> > > it asserts that there is a number between them, otherwise c is just t=
he
> > > same number as a and b.
> >=20
> > The premise of this thread said "If not" (means IF 0.999...!=3D1)
> >=20
>=20
> False premise -> Unsound conclusions.
>=20
> If you want 0.999(9) to be different than 1.00 you need to move beyond=
=20
> the Real Numbers into some form of extended Reals, and understand what=
=20
> that does to what logic you can use.
>=20
> If going into some alternate or extended number system IS your goal,=20
> then you shouldn't call your numbers "The Reals", as that name is taken.

'real number' is already there. e.g. 'a line' or just a series of digits,
whatever had practically used world wide now and then.
Your 'real number' is also a theory which also suffers from revision.
If you need a specific number system, you should name it otherwise.