Essays in Constructive Mathematics


Write The First Customer Review

This book aims to promote 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. The topics covered derive from classic works of nineteenth century mathematics---among them Galois' theory of algebraic equations, Gauss's theory of binary quadratic forms and Abel's theorem about integrals of rational ...

Essays in Constructive Mathematics 2014, Springer

ISBN-13: 9781489990181

2005 edition

Trade paperback

Essays in Constructive Mathematics 2004, Springer, New York, NY

ISBN-13: 9780387219783

2005 edition