A constructive version of Laplace's proof on the existence of complex roots
Résumé
Laplace presented an algebraic proof of the fundamental theorem of algebra which relied on the existence of a splitting field. This proof can be generalized by replacing real numbers by any real closed field. Although it is possible to build a splitting field in a classical context, it is not true anymore in an constructive context. We present a constructive version of Laplace's proof as the result of a general method to make constructive sense of the notion of splitting fields.
Domaines
Anneaux et algèbres [math.RA]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...