Hilbert's programs and beyond:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Oxford [u.a.]
Oxford University Press
2013
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025963682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Includes bibliographical references (p. 403-434) and index |
| Umfang: | XII, 440 S. Ill., graph. Darst. 25 cm |
| ISBN: | 9780195372229 9780199707157 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040985801 | ||
| 003 | DE-604 | ||
| 005 | 20150831 | ||
| 007 | t| | ||
| 008 | 130507s2013 xx ad|| |||| 00||| eng d | ||
| 010 | |a 2012022356 | ||
| 020 | |a 9780195372229 |c hardback : alk. paper |9 978-0-19-537222-9 | ||
| 020 | |a 9780199707157 |c ebook |9 978-0-19-970715-7 | ||
| 035 | |a (OCoLC)842833070 | ||
| 035 | |a (DE-599)GBV719601053 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-29 |a DE-11 |a DE-83 |a DE-634 |a DE-703 |a DE-824 |a DE-210 |a DE-355 | ||
| 050 | 0 | |a QA8.4 | |
| 082 | 0 | |a 510.1 | |
| 084 | |a CC 3700 |0 (DE-625)17620: |2 rvk | ||
| 084 | |a SG 580 |0 (DE-625)143067: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 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 |
| 264 | 1 | |a Oxford [u.a.] |b Oxford University Press |c 2013 | |
| 300 | |a XII, 440 S. |b Ill., graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 403-434) and index | ||
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Hilbert, David <1862-1943> | |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Philosophy | |
| 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 | |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025963682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n DHB | |
| 940 | 1 | |q DHB_JDG_ISBN_1 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025963682 | |
Datensatz im Suchindex
| _version_ | 1819356761816039424 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
INTRODUETION 1
IN.1 A PERSPECTIVE ON HILBERT S PROGRAMS 3
IN.2 MILESTONES 29
I MATHEMATIEAL ROOTS 33
1.1 DEDEKIND S ANALYSIS OF NUMBER: SYSTEMS AND AXIOMS 35
1.2 METHODS FOR REAL ARITHMETIC 73
1.3 HILBERT S PROGRAMS: 1917-1922 91
II ANALYSES
HISTORIEAL 129
11.1
H.2
II.3
II.4
II.5
H.6
II.7
11.8
II.9
11.10
FINITIST PROOF THEORY: 1922-1934
MTER KOENIGSBERG
IN THE SHADOW OF INCOMPLETENESS: HILBERT AND GENTZEN
GOEDEL AT ZILSEL S
HILBERT AND BERNAYS: 1939
SYSTEMATIEAL
FOUNDATIONS FOR ANALYSIS AND PROOF THEORY
REDUCTIONS OFTHEORIES FOR ANALYSIS
HILBERT S PROGRAM SIXTY YEARS LATER
ON REVERSE MATHEMATICS
RELATIVE CONSISTENCY AND ACCESSIBLE DOMAINS
131
145
155
193
215
227
229
263
281 291 299
III PHILOSOPHIEAL HORIZONS
IH.L ASPECTS OF MATHEMATICAL EXPERIENCE
XI
327
329
IMAGE 2
XII
HILBERT S PROGRAMS AND BEYOND
II I.2
II I.3
BEYOND HILBERT S RE ACH?
SEARCHING FOR PROOFS (AND UNCOVERING CAPACITIES OF THE MATHEMATICAL
MIND)
BIBLIOGRAPHY
INDEX
345
377
403
435
|
| 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 | BV040985801 |
| callnumber-first | Q - Science |
| callnumber-label | QA8 |
| callnumber-raw | QA8.4 |
| callnumber-search | QA8.4 |
| callnumber-sort | QA 18.4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 3700 SG 580 SG 700 |
| ctrlnum | (OCoLC)842833070 (DE-599)GBV719601053 |
| dewey-full | 510.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510.1 |
| dewey-search | 510.1 |
| dewey-sort | 3510.1 |
| 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>01816nam a2200493 c 4500</leader><controlfield tag="001">BV040985801</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150831 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">130507s2013 xx ad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2012022356</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780195372229</subfield><subfield code="c">hardback : alk. paper</subfield><subfield code="9">978-0-19-537222-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199707157</subfield><subfield code="c">ebook</subfield><subfield code="9">978-0-19-970715-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)842833070</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV719601053</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="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA8.4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</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="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">5,1</subfield><subfield code="2">ssgn</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="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 440 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">25 cm</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">Includes bibliographical references (p. 403-434) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Hilbert, David <1862-1943></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</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="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</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=025963682&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="n">DHB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">DHB_JDG_ISBN_1</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025963682</subfield></datafield></record></collection> |
| id | DE-604.BV040985801 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T16:28:44Z |
| institution | BVB |
| isbn | 9780195372229 9780199707157 |
| language | English |
| lccn | 2012022356 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025963682 |
| oclc_num | 842833070 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-29 DE-11 DE-83 DE-634 DE-703 DE-824 DE-210 DE-355 DE-BY-UBR |
| owner_facet | DE-19 DE-BY-UBM DE-29 DE-11 DE-83 DE-634 DE-703 DE-824 DE-210 DE-355 DE-BY-UBR |
| physical | XII, 440 S. Ill., graph. Darst. 25 cm |
| psigel | DHB_JDG_ISBN_1 |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Oxford University Press |
| record_format | marc |
| spellingShingle | Sieg, Wilfried 1945- Hilbert's programs and beyond Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy 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 | Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy Hilbertsches Programm (DE-588)4209255-3 gnd |
| topic_facet | Mathematik Philosophie Hilbert, David <1862-1943> Mathematics Philosophy Hilbertsches Programm |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025963682&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT siegwilfried hilbertsprogramsandbeyond |