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: | Ebook |
| Language: | English |
| Published: |
New York :
Springer,
[2005]
|
| Subjects: | |
| Online Access: | Springer eBooks Contributor biographical information |
| Summary: | "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 equations, Gauss's theory of binary quadratic forms, and Abel's theorem about integrals of rational differentials on algebraic curves. Other topics covered include the fundamental theorem of algebra, the factorization of polynomials over an algebraic number field, and the spectral theorem for symmetric matrices."--Jacket. |
|---|---|
| Physical Description: | 1 online resource (xix, 211 pages) : illustrations |
| Format: | Mode of access: World Wide Web. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 0387271309 1280803495 9780387271309 9781280803499 |