Rigor and structure:
John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and surveys many historical...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Oxford University Press
2015
|
| Ausgabe: | First edition |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and surveys many historical developments in mathematics, philosophy, and logic |
| ISBN: | 9780191789076 |
| DOI: | 10.1093/acprof:oso/9780198722229.001.0001 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045167127 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180905s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9780191789076 |c Online |9 978-0-19-178907-6 | ||
| 024 | 7 | |a 10.1093/acprof:oso/9780198722229.001.0001 |2 doi | |
| 035 | |a (ZDB-28-OSP)EDZ0001131832 | ||
| 035 | |a (OCoLC)910530007 | ||
| 035 | |a (DE-599)BVBBV045167127 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 510.1 |2 23 | |
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 100 | 1 | |a Burgess, John P. |d 1948- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Rigor and structure |c John P. Burgess |
| 250 | |a First edition | ||
| 264 | 1 | |a Oxford |b Oxford University Press |c 2015 | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 505 | 8 | |a Includes bibliographical references and index | |
| 520 | |a John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and surveys many historical developments in mathematics, philosophy, and logic | ||
| 650 | 4 | |a Mathematics / Philosophy | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Wissenschaftsphilosophie |0 (DE-588)4202787-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Struktur |0 (DE-588)4058125-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Genauigkeit |0 (DE-588)4234398-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |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 Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 2 | |a Genauigkeit |0 (DE-588)4234398-7 |D s |
| 689 | 0 | 3 | |a Struktur |0 (DE-588)4058125-1 |D s |
| 689 | 0 | 4 | |a Wissenschaftsphilosophie |0 (DE-588)4202787-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780198722229 |
| 856 | 4 | 0 | |u https://doi.org/10.1093/acprof:oso/9780198722229.001.0001 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-28-OSP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030556502 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804178852302290944 |
|---|---|
| any_adam_object | |
| author | Burgess, John P. 1948- |
| author_facet | Burgess, John P. 1948- |
| author_role | aut |
| author_sort | Burgess, John P. 1948- |
| author_variant | j p b jp jpb |
| building | Verbundindex |
| bvnumber | BV045167127 |
| classification_rvk | SG 700 |
| collection | ZDB-28-OSP |
| contents | Includes bibliographical references and index |
| ctrlnum | (ZDB-28-OSP)EDZ0001131832 (OCoLC)910530007 (DE-599)BVBBV045167127 |
| 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 |
| doi_str_mv | 10.1093/acprof:oso/9780198722229.001.0001 |
| edition | First edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02260nmm a2200517zc 4500</leader><controlfield tag="001">BV045167127</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180905s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191789076</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-19-178907-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1093/acprof:oso/9780198722229.001.0001</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-28-OSP)EDZ0001131832</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)910530007</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045167127</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="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield><subfield code="2">23</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="100" ind1="1" ind2=" "><subfield code="a">Burgess, John P.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Rigor and structure</subfield><subfield code="c">John P. Burgess</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2015</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="505" ind1="8" ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and surveys many historical developments in mathematics, philosophy, and logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics / Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftsphilosophie</subfield><subfield code="0">(DE-588)4202787-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Struktur</subfield><subfield code="0">(DE-588)4058125-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Genauigkeit</subfield><subfield code="0">(DE-588)4234398-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Genauigkeit</subfield><subfield code="0">(DE-588)4234398-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Struktur</subfield><subfield code="0">(DE-588)4058125-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Wissenschaftsphilosophie</subfield><subfield code="0">(DE-588)4202787-1</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</subfield><subfield code="z">9780198722229</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1093/acprof:oso/9780198722229.001.0001</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-28-OSP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030556502</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></record></collection> |
| id | DE-604.BV045167127 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:10:33Z |
| institution | BVB |
| isbn | 9780191789076 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030556502 |
| oclc_num | 910530007 |
| open_access_boolean | |
| psigel | ZDB-28-OSP |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Oxford University Press |
| record_format | marc |
| spelling | Burgess, John P. 1948- Verfasser aut Rigor and structure John P. Burgess First edition Oxford Oxford University Press 2015 txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and surveys many historical developments in mathematics, philosophy, and logic Mathematics / Philosophy Logic Wissenschaftsphilosophie (DE-588)4202787-1 gnd rswk-swf Struktur (DE-588)4058125-1 gnd rswk-swf Genauigkeit (DE-588)4234398-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Mathematik (DE-588)4037944-9 s Logik (DE-588)4036202-4 s Genauigkeit (DE-588)4234398-7 s Struktur (DE-588)4058125-1 s Wissenschaftsphilosophie (DE-588)4202787-1 s 1\p DE-604 Erscheint auch als Druck-Ausgabe 9780198722229 https://doi.org/10.1093/acprof:oso/9780198722229.001.0001 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Burgess, John P. 1948- Rigor and structure Includes bibliographical references and index Mathematics / Philosophy Logic Wissenschaftsphilosophie (DE-588)4202787-1 gnd Struktur (DE-588)4058125-1 gnd Genauigkeit (DE-588)4234398-7 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4202787-1 (DE-588)4058125-1 (DE-588)4234398-7 (DE-588)4036202-4 (DE-588)4037944-9 |
| title | Rigor and structure |
| title_auth | Rigor and structure |
| title_exact_search | Rigor and structure |
| title_full | Rigor and structure John P. Burgess |
| title_fullStr | Rigor and structure John P. Burgess |
| title_full_unstemmed | Rigor and structure John P. Burgess |
| title_short | Rigor and structure |
| title_sort | rigor and structure |
| topic | Mathematics / Philosophy Logic Wissenschaftsphilosophie (DE-588)4202787-1 gnd Struktur (DE-588)4058125-1 gnd Genauigkeit (DE-588)4234398-7 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Mathematics / Philosophy Logic Wissenschaftsphilosophie Struktur Genauigkeit Logik Mathematik |
| url | https://doi.org/10.1093/acprof:oso/9780198722229.001.0001 |
| work_keys_str_mv | AT burgessjohnp rigorandstructure |