Essays in constructive mathematics / Harold M. Edwards.
"This book aims to promote constructive mathematics not by defining it or formalizing it, but by practicing it, by basing all definitions and proofs on finite algorithms. The topics covered derive from classic works of nineteenth-century mathematics, among them Galois's theory of algebraic...
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
New York :
Springer,
[2005]
|
Subjects: |
Table of Contents:
- 1. A fundamental theorem
- 2. Topics in algebra
- 3. Some quadratic problems
- 4. The genus of an algebraic curve
- 5. Miscellany.