Essays in Constructive Mathematics
Buch in deiner Nähe kaufen
Beschreibung
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, and the theory of algebraic curves. The second edition adds a new set of essays that reflect and expand upon the first.
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 theorems about integrals of rational differentials on algebraic curves. Other topics include Newton's diagram, the fundamental theorem of algebra, factorization of polynomials over constructive fields, and the spectral theorem for symmetric matrices, all treated using constructive methods in the spirit of Kronecker.
In this second edition, the essays of the first edition are augmented with new essays that give deeper and more complete accounts of Galois’s theory, points on an algebraic curve, and Abel’s theorem. Readers will experience the full power of Galois’s approach to solvability by radicals, learn how to construct points on an algebraic curve using Newton’s diagram, and appreciate the amazing ideas introduced by Abel in his 1826 Paris memoir on transcendental functions.
Mathematical maturity is required of the reader, and some prior knowledge of Galois theory is helpful. But experience with constructive mathematics is not necessary; readers should simply be willing to set aside abstract notions of infinity and explore deep mathematics via explicit constructions.
Introduces new insights into Galois theory, number theory, and algebraic curves from a leading expert Offers constructive formulations of Galois theory and the theory of algebraic curves Invites readers new to constructive methods to explore deep mathematics through a constructive lens
Autor*in
Harold M. Edwards
Themen in »Essays in Constructive Mathematics«
constructive mathematics constructive approach to mathematical proof Kronecker general arithmetic Abel's theorem constructive formulation constructive algebra Galois theory constructive approach algorithmic foundations of Galois theory constructive definition of points on an algebraic curve genus of an algebraic curve Newton's diagram Gauss binary quadratic forms
Stimmen zu »Essays in Constructive Mathematics«
“A book of this kind with significantly worked-out algorithmic calculations, including many examples, is a rare valuable product.” (Wim Ruitenburg, Mathematical Reviews, April, 2024)
“This is the second edition of Harold Edwards' Essays in Constructive Mathematics ... . The essays contained in this volume are serious works of mathematics done from a constructivist perspective. ... I think that most mathematicians already familiar with these topics will find Edwards' constructivist approach to the topics covered to be fascinating.” (Benjamin Linowitz, MAA Reviews, December 31, 2023)
()