Essays in Constructive Mathematics

"... The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader. And it proves that the philosophical orientation of an author really can make a big difference. The mathematical content is intensely classical. ... Edwards make...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autore principale: Edwards, Harold M., 1936-2020
Natura: Livre numérique
Lingua:Anglais
Pubblicazione: New York, NY : Springer New York [20..].
Cham : Springer Nature
Edizione:1st ed. 2005.
Accesso online:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Nota: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Essays in constructive mathematics, Harold M. Edwards, New York, Springer, 2005, 1 vol. (XIX-211 p.), 0-387-21978-1
LEADER 04149nam a22003137a 4500
001 947678
008 080409q2000 xx ||| |||| 00| 0 eng d
009 PPN123068916
020 |a 9780387271309 
041 0 |a eng 
082 |a 510 
100 1 |a Edwards, Harold M.,  |d 1936-2020. 
245 1 0 |a Essays in Constructive Mathematics   |c by Harold M. Edwards. 
250 |a 1st ed. 2005. 
260 |a New York, NY :  |b Springer New York. 
260 |a Cham :  |b Springer Nature,  |c [20..]. 
500 |a Archives Springer e-books (Licence nationale) 
500 |a Archives Springer e-books (Licence nationale) 
505 1 |a A Fundamental Theorem Topics in Algebra Some Quadratic Problems The Genus of an Algebraic Curve Miscellany 
506 |a Accès en ligne pour les établissements français bénéficiaires des licences nationales 
506 |a Accès soumis à abonnement pour tout autre établissement 
506 |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 
520 |a "... The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader. And it proves that the philosophical orientation of an author really can make a big difference. The mathematical content is intensely classical. ... Edwards makes it warmly accessible to any interested reader. And he is breaking fresh ground, in his rigorously constructive or constructivist presentation. So the book will interest anyone trying to learn these major, central topics in classical algebra and algebraic number theory. Also, anyone interested in constructivism, for or against. And even anyone who can be intrigued and drawn in by a masterly exposition of beautiful mathematics." Reuben Hersh 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' theory of algebraic equations, Gauss's theory of binary quadratic forms and Abel's theorem about integrals of rational differentials on algebraic curves. It is not surprising that the first two topics can be treated constructively---although the constructive treatments shed a surprising amount of light on them---but the last topic, involving integrals and differentials as it does, might seem to call for infinite processes. In this case too, however, finite algorithms suffice to define the genus of an algebraic curve, to prove that birationally equivalent curves have the same genus, and to prove the Riemann-Roch theorem. The main algorithm in this case is Newton's polygon, which is given a full treatment. 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. Harold M. Edwards is Emeritus Professor of Mathematics at New York University. His previous books are Advanced Calculus (1969, 1980, 1993), Riemann's Zeta Function (1974, 2001), Fermat's Last Theorem (1977), Galois Theory (1984), Divisor Theory (1990) and Linear Algebra (1995). Readers of his Advanced Calculus will know that his preference for constructive mathematics is not new 
776 0 |0 08475916X  |t Essays in constructive mathematics  |f Harold M. Edwards  |c New York  |n Springer  |d 2005  |p 1 vol. (XIX-211 p.)  |z 0-387-21978-1 
856 4 |q PDF  |u https://doi.org/10.1007/b138656  |z Accès sur la plateforme de l'éditeur 
856 4 |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-XFXNC29V-S  |z Accès sur la plateforme Istex 
856 4 |5 452349901:748050248  |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/b138656  |z Accès Université d'Orléans 
856 4 |5 180339901:751501441  |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/b138656  |z Accès INSA CVL 
997 |0 947678  |1 Livre numérique  |a Ressource numérique  |b INSA  |b ENSA  |c 0/Bibliothèque numérique/  |c 1/Bibliothèque numérique/Autre ressource numérique/