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:
| Beteilige Person: | |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2018
|
| Links: | https://doi.org/10.1017/9781316987216 |
| 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. |
| Umfang: | 1 Online-Ressource (xi, 352 Seiten) |
| ISBN: | 9781316987216 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781316987216 | ||
| 003 | UkCbUP | ||
| 005 | 20180205150832.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 160719s2018||||enk o ||1 0|eng|d | ||
| 020 | |a 9781316987216 | ||
| 100 | 1 | |a Baldwin, John T. | |
| 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-Ressource (xi, 352 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 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. | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107189218 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781316638835 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781316987216 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781316987216 |
|---|---|
| _version_ | 1825574053842255873 |
| adam_text | |
| any_adam_object | |
| author | Baldwin, John T. |
| author_facet | Baldwin, John T. |
| author_role | |
| author_sort | Baldwin, John T. |
| author_variant | j t b jt jtb |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01597nam a2200253 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781316987216</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20180205150832.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">160719s2018||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316987216</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baldwin, John T.</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-Ressource (xi, 352 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</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</subfield><subfield code="z">9781316638835</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781316987216</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781316987216 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-03T11:58:07Z |
| institution | BVB |
| isbn | 9781316987216 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xi, 352 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Baldwin, John T. Model theory and the philosophy of mathematical practice formalization without foundationalism John T. Baldwin Cambridge Cambridge University Press 2018 1 Online-Ressource (xi, 352 Seiten) txt c cr 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. Erscheint auch als Druck-Ausgabe 9781107189218 Erscheint auch als Druck-Ausgabe 9781316638835 |
| spellingShingle | Baldwin, John T. Model theory and the philosophy of mathematical practice formalization without foundationalism |
| 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 |
| work_keys_str_mv | AT baldwinjohnt modeltheoryandthephilosophyofmathematicalpracticeformalizationwithoutfoundationalism |