Essays in constructive mathematics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer
2005
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Klappentext |
| Beschreibung: | XIX, 211 S. Ill. |
| ISBN: | 0387219781 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV019863137 | ||
| 003 | DE-604 | ||
| 005 | 20051117 | ||
| 007 | t | ||
| 008 | 050629s2005 xxua||| |||| 00||| eng d | ||
| 010 | |a 2004049156 | ||
| 020 | |a 0387219781 |c alk. paper |9 0-387-21978-1 | ||
| 035 | |a (OCoLC)55286543 | ||
| 035 | |a (DE-599)BVBBV019863137 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 |a DE-739 |a DE-19 |a DE-384 |a DE-11 |a DE-188 |a DE-20 | ||
| 050 | 0 | |a QA9.56 | |
| 082 | 0 | |a 511.3 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 200 |0 (DE-625)143223: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Edwards, Harold M. |d 1936-2020 |e Verfasser |0 (DE-588)117709700 |4 aut | |
| 245 | 1 | 0 | |a Essays in constructive mathematics |c Harold M. Edwards |
| 264 | 1 | |a New York, NY |b Springer |c 2005 | |
| 300 | |a XIX, 211 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Constructieve wiskunde |2 gtt | |
| 650 | 4 | |a Mathématiques constructives | |
| 650 | 4 | |a Constructive mathematics | |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | 1 | |a Konstruktive Mathematik |0 (DE-588)4165105-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013187613 | ||
Datensatz im Suchindex
| _version_ | 1804133384053587968 |
|---|---|
| adam_text | This book aims to promote constructive mathematics, not by defining it or for¬
malizing 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 s theory of algebraic equations, Gauss s theory of binary qua¬
dratic forms, and Abel s theorem about integrals of rational differentials on alge¬
braic curves. It is not surprising that the first two topics can be treated construc¬
tively
them
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 cov¬
ered include the fundamental theorem of algebra, the factorization of polynomials
over an algebraic number field, and the spectral theorem for symmetric matrices.
Contents
Preface
Synopsis....................................................... xiii
1
1.1 General
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9
2
2.1
2.2
2.3
2.4
2.5
3
3.1
3.2
3.3
3.4
3.5
3.6
3.7
4
4.1
4.2
4.3
4.4
4.5
4.6
4.7
4.8
5
5.1
5.2
5.3
5.4
5.5 Kronecker
References
Index
|
| any_adam_object | 1 |
| author | Edwards, Harold M. 1936-2020 |
| author_GND | (DE-588)117709700 |
| author_facet | Edwards, Harold M. 1936-2020 |
| author_role | aut |
| author_sort | Edwards, Harold M. 1936-2020 |
| author_variant | h m e hm hme |
| building | Verbundindex |
| bvnumber | BV019863137 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.56 |
| callnumber-search | QA9.56 |
| callnumber-sort | QA 19.56 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 200 |
| ctrlnum | (OCoLC)55286543 (DE-599)BVBBV019863137 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01891nam a2200457zc 4500</leader><controlfield tag="001">BV019863137</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20051117 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050629s2005 xxua||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004049156</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387219781</subfield><subfield code="c">alk. paper</subfield><subfield code="9">0-387-21978-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)55286543</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019863137</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.56</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 200</subfield><subfield code="0">(DE-625)143223:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Edwards, Harold M.</subfield><subfield code="d">1936-2020</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117709700</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Essays in constructive mathematics</subfield><subfield code="c">Harold M. Edwards</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 211 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Constructieve wiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques constructives</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constructive mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Konstruktive Mathematik</subfield><subfield code="0">(DE-588)4165105-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013187613</subfield></datafield></record></collection> |
| id | DE-604.BV019863137 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:07:51Z |
| institution | BVB |
| isbn | 0387219781 |
| language | English |
| lccn | 2004049156 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013187613 |
| oclc_num | 55286543 |
| open_access_boolean | |
| owner | DE-703 DE-739 DE-19 DE-BY-UBM DE-384 DE-11 DE-188 DE-20 |
| owner_facet | DE-703 DE-739 DE-19 DE-BY-UBM DE-384 DE-11 DE-188 DE-20 |
| physical | XIX, 211 S. Ill. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| spelling | Edwards, Harold M. 1936-2020 Verfasser (DE-588)117709700 aut Essays in constructive mathematics Harold M. Edwards New York, NY Springer 2005 XIX, 211 S. Ill. txt rdacontent n rdamedia nc rdacarrier Constructieve wiskunde gtt Mathématiques constructives Constructive mathematics Algebra (DE-588)4001156-2 gnd rswk-swf Konstruktive Mathematik (DE-588)4165105-4 gnd rswk-swf Algebra (DE-588)4001156-2 s Konstruktive Mathematik (DE-588)4165105-4 s DE-604 Digitalisierung UBPassau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | Edwards, Harold M. 1936-2020 Essays in constructive mathematics Constructieve wiskunde gtt Mathématiques constructives Constructive mathematics Algebra (DE-588)4001156-2 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd |
| subject_GND | (DE-588)4001156-2 (DE-588)4165105-4 |
| title | Essays in constructive mathematics |
| title_auth | Essays in constructive mathematics |
| title_exact_search | Essays in constructive mathematics |
| title_full | Essays in constructive mathematics Harold M. Edwards |
| title_fullStr | Essays in constructive mathematics Harold M. Edwards |
| title_full_unstemmed | Essays in constructive mathematics Harold M. Edwards |
| title_short | Essays in constructive mathematics |
| title_sort | essays in constructive mathematics |
| topic | Constructieve wiskunde gtt Mathématiques constructives Constructive mathematics Algebra (DE-588)4001156-2 gnd Konstruktive Mathematik (DE-588)4165105-4 gnd |
| topic_facet | Constructieve wiskunde Mathématiques constructives Constructive mathematics Algebra Konstruktive Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013187613&sequence=000002&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT edwardsharoldm essaysinconstructivemathematics |