Sujet : Re: Replacement of Cardinality
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.logic sci.mathDate : 16. Aug 2024, 08:22:55
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9muof$1brsi$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
Am 16.08.2024 um 08:48 schrieb Chris M. Thomasson:
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 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?
Sure.
Re: Replacement of Cardinality
Re: Replacement of Cardinality