Sujet : Re: What if Carl Friedrich Gauss was wrong?
De : jp (at) *nospam* python.invalid (Python)
Groupes : sci.mathDate : 01. Mar 2025, 15:52:46
Autres entêtes
Organisation : Nemoweb
Message-ID : <CWrY4DH73otG-Lx5hX591Q4YBKg@jntp>
References : 1 2 3
User-Agent : Nemo/1.0
Le 01/03/2025 à 03:29, Ross Finlayson a écrit :
[snip nonsense]
Of course many people are familiar with the theorem that
the complex numbers are a complete ordered field and so
are the real numbers and that's unique up to isomorphism,
yet for example I wrote field operations equipping [-1, 1]
with field operations, another, different, complete ordered
field.
Complex numbers form a complete field but NOT an ordered field.