Funnily enough, I was looking at that the other day - in fact, you could check if the bit I added that says "the constructible numbers form the smallest field extension of the rational numbers which is closed under square root and complex conjugation" is correct!
BTW, anonymous posts are welcome but please sign with a nym!!
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Re: More proofs
Date: 2009-02-23 02:51 pm (UTC)BTW, anonymous posts are welcome but please sign with a nym!!