This title promotes constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite al... » 

This title promotes constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use finite algorithms, not 'algorithms' that require surveying an infinite number of possibilities to determine whether a given condition is met. «