Results 1 
1 of
1
The fundamental theorem of algebra: a constructive development without choice
 Pacific Journal of Mathematics
, 2000
"... Is it reasonable to do constructive mathematics without the axiom of countable choice? Serious schools of constructive mathematics all assume it one way or another, but the arguments for it are not compelling. The fundamental theorem of algebra will serve as an example of where countable choice come ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
(Show Context)
Is it reasonable to do constructive mathematics without the axiom of countable choice? Serious schools of constructive mathematics all assume it one way or another, but the arguments for it are not compelling. The fundamental theorem of algebra will serve as an example of where countable choice comes into play andhow to proceedin its absence. Along the way, a notion of a complete metric space, suitable for a choiceless environment, is developed. By constructive mathematics I mean, essentially, mathematics that is developed along the lines proposed by Errett Bishop [1]. More precisely, I mean mathematics that is done in the context of intuitionistic logic — without the lawof excluded middle. My reasons for identifying these notions are discussed in [9] and [10], the basic contention being that constructive mathematics has the same subject matter as classical mathematics. Ruitenburg [11] treated the fundamental theorem of algebra in a choiceless