Model theory and the philosophy of mathematical practice: formalization without foundationalism
Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues f...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2018
|
| Schlagworte: | |
| Online-Zugang: | BSB01 UBA01 UBG01 UBM01 Volltext |
| Zusammenfassung: | Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 19 Jan 2018) |
| Beschreibung: | 1 online resource (xi, 352 pages) |
| DOI: | 10.1017/9781316987216 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044864902 | ||
| 003 | DE-604 | ||
| 005 | 20230824 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180313s2018 |||| o||u| ||||||eng d | ||
| 020 | |z 9781316987216 |9 9781316987216 | ||
| 024 | 7 | |a 10.1017/9781316987216 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781316987216 | ||
| 035 | |a (OCoLC)1028903065 | ||
| 035 | |a (DE-599)BVBBV044864902 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 |a DE-384 |a DE-19 | ||
| 082 | 0 | |a 511.3/4 | |
| 100 | 1 | |a Baldwin, John T. |d 1944- |e Verfasser |0 (DE-588)128927690 |4 aut | |
| 245 | 1 | 0 | |a Model theory and the philosophy of mathematical practice |b formalization without foundationalism |c John T. Baldwin |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2018 | |
| 300 | |a 1 online resource (xi, 352 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 19 Jan 2018) | ||
| 520 | |a Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics | ||
| 650 | 4 | |a Model theory | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formalisierung |0 (DE-588)4123217-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Formalisierung |0 (DE-588)4123217-3 |D s |
| 689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, hardback |z 9781107189218 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, paperback |z 9781316638835 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781316987216 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030259475 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/9781316987216 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316987216 |l UBA01 |p ZDB-20-CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316987216 |l UBG01 |p ZDB-20-CBO |q UBG_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781316987216 |l UBM01 |p ZDB-20-CBO |q UBM_PDA_CBO_Kauf_2023 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178391492984832 |
|---|---|
| any_adam_object | |
| author | Baldwin, John T. 1944- |
| author_GND | (DE-588)128927690 |
| author_facet | Baldwin, John T. 1944- |
| author_role | aut |
| author_sort | Baldwin, John T. 1944- |
| author_variant | j t b jt jtb |
| building | Verbundindex |
| bvnumber | BV044864902 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781316987216 (OCoLC)1028903065 (DE-599)BVBBV044864902 |
| dewey-full | 511.3/4 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/4 |
| dewey-search | 511.3/4 |
| dewey-sort | 3511.3 14 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/9781316987216 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03078nmm a2200529zc 4500</leader><controlfield tag="001">BV044864902</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230824 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180313s2018 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781316987216</subfield><subfield code="9">9781316987216</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781316987216</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781316987216</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1028903065</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044864902</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-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/4</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baldwin, John T.</subfield><subfield code="d">1944-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128927690</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model theory and the philosophy of mathematical practice</subfield><subfield code="b">formalization without foundationalism</subfield><subfield code="c">John T. Baldwin</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 352 pages)</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="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 19 Jan 2018)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formalisierung</subfield><subfield code="0">(DE-588)4123217-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, hardback</subfield><subfield code="z">9781107189218</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, paperback</subfield><subfield code="z">9781316638835</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781316987216</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030259475</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781316987216</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</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.1017/9781316987216</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-20-CBO</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.1017/9781316987216</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBG_PDA_CBO</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.1017/9781316987216</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBM_PDA_CBO_Kauf_2023</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044864902 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:03:14Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030259475 |
| oclc_num | 1028903065 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG DE-384 DE-19 DE-BY-UBM |
| owner_facet | DE-12 DE-473 DE-BY-UBG DE-384 DE-19 DE-BY-UBM |
| physical | 1 online resource (xi, 352 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO UBG_PDA_CBO ZDB-20-CBO UBM_PDA_CBO_Kauf_2023 |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Baldwin, John T. 1944- Verfasser (DE-588)128927690 aut Model theory and the philosophy of mathematical practice formalization without foundationalism John T. Baldwin Cambridge Cambridge University Press 2018 1 online resource (xi, 352 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 19 Jan 2018) Major shifts in the field of model theory in the twentieth century have seen the development of new tools, methods, and motivations for mathematicians and philosophers. In this book, John T. Baldwin places the revolution in its historical context from the ancient Greeks to the last century, argues for local rather than global foundations for mathematics, and provides philosophical viewpoints on the importance of modern model theory for both understanding and undertaking mathematical practice. The volume also addresses the impact of model theory on contemporary algebraic geometry, number theory, combinatorics, and differential equations. This comprehensive and detailed book will interest logicians and mathematicians as well as those working on the history and philosophy of mathematics Model theory Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Formalisierung (DE-588)4123217-3 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s Formalisierung (DE-588)4123217-3 s Logik (DE-588)4036202-4 s 1\p DE-604 Erscheint auch als Druck-Ausgabe, hardback 9781107189218 Erscheint auch als Druck-Ausgabe, paperback 9781316638835 https://doi.org/10.1017/9781316987216 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Baldwin, John T. 1944- Model theory and the philosophy of mathematical practice formalization without foundationalism Model theory Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd Formalisierung (DE-588)4123217-3 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4114617-7 (DE-588)4123217-3 |
| title | Model theory and the philosophy of mathematical practice formalization without foundationalism |
| title_auth | Model theory and the philosophy of mathematical practice formalization without foundationalism |
| title_exact_search | Model theory and the philosophy of mathematical practice formalization without foundationalism |
| title_full | Model theory and the philosophy of mathematical practice formalization without foundationalism John T. Baldwin |
| title_fullStr | Model theory and the philosophy of mathematical practice formalization without foundationalism John T. Baldwin |
| title_full_unstemmed | Model theory and the philosophy of mathematical practice formalization without foundationalism John T. Baldwin |
| title_short | Model theory and the philosophy of mathematical practice |
| title_sort | model theory and the philosophy of mathematical practice formalization without foundationalism |
| title_sub | formalization without foundationalism |
| topic | Model theory Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd Modelltheorie (DE-588)4114617-7 gnd Formalisierung (DE-588)4123217-3 gnd |
| topic_facet | Model theory Logic, Symbolic and mathematical Logik Modelltheorie Formalisierung |
| url | https://doi.org/10.1017/9781316987216 |
| work_keys_str_mv | AT baldwinjohnt modeltheoryandthephilosophyofmathematicalpracticeformalizationwithoutfoundationalism |