Sujet : Re: Replacement of Cardinality
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : sci.logic sci.mathDate : 16. Aug 2024, 07:48:27
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9msnt$1bjlj$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
User-Agent : Mozilla Thunderbird
On 8/15/2024 10:57 PM, Moebius wrote:
Am 16.08.2024 um 07:50 schrieb Moebius:
Of course, _if_ we already have introduced the real numbers (i.e. IR) we may define
>
√2 = the real number x such that x^2 = 2 , (*)
>
_after_ we have shown that that there is exactly one x e IR such that x^2 = 2.
>
From (*) we get immediately: (√2)^2 = 2
Now we may assume that there are natural numbers n,m such that √2 = n/m.
(...)
The infinite convergents of continuous fractions can describe sqrt(2) up to any desired precision?
Re: Replacement of Cardinality
Re: Replacement of Cardinality