|
|
|
|
|
|
by cka
386 days ago
|
|
|
Yeah, and constructability is usually handled by proving that a length is constructable if it lives in an iterated quadratic extension of the rationals. Pi does not lie in such an extension, so is not a constructable length (and neither is its square root). |
|
|