Essays in constructive mathematics / Harold M. Edwards.

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 algeb...

Full description

Saved in:
Bibliographic Details
Main Author: Edwards, Harold M. (Author)
Format: eBook
Language:English
Published: Cham, Switzerland : Springer, 2022.
Edition:Second edition.
Subjects:
Online Access:Click for online access

MARC

LEADER 00000cam a2200000 i 4500
001 on1346990264
003 OCoLC
005 20240808213014.0
006 m o d
007 cr un|---aucuu
008 221007s2022 sz a ob 001 0 eng d
040 |a GW5XE  |b eng  |e rda  |e pn  |c GW5XE  |d EBLCP  |d YDX  |d SFB  |d OCLCF  |d OCLCQ  |d OCLCO  |d S9M  |d OCLCL 
019 |a 1346531403 
020 |a 9783030985585  |q (electronic bk.) 
020 |a 303098558X  |q (electronic bk.) 
020 |z 9783030985578 
020 |z 3030985571 
024 7 |a 10.1007/978-3-030-98558-5  |2 doi 
035 |a (OCoLC)1346990264  |z (OCoLC)1346531403 
050 4 |a QA9.56 
072 7 |a PB  |2 bicssc 
072 7 |a MAT000000  |2 bisacsh 
072 7 |a PB  |2 thema 
049 |a HCDD 
100 1 |a Edwards, Harold M.,  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Essays in constructive mathematics /  |c Harold M. Edwards. 
250 |a Second edition. 
264 1 |a Cham, Switzerland :  |b Springer,  |c 2022. 
300 |a 1 online resource (xiv, 322 pages) :  |b illustrations (some color) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
505 0 |a Part I -- 1. A Fundamental Theorem -- 2. Topics in Algebra -- 3. Some Quadratic Problems -- 4. The Genus of an Algebraic Curve -- 5. Miscellany. Part II -- 6. Constructive Algebra -- 7. The Algorithmic Foundation of Galois's Theory -- 8. A Constructive Definition of Points on an Algebraic Curve -- 9. Abel's Theorem. 
520 |a 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. 
504 |a Incldues bibliographical references and index. 
588 0 |a Online resource; title from PDF title page (SpringerLink, viewed October 7, 2022). 
650 0 |a Constructive mathematics. 
650 0 7 |a Matemáticas constructivas  |2 embucm 
650 7 |a Constructive mathematics  |2 fast 
650 7 |a Matemàtica constructiva.  |2 thub 
655 0 |a Electronic books. 
655 7 |a Llibres electrònics.  |2 thub 
758 |i has work:  |a Essays in constructive mathematics (Text)  |1 https://id.oclc.org/worldcat/entity/E39PD3fyGXK6wcwYRR4FvCKkgq  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |c Original  |z 3030985571  |z 9783030985578  |w (OCoLC)1296405761 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-030-98558-5  |y Click for online access 
903 |a SPRING-MATH2022 
994 |a 92  |b HCD