Mathematical rigour and informal proof:
This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2024
|
| Schriftenreihe: | Cambridge elements. Elements in the philosophy of mathematics
|
| Schlagworte: | |
| Online-Zugang: | DE-12 DE-634 DE-92 DE-473 URL des Erstveröffentlichers |
| Zusammenfassung: | This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 07 Mar 2024) |
| Beschreibung: | 1 Online-Ressource (81 Seiten) |
| ISBN: | 9781009325110 |
| DOI: | 10.1017/9781009325110 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV049778730 | ||
| 003 | DE-604 | ||
| 005 | 20240909 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 240712s2024 |||| o||u| ||||||eng d | ||
| 020 | |a 9781009325110 |c Online |9 978-1-009-32511-0 | ||
| 024 | 7 | |a 10.1017/9781009325110 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781009325110 | ||
| 035 | |a (OCoLC)1446254368 | ||
| 035 | |a (DE-599)BVBBV049778730 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 |a DE-634 |a DE-473 | ||
| 082 | 0 | |a 510.1 | |
| 100 | 1 | |a Stanley Tanswell, Fenner |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mathematical rigour and informal proof |c Fenner Stanley Tanswell |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2024 | |
| 300 | |a 1 Online-Ressource (81 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Cambridge elements. Elements in the philosophy of mathematics | |
| 500 | |a Title from publisher's bibliographic system (viewed on 07 Mar 2024) | ||
| 520 | |a This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion | ||
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 4 | |a Proof theory | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 9781009494380 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 9781009325103 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781009325110?locatt=mode:legacy |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035119745 | |
| 966 | e | |u https://doi.org/10.1017/9781009325110?locatt=mode:legacy |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009325110?locatt=mode:legacy |l DE-634 |p ZDB-20-CBO |q BTU_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009325110?locatt=mode:legacy |l DE-92 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009325110?locatt=mode:legacy |l DE-473 |p ZDB-20-CBO |q UBG_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1809766026570629120 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Stanley Tanswell, Fenner |
| author_facet | Stanley Tanswell, Fenner |
| author_role | aut |
| author_sort | Stanley Tanswell, Fenner |
| author_variant | t f s tf tfs |
| building | Verbundindex |
| bvnumber | BV049778730 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781009325110 (OCoLC)1446254368 (DE-599)BVBBV049778730 |
| 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.1017/9781009325110 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV049778730</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240909</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240712s2024 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781009325110</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-009-32511-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781009325110</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781009325110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1446254368</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049778730</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-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stanley Tanswell, Fenner</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical rigour and informal proof</subfield><subfield code="c">Fenner Stanley Tanswell</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2024</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (81 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">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="490" ind1="0" ind2=" "><subfield code="a">Cambridge elements. Elements in the philosophy of mathematics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 07 Mar 2024)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">9781009494380</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">9781009325103</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781009325110?locatt=mode:legacy</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035119745</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781009325110?locatt=mode:legacy</subfield><subfield code="l">DE-12</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/9781009325110?locatt=mode:legacy</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BTU_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/9781009325110?locatt=mode:legacy</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_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/9781009325110?locatt=mode:legacy</subfield><subfield code="l">DE-473</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></record></collection> |
| id | DE-604.BV049778730 |
| illustrated | Not Illustrated |
| indexdate | 2024-09-10T00:16:18Z |
| institution | BVB |
| isbn | 9781009325110 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035119745 |
| oclc_num | 1446254368 |
| open_access_boolean | |
| owner | DE-12 DE-92 DE-634 DE-473 DE-BY-UBG |
| owner_facet | DE-12 DE-92 DE-634 DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource (81 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO BTU_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UBG_PDA_CBO |
| publishDate | 2024 |
| publishDateSearch | 2024 |
| publishDateSort | 2024 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Cambridge elements. Elements in the philosophy of mathematics |
| spelling | Stanley Tanswell, Fenner Verfasser aut Mathematical rigour and informal proof Fenner Stanley Tanswell Cambridge Cambridge University Press 2024 1 Online-Ressource (81 Seiten) txt rdacontent c rdamedia cr rdacarrier Cambridge elements. Elements in the philosophy of mathematics Title from publisher's bibliographic system (viewed on 07 Mar 2024) This Element looks at the contemporary debate on the nature of mathematical rigour and informal proofs as found in mathematical practice. The central argument is for rigour pluralism: that multiple different models of informal proof are good at accounting for different features and functions of the concept of rigour. To illustrate this pluralism, the Element surveys some of the main options in the literature: the 'standard view' that rigour is just formal, logical rigour; the models of proofs as arguments and dialogues; the recipe model of proofs as guiding actions and activities; and the idea of mathematical rigour as an intellectual virtue. The strengths and weaknesses of each are assessed, thereby providing an accessible and empirically-informed introduction to the key issues and ideas found in the current discussion Mathematics Philosophy Proof theory Erscheint auch als Druck-Ausgabe, Hardcover 9781009494380 Erscheint auch als Druck-Ausgabe, Paperback 9781009325103 https://doi.org/10.1017/9781009325110?locatt=mode:legacy Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Stanley Tanswell, Fenner Mathematical rigour and informal proof Mathematics Philosophy Proof theory |
| title | Mathematical rigour and informal proof |
| title_auth | Mathematical rigour and informal proof |
| title_exact_search | Mathematical rigour and informal proof |
| title_full | Mathematical rigour and informal proof Fenner Stanley Tanswell |
| title_fullStr | Mathematical rigour and informal proof Fenner Stanley Tanswell |
| title_full_unstemmed | Mathematical rigour and informal proof Fenner Stanley Tanswell |
| title_short | Mathematical rigour and informal proof |
| title_sort | mathematical rigour and informal proof |
| topic | Mathematics Philosophy Proof theory |
| topic_facet | Mathematics Philosophy Proof theory |
| url | https://doi.org/10.1017/9781009325110?locatt=mode:legacy |
| work_keys_str_mv | AT stanleytanswellfenner mathematicalrigourandinformalproof |