A mathematical prelude to the philosophy of mathematics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham [u.a.]
Springer
2014
|
| Schlagworte: | |
| Online-Zugang: | UBG01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XI, 202 S.) |
| ISBN: | 9783319058160 |
| DOI: | 10.1007/978-3-319-05816-0 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV041890886 | ||
| 003 | DE-604 | ||
| 005 | 20140605 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140603s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319058160 |c Online |9 978-3-319-05816-0 | ||
| 024 | 7 | |a 10.1007/978-3-319-05816-0 |2 doi | |
| 035 | |a (Springer)978-3-319-05816-0 | ||
| 035 | |a (OCoLC)881625248 | ||
| 035 | |a (DE-599)BVBBV041890886 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-739 | ||
| 082 | 0 | 4 | |a 501 |2 23 |
| 084 | |a CC 3200 |0 (DE-625)17614: |2 rvk | ||
| 100 | 1 | |a Pollard, Stephen |e Verfasser |0 (DE-588)1051827477 |4 aut | |
| 245 | 1 | 0 | |a A mathematical prelude to the philosophy of mathematics |c Stephen Pollard |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XI, 202 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Naturwissenschaft | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Science |x Philosophy | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mengenlehre |0 (DE-588)4074715-3 |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 Grundlage |0 (DE-588)4158388-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Mengenlehre |0 (DE-588)4074715-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-05815-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-05816-0 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027334816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027334816&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SHU | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027334816 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-05816-0 |l UBG01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-05816-0 |l UPA01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152240683876352 |
|---|---|
| adam_text | A MATHEMATICAL PRELUDE TO THE PHILOSOPHY OF MATHEMATICS
/ POLLARD, STEPHEN
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PREFACE
CHAPTER 1: RECURSION, INDUCTION
CHAPTER 2: PEANO ARITHMETIC, INCOMPLETENESS
CHAPTER 3: HEREDITARILY FINITE LISTS
CHAPTER 4: ZERMELIAN LISTS
CHAPTER 5: THE HIERARCHY OF SETS. CHAPTER 6: FREGE ARITHMETIC
CHAPTER 7: INTUITIONIST LOGIC
CHAPTER 8. SOLUTIONS OF ODD-NUMBERED EXERCISES
INDEX
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
A MATHEMATICAL PRELUDE TO THE PHILOSOPHY OF MATHEMATICS
/ POLLARD, STEPHEN
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK IS BASED ON TWO PREMISES: ONE CANNOT UNDERSTAND PHILOSOPHY OF
MATHEMATICS WITHOUT UNDERSTANDING MATHEMATICS AND ONE CANNOT UNDERSTAND
MATHEMATICS WITHOUTDOING MATHEMATICS. IT DRAWS READERS INTO PHILOSOPHY
OF MATHEMATICS BY HAVING THEM DO MATHEMATICS. IT OFFERS 298 EXERCISES,
COVERING PHILOSOPHICALLY IMPORTANT MATERIAL, PRESENTED IN A
PHILOSOPHICALLY INFORMED WAY. THE EXERCISES GIVE READERS OPPORTUNITIES
TO RECREATE SOME MATHEMATICS THAT WILL ILLUMINATE IMPORTANT READINGS IN
PHILOSOPHY OFMATHEMATICS. TOPICS INCLUDE PRIMITIVE RECURSIVE
ARITHMETIC, PEANO ARITHMETIC, GOEDEL S THEOREMS, INTERPRETABILITY, THE
HIERARCHYOF SETS, FREGE ARITHMETIC, AND INTUITIONIST SENTENTIAL LOGIC.
THE BOOK IS INTENDED FOR READERS WHO UNDERSTAND BASIC PROPERTIES OF THE
NATURAL AND REALNUMBERS AND HAVE SOME BACKGROUND IN FORMAL LOGIC
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Pollard, Stephen |
| author_GND | (DE-588)1051827477 |
| author_facet | Pollard, Stephen |
| author_role | aut |
| author_sort | Pollard, Stephen |
| author_variant | s p sp |
| building | Verbundindex |
| bvnumber | BV041890886 |
| classification_rvk | CC 3200 |
| collection | ZDB-2-SHU |
| ctrlnum | (Springer)978-3-319-05816-0 (OCoLC)881625248 (DE-599)BVBBV041890886 |
| dewey-full | 501 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 501 - Philosophy and theory |
| dewey-raw | 501 |
| dewey-search | 501 |
| dewey-sort | 3501 |
| dewey-tens | 500 - Natural sciences and mathematics |
| discipline | Allgemeine Naturwissenschaft Philosophie |
| doi_str_mv | 10.1007/978-3-319-05816-0 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02522nmm a2200577 c 4500</leader><controlfield tag="001">BV041890886</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140605 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140603s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319058160</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-05816-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-05816-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Springer)978-3-319-05816-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)881625248</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041890886</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">501</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3200</subfield><subfield code="0">(DE-625)17614:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Pollard, Stephen</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1051827477</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A mathematical prelude to the philosophy of mathematics</subfield><subfield code="c">Stephen Pollard</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 202 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Naturwissenschaft</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</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">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Mengenlehre</subfield><subfield code="0">(DE-588)4074715-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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">Druckausgabe</subfield><subfield code="z">978-3-319-05815-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-05816-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027334816&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">Springer Fremddatenuebernahme</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=027334816&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027334816</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-05816-0</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-05816-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV041890886 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:07:34Z |
| institution | BVB |
| isbn | 9783319058160 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027334816 |
| oclc_num | 881625248 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 |
| owner_facet | DE-473 DE-BY-UBG DE-739 |
| physical | 1 Online-Ressource (XI, 202 S.) |
| psigel | ZDB-2-SHU |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| spelling | Pollard, Stephen Verfasser (DE-588)1051827477 aut A mathematical prelude to the philosophy of mathematics Stephen Pollard Cham [u.a.] Springer 2014 1 Online-Ressource (XI, 202 S.) txt rdacontent c rdamedia cr rdacarrier Naturwissenschaft Philosophie Philosophy (General) Science Philosophy Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Grundlage (DE-588)4158388-7 gnd rswk-swf Mengenlehre (DE-588)4074715-3 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mathematik (DE-588)4037944-9 s Grundlage (DE-588)4158388-7 s DE-604 Mathematische Logik (DE-588)4037951-6 s Mengenlehre (DE-588)4074715-3 s Erscheint auch als Druckausgabe 978-3-319-05815-3 https://doi.org/10.1007/978-3-319-05816-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027334816&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027334816&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Pollard, Stephen A mathematical prelude to the philosophy of mathematics Naturwissenschaft Philosophie Philosophy (General) Science Philosophy Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Mengenlehre (DE-588)4074715-3 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4158388-7 (DE-588)4074715-3 (DE-588)4037944-9 |
| title | A mathematical prelude to the philosophy of mathematics |
| title_auth | A mathematical prelude to the philosophy of mathematics |
| title_exact_search | A mathematical prelude to the philosophy of mathematics |
| title_full | A mathematical prelude to the philosophy of mathematics Stephen Pollard |
| title_fullStr | A mathematical prelude to the philosophy of mathematics Stephen Pollard |
| title_full_unstemmed | A mathematical prelude to the philosophy of mathematics Stephen Pollard |
| title_short | A mathematical prelude to the philosophy of mathematics |
| title_sort | a mathematical prelude to the philosophy of mathematics |
| topic | Naturwissenschaft Philosophie Philosophy (General) Science Philosophy Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Grundlage (DE-588)4158388-7 gnd Mengenlehre (DE-588)4074715-3 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Naturwissenschaft Philosophie Philosophy (General) Science Philosophy Logic, Symbolic and mathematical Mathematische Logik Grundlage Mengenlehre Mathematik |
| url | https://doi.org/10.1007/978-3-319-05816-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027334816&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=027334816&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT pollardstephen amathematicalpreludetothephilosophyofmathematics |