A constructive version of Laplace's proof on the existence of complex roots - Archive ouverte HAL Accéder directement au contenu
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 INSMI INRIA2
257 Consultations
530 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More