Towards a philosophy of real mathematics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, UK
Cambridge University Press
2003
|
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references (pages 274-285) and index Introduction: a role for history -- Human and Artificial Mathematicians -- Communicating with automated theorem provers -- Automated conjecture formation -- The role of analogy in mathematics -- Plausibility, uncertainty and probability -- Bayesianism in mathematics -- Uncertainty in mathematics and science -- The Growth of Mathematics -- Lakatos's philosophy of mathematics -- Beyond the methodology of mathematical research programmes -- The importance of mathematical conceptualisation -- The Interpretation of Mathematics -- Higher dimensional algebra In this ambitious study, David Corfield sets out a variety of approaches to new thinking about the philosophy of mathematics, and challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines |
| Beschreibung: | 1 Online-Ressource (x, 288 pages) |
| ISBN: | 0511042701 0511054459 0521817226 9780511042706 9780511054457 9780521817226 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043097063 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 0511042701 |c electronic bk. |9 0-511-04270-1 | ||
| 020 | |a 0511054459 |9 0-511-05445-9 | ||
| 020 | |a 0521817226 |9 0-521-81722-6 | ||
| 020 | |a 9780511042706 |c electronic bk. |9 978-0-511-04270-6 | ||
| 020 | |a 9780511054457 |9 978-0-511-05445-7 | ||
| 020 | |a 9780521817226 |9 978-0-521-81722-6 | ||
| 035 | |a (OCoLC)56321782 | ||
| 035 | |a (DE-599)BVBBV043097063 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 510/.1 |2 22 | |
| 100 | 1 | |a Corfield, David |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Towards a philosophy of real mathematics |c David Corfield |
| 264 | 1 | |a Cambridge, UK |b Cambridge University Press |c 2003 | |
| 300 | |a 1 Online-Ressource (x, 288 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 274-285) and index | ||
| 500 | |a Introduction: a role for history -- Human and Artificial Mathematicians -- Communicating with automated theorem provers -- Automated conjecture formation -- The role of analogy in mathematics -- Plausibility, uncertainty and probability -- Bayesianism in mathematics -- Uncertainty in mathematics and science -- The Growth of Mathematics -- Lakatos's philosophy of mathematics -- Beyond the methodology of mathematical research programmes -- The importance of mathematical conceptualisation -- The Interpretation of Mathematics -- Higher dimensional algebra | ||
| 500 | |a In this ambitious study, David Corfield sets out a variety of approaches to new thinking about the philosophy of mathematics, and challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines | ||
| 650 | 7 | |a MATHEMATICS / History & Philosophy |2 bisacsh | |
| 650 | 7 | |a Mathematics / Philosophy |2 fast | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028521255 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175503279521792 |
|---|---|
| any_adam_object | |
| author | Corfield, David |
| author_facet | Corfield, David |
| author_role | aut |
| author_sort | Corfield, David |
| author_variant | d c dc |
| building | Verbundindex |
| bvnumber | BV043097063 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)56321782 (DE-599)BVBBV043097063 |
| 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 11 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02993nmm a2200541zc 4500</leader><controlfield tag="001">BV043097063</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511042701</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-511-04270-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511054459</subfield><subfield code="9">0-511-05445-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521817226</subfield><subfield code="9">0-521-81722-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511042706</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-511-04270-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511054457</subfield><subfield code="9">978-0-511-05445-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521817226</subfield><subfield code="9">978-0-521-81722-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56321782</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043097063</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Corfield, David</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Towards a philosophy of real mathematics</subfield><subfield code="c">David Corfield</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, UK</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 288 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">Includes bibliographical references (pages 274-285) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Introduction: a role for history -- Human and Artificial Mathematicians -- Communicating with automated theorem provers -- Automated conjecture formation -- The role of analogy in mathematics -- Plausibility, uncertainty and probability -- Bayesianism in mathematics -- Uncertainty in mathematics and science -- The Growth of Mathematics -- Lakatos's philosophy of mathematics -- Beyond the methodology of mathematical research programmes -- The importance of mathematical conceptualisation -- The Interpretation of Mathematics -- Higher dimensional algebra</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In this ambitious study, David Corfield sets out a variety of approaches to new thinking about the philosophy of mathematics, and challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / History & Philosophy</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics / Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</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="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028521255</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">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043097063 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:19Z |
| institution | BVB |
| isbn | 0511042701 0511054459 0521817226 9780511042706 9780511054457 9780521817226 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028521255 |
| oclc_num | 56321782 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (x, 288 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Corfield, David Verfasser aut Towards a philosophy of real mathematics David Corfield Cambridge, UK Cambridge University Press 2003 1 Online-Ressource (x, 288 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 274-285) and index Introduction: a role for history -- Human and Artificial Mathematicians -- Communicating with automated theorem provers -- Automated conjecture formation -- The role of analogy in mathematics -- Plausibility, uncertainty and probability -- Bayesianism in mathematics -- Uncertainty in mathematics and science -- The Growth of Mathematics -- Lakatos's philosophy of mathematics -- Beyond the methodology of mathematical research programmes -- The importance of mathematical conceptualisation -- The Interpretation of Mathematics -- Higher dimensional algebra In this ambitious study, David Corfield sets out a variety of approaches to new thinking about the philosophy of mathematics, and challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines MATHEMATICS / History & Philosophy bisacsh Mathematics / Philosophy fast Mathematik Philosophie Mathematics Philosophy Mathematik (DE-588)4037944-9 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 s Philosophie (DE-588)4045791-6 s 1\p DE-604 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Corfield, David Towards a philosophy of real mathematics MATHEMATICS / History & Philosophy bisacsh Mathematics / Philosophy fast Mathematik Philosophie Mathematics Philosophy Mathematik (DE-588)4037944-9 gnd Philosophie (DE-588)4045791-6 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4045791-6 |
| title | Towards a philosophy of real mathematics |
| title_auth | Towards a philosophy of real mathematics |
| title_exact_search | Towards a philosophy of real mathematics |
| title_full | Towards a philosophy of real mathematics David Corfield |
| title_fullStr | Towards a philosophy of real mathematics David Corfield |
| title_full_unstemmed | Towards a philosophy of real mathematics David Corfield |
| title_short | Towards a philosophy of real mathematics |
| title_sort | towards a philosophy of real mathematics |
| topic | MATHEMATICS / History & Philosophy bisacsh Mathematics / Philosophy fast Mathematik Philosophie Mathematics Philosophy Mathematik (DE-588)4037944-9 gnd Philosophie (DE-588)4045791-6 gnd |
| topic_facet | MATHEMATICS / History & Philosophy Mathematics / Philosophy Mathematik Philosophie Mathematics Philosophy |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112689 |
| work_keys_str_mv | AT corfielddavid towardsaphilosophyofrealmathematics |