All Formats & Editions

This book 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... Read Full Overview

This collection of essays aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it. All definitions and proofs are based on finite algorithms, which pave illuminating paths to nontrivial results, primarily in algebra, number theory,... Read Full Overview

This book 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... Read Full Overview