A constructive version of Laplace's proof on the existence of complex roots - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Algebra Année : 2013

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.
Fichier principal
Vignette du fichier
laplace1.pdf (259.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00592284 , version 1 (12-05-2011)
inria-00592284 , version 2 (22-03-2013)

Identifiants

Citer

Cyril Cohen, Thierry Coquand. A constructive version of Laplace's proof on the existence of complex roots. Journal of Algebra, 2013, 381, pp.110-115. ⟨10.1016/j.jalgebra.2013.01.016⟩. ⟨inria-00592284v2⟩

Collections

INRIA INRIA2
275 Consultations
573 Téléchargements

Altmetric

Partager

More