Hilbert's programs and beyond:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Oxford [und 15 weitere]
Oxford University Press
2019
|
| Ausgabe: | First issued as an Oxford University Press paperback |
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031534049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturverzeichnis: Seite 404-434 |
| Umfang: | xiv, 440 Seiten |
| ISBN: | 9780190948191 9780195372229 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV046153985 | ||
| 003 | DE-604 | ||
| 005 | 20210812 | ||
| 007 | t| | ||
| 008 | 190911s2019 xx |||| 00||| eng d | ||
| 020 | |a 9780190948191 |c paperback |9 978-0-19-094819-1 | ||
| 020 | |a 9780195372229 |c hardback |9 978-0-19-537222-9 | ||
| 035 | |a (OCoLC)1120903850 | ||
| 035 | |a (DE-599)BVBBV046153985 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-20 |a DE-11 |a DE-739 | ||
| 084 | |a SG 182 |0 (DE-625)143047:13646 |2 rvk | ||
| 084 | |a SG 580 |0 (DE-625)143067: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a CC 3700 |0 (DE-625)17620: |2 rvk | ||
| 100 | 1 | |a Sieg, Wilfried |d 1945- |e Verfasser |0 (DE-588)128682116 |4 aut | |
| 245 | 1 | 0 | |a Hilbert's programs and beyond |c Wilfried Sieg |
| 250 | |a First issued as an Oxford University Press paperback | ||
| 264 | 1 | |a Oxford [und 15 weitere] |b Oxford University Press |c 2019 | |
| 264 | 4 | |c © 2013 | |
| 300 | |a xiv, 440 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverzeichnis: Seite 404-434 | ||
| 650 | 0 | 7 | |a Hilbertsches Programm |0 (DE-588)4209255-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Hilbertsches Programm |0 (DE-588)4209255-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-0-19-970715-7 |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031534049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q gbd_0 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031534049 | |
Datensatz im Suchindex
| _version_ | 1819382950840500224 |
|---|---|
| adam_text | Contents Introduction In.l A Perspective on Hilbert’s Programs In.2 Milestones 1 3 29 I Mathematical roots LÍ Dedekind’s analysis of number: systems and axioms 1.2 Methods for real arithmetic 1.3 Hilbert’s programs: 1917-1922 33 35 73 91 II Analyses Historical II. 1 11.2 11.3 11.4 11.5 Finitist proof theory: 1922-1934 After Königsberg In the shadow of incompleteness: Hilbert and Gentzen Gödel at Zilsel’s Hilbert and Bernays: 1939 Systematical 11.6 Foundations for analysis and proof theory 11.7 Reductions of theories for analysis 11.8 Hilbert’s program sixty years later 11.9 On reverse mathematics 11.10 Relative consistency and accessible domains III Philosophical horizons 129 131 145 155 193 215 227 229 263 281 291 299 327 IILI Aspects of mathematical experience XIII 329
XIV 111.2 111.3 Hilbert’s Programs and Beyond Beyond Hilbert’s reach? Searching for proofs (and uncovering capacities of the mathematical mind) Bibliography 345 Index 435 377 403
|
| any_adam_object | 1 |
| author | Sieg, Wilfried 1945- |
| author_GND | (DE-588)128682116 |
| author_facet | Sieg, Wilfried 1945- |
| author_role | aut |
| author_sort | Sieg, Wilfried 1945- |
| author_variant | w s ws |
| building | Verbundindex |
| bvnumber | BV046153985 |
| classification_rvk | SG 182 SG 580 SG 700 CC 3700 |
| ctrlnum | (OCoLC)1120903850 (DE-599)BVBBV046153985 |
| discipline | Mathematik Philosophie |
| edition | First issued as an Oxford University Press paperback |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01694nam a2200421 c 4500</leader><controlfield tag="001">BV046153985</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210812 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">190911s2019 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780190948191</subfield><subfield code="c">paperback</subfield><subfield code="9">978-0-19-094819-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195372229</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-19-537222-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1120903850</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046153985</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 182</subfield><subfield code="0">(DE-625)143047:13646</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 580</subfield><subfield code="0">(DE-625)143067:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 700</subfield><subfield code="0">(DE-625)143071:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3700</subfield><subfield code="0">(DE-625)17620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sieg, Wilfried</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128682116</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hilbert's programs and beyond</subfield><subfield code="c">Wilfried Sieg</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First issued as an Oxford University Press paperback</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [und 15 weitere]</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2019</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 440 Seiten</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis: Seite 404-434</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hilbertsches Programm</subfield><subfield code="0">(DE-588)4209255-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hilbertsches Programm</subfield><subfield code="0">(DE-588)4209255-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-0-19-970715-7</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</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=031534049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">gbd_0</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031534049</subfield></datafield></record></collection> |
| id | DE-604.BV046153985 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T18:44:34Z |
| institution | BVB |
| isbn | 9780190948191 9780195372229 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031534049 |
| oclc_num | 1120903850 |
| open_access_boolean | |
| owner | DE-706 DE-20 DE-11 DE-739 |
| owner_facet | DE-706 DE-20 DE-11 DE-739 |
| physical | xiv, 440 Seiten |
| psigel | gbd_0 |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Oxford University Press |
| record_format | marc |
| spellingShingle | Sieg, Wilfried 1945- Hilbert's programs and beyond Hilbertsches Programm (DE-588)4209255-3 gnd |
| subject_GND | (DE-588)4209255-3 |
| title | Hilbert's programs and beyond |
| title_auth | Hilbert's programs and beyond |
| title_exact_search | Hilbert's programs and beyond |
| title_full | Hilbert's programs and beyond Wilfried Sieg |
| title_fullStr | Hilbert's programs and beyond Wilfried Sieg |
| title_full_unstemmed | Hilbert's programs and beyond Wilfried Sieg |
| title_short | Hilbert's programs and beyond |
| title_sort | hilbert s programs and beyond |
| topic | Hilbertsches Programm (DE-588)4209255-3 gnd |
| topic_facet | Hilbertsches Programm |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031534049&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT siegwilfried hilbertsprogramsandbeyond |