Titre : | Essays in constructive mathematics |
Auteurs : | Harold m. Edwards |
Type de document : | Books |
Editeur : | Wien : Springer Nature, 2005 |
Article en page(s) : | XIX, 211 p. |
ISBN/ISSN/EAN : | 978-0-387-21978-3 |
Langues: | Anglais |
Index. décimale : | 510.25 |
Catégories : | |
Tags : | Mathematics ; Testing |
Résumé : |
This book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing all definitions and proof of 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 Able's theorem about integrals of rational differentials on algebraic curves. |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
100596R | MWMW 510 | Book | Royal Military Academy | Mathematics | Disponible |