國立高雄大學圖資館 |

Language: English

Back

Essays in constructive mathematics

Record Type:	Electronic resources : Monograph/item
Title/Author:	Essays in constructive mathematicsby Harold M. Edwards ; with contribution by David A. Cox.
Author:	Edwards, Harold M.
other author:	Cox, David A.,
Published:	Cham :Springer International Publishing :2022.
Description:	xiv, 322 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Constructive mathematics.
Online resource:	https://doi.org/10.1007/978-3-030-98558-5
ISBN:	9783030985585$q(electronic bk.)

Essays in constructive mathematics
Edwards, Harold M.

Essays in constructive mathematics[electronic resource] /by Harold M. Edwards ; with contribution by David A. Cox. - Second edition. - Cham :Springer International Publishing :2022. - xiv, 322 p. :ill. (some col.), digital ;24 cm.

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.

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.

ISBN: 9783030985585$q(electronic bk.)

Standard No.: 10.1007/978-3-030-98558-5doiSubjects--Topical Terms:

269208
Constructive mathematics.

LC Class. No.: QA9.56 / .E38 2022

Dewey Class. No.: 511.3

Essays in constructive mathematics
LDR:03023nmm a2200337 a 4500 001 630694
003 DE-He213
005 20220929005155.0
006 m d
007 cr nn 008maaau
008 230329s2022 sz s 0 eng d
020 $a 9783030985585$q(electronic bk.)
020 $a 9783030985578$q(paper)
024 7 $a 10.1007/978-3-030-98558-5 $2 doi
035 $a 978-3-030-98558-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.56 $b .E38 2022
072 7 $a PB $2 bicssc
072 7 $a MAT000000 $2 bisacsh
072 7 $a PB $2 thema
082 0 4 $a 511.3 $2 23
090 $a QA9.56 $b .E26 2022
100 1 $a Edwards, Harold M. $3 359881
245 1 0 $a Essays in constructive mathematics $h [electronic resource] / $c by Harold M. Edwards ; with contribution by David A. Cox.
250 $a Second edition.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xiv, 322 p. : $b ill. (some col.), digital ; $c 24 cm.
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.
650 0 $a Constructive mathematics. $3 269208
650 1 4 $a General Mathematics and Education. $3 929637
650 2 4 $a History of Mathematical Sciences. $3 511733
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Field Theory and Polynomials. $3 274058
650 2 4 $a Algebraic Geometry. $3 274807
700 1 $a Cox, David A., $e contributor. $3 936027
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-3-030-98558-5
950 $a Mathematics and Statistics (SpringerNature-11649)