Hilbert's program: an essay on mathematical instrumentalism
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Dordrecht ; Boston ; Lancaster ; Tokyo
D. Reidel Publishing Company
[1986]
|
| Series: | Synthese library
volume 182 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | xiv, 186 Seiten |
| ISBN: | 9027721513 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000584850 | ||
| 003 | DE-604 | ||
| 005 | 20211221 | ||
| 007 | t| | ||
| 008 | 870612s1986 xx |||| 00||| eng d | ||
| 020 | |a 9027721513 |9 90-277-2151-3 | ||
| 035 | |a (OCoLC)230837870 | ||
| 035 | |a (DE-599)BVBBV000584850 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-19 |a DE-91G |a DE-739 |a DE-824 |a DE-29 |a DE-29T |a DE-210 |a DE-M468 |a DE-706 |a DE-83 |a DE-188 | ||
| 084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a MAT 010 |2 stub | ||
| 100 | 1 | |a Detlefsen, Michael |d 1948-2019 |e Verfasser |0 (DE-588)141041293 |4 aut | |
| 245 | 1 | 0 | |a Hilbert's program |b an essay on mathematical instrumentalism |
| 264 | 1 | |a Dordrecht ; Boston ; Lancaster ; Tokyo |b D. Reidel Publishing Company |c [1986] | |
| 300 | |a xiv, 186 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthese library |v volume 182 | |
| 600 | 1 | 7 | |a Hilbert, David |d 1862-1943 |0 (DE-588)11855090X |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hilbertsche Probleme |0 (DE-588)4159859-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hilbert, David |d 1862-1943 |0 (DE-588)11855090X |D p |
| 689 | 1 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | 2 | |a Grundlage |0 (DE-588)4158388-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Hilbertsche Probleme |0 (DE-588)4159859-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 830 | 0 | |a Synthese library |v volume 182 |w (DE-604)BV000005044 |9 182 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000361750&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000361750 | |
Record in the Search Index
| _version_ | 1821765533747380224 |
|---|---|
| adam_text |
TABLE OF CONTENTS
PREFACE ix
ACKNOWLEDGEMENTS xiii
CHAPTER I: THE PHILOSOPHICAL FUNDAMENTALS
OF HILBERT'S PROGRAM 1
1. Introduction 1
2. Hilbertian Instrumentalism 3
3. Hilbert and Quine: Frege's Problem Revisited 24
4. Concluding Summary 34
5. Notes 36
CHAPTER II: A CLOSER LOOK AT THE PROBLEMS 45
1. Introduction 45
2. The Status of Induction 46
3. Poincare's Problem 59
4. The Dilution Problem 62
5. Notes 73
CHAPTER III: THE GODELIAN CHALLENGE 77
1. Introduction 77
2. The Standard Argument 78
3. The Stability Problem 80
4. Strict Instrumentalism 83
5. The Convergence Problem and the Problem of Strict
Instrumentalism 85
6. Conclusion 90
7. Notes 91
vii
viii TABLE OF CONTENTS
CHAPTER IV: THE STABILITY PROBLEM 93
1. Introduction 93
2. The Standard Choice of'if 94
3. Arithmetization 97
4. Mostowski's Proposal 101
5. The Kreisel Takeuti Proposal 113
6. The Classical Proposal? 124
7. Conclusion 129
8. Notes 129
CHAPTER V: THE CONVERGENCE PROBLEM AND
THE PROBLEM OF STRICT INSTRUMENTALISM 142
1. Introduction 142
2. Localization 145
3. The Problem of Strict Instrumentalism 148
4. The Convergence Problem 152
5. Conclusion 155
6. Notes 157
APPENDIX: HILBERT'S PROGRAM AND THE FIRST
THEOREM 161
REFERENCES 179
INDEX 183 |
| any_adam_object | 1 |
| author | Detlefsen, Michael 1948-2019 |
| author_GND | (DE-588)141041293 |
| author_facet | Detlefsen, Michael 1948-2019 |
| author_role | aut |
| author_sort | Detlefsen, Michael 1948-2019 |
| author_variant | m d md |
| building | Verbundindex |
| bvnumber | BV000584850 |
| classification_rvk | CC 2000 SG 700 |
| classification_tum | MAT 010 |
| ctrlnum | (OCoLC)230837870 (DE-599)BVBBV000584850 |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV000584850</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211221</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">870612s1986 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9027721513</subfield><subfield code="9">90-277-2151-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)230837870</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000584850</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-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2000</subfield><subfield code="0">(DE-625)17606:</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">MAT 010</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Detlefsen, Michael</subfield><subfield code="d">1948-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)141041293</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hilbert's program</subfield><subfield code="b">an essay on mathematical instrumentalism</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht ; Boston ; Lancaster ; Tokyo</subfield><subfield code="b">D. Reidel Publishing Company</subfield><subfield code="c">[1986]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 186 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="490" ind1="1" ind2=" "><subfield code="a">Synthese library</subfield><subfield code="v">volume 182</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Hilbert, David</subfield><subfield code="d">1862-1943</subfield><subfield code="0">(DE-588)11855090X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hilbertsche Probleme</subfield><subfield code="0">(DE-588)4159859-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Hilbert, David</subfield><subfield code="d">1862-1943</subfield><subfield code="0">(DE-588)11855090X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Hilbertsche Probleme</subfield><subfield code="0">(DE-588)4159859-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">volume 182</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">182</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=000361750&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000361750</subfield></datafield></record></collection> |
| id | DE-604.BV000584850 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-20T11:03:19Z |
| institution | BVB |
| isbn | 9027721513 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000361750 |
| oclc_num | 230837870 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-739 DE-824 DE-29 DE-29T DE-210 DE-M468 DE-706 DE-83 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-739 DE-824 DE-29 DE-29T DE-210 DE-M468 DE-706 DE-83 DE-188 |
| physical | xiv, 186 Seiten |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | D. Reidel Publishing Company |
| record_format | marc |
| series | Synthese library |
| series2 | Synthese library |
| spelling | Detlefsen, Michael 1948-2019 Verfasser (DE-588)141041293 aut Hilbert's program an essay on mathematical instrumentalism Dordrecht ; Boston ; Lancaster ; Tokyo D. Reidel Publishing Company [1986] xiv, 186 Seiten txt rdacontent n rdamedia nc rdacarrier Synthese library volume 182 Hilbert, David 1862-1943 (DE-588)11855090X gnd rswk-swf Hilbertsche Probleme (DE-588)4159859-3 gnd rswk-swf Grundlage (DE-588)4158388-7 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s DE-604 Hilbert, David 1862-1943 (DE-588)11855090X p Grundlage (DE-588)4158388-7 s Hilbertsche Probleme (DE-588)4159859-3 s Synthese library volume 182 (DE-604)BV000005044 182 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000361750&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Detlefsen, Michael 1948-2019 Hilbert's program an essay on mathematical instrumentalism Synthese library Hilbert, David 1862-1943 (DE-588)11855090X gnd Hilbertsche Probleme (DE-588)4159859-3 gnd Grundlage (DE-588)4158388-7 gnd Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)11855090X (DE-588)4159859-3 (DE-588)4158388-7 (DE-588)4045791-6 (DE-588)4037944-9 |
| title | Hilbert's program an essay on mathematical instrumentalism |
| title_auth | Hilbert's program an essay on mathematical instrumentalism |
| title_exact_search | Hilbert's program an essay on mathematical instrumentalism |
| title_full | Hilbert's program an essay on mathematical instrumentalism |
| title_fullStr | Hilbert's program an essay on mathematical instrumentalism |
| title_full_unstemmed | Hilbert's program an essay on mathematical instrumentalism |
| title_short | Hilbert's program |
| title_sort | hilbert s program an essay on mathematical instrumentalism |
| title_sub | an essay on mathematical instrumentalism |
| topic | Hilbert, David 1862-1943 (DE-588)11855090X gnd Hilbertsche Probleme (DE-588)4159859-3 gnd Grundlage (DE-588)4158388-7 gnd Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Hilbert, David 1862-1943 Hilbertsche Probleme Grundlage Philosophie Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000361750&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000005044 |
| work_keys_str_mv | AT detlefsenmichael hilbertsprogramanessayonmathematicalinstrumentalism |