Approximating Classical Theorems

Abstract We show how to apply a constructivization technique previously introduced (see [1]) in order to obtain constructive proofs of approximations of simple classical theorems