Towards a philosophy of real mathematics /:
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.
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cambridge, UK ; New York :
Cambridge University Press,
2003.
|
Schlagworte: | |
Online-Zugang: | Volltext |
Zusammenfassung: | 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 resource (x, 288 pages) : illustrations |
Bibliographie: | Includes bibliographical references (pages 274-285) and index. |
ISBN: | 0511042701 9780511042706 9780521817226 0521817226 0511054459 9780511054457 9786610434343 6610434344 9780511487576 0511487576 9780521035255 0521035252 |
Internformat
MARC
LEADER | 00000cam a22000004a 4500 | ||
---|---|---|---|
001 | ZDB-4-EBA-ocm56321782 | ||
003 | OCoLC | ||
005 | 20241004212047.0 | ||
006 | m o d | ||
007 | cr cnu|||unuuu | ||
008 | 040819s2003 enka ob 001 0 eng d | ||
010 | |z 2002038841 | ||
040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d TUU |d OCLCQ |d OCLCO |d MERUC |d CCO |d E7B |d HNW |d REDDC |d BAKER |d YDXCP |d AU@ |d DKDLA |d MHW |d IDEBK |d EBLCP |d OCLCQ |d DEBSZ |d OCLCQ |d NLGGC |d OCLCF |d OCLCQ |d AZK |d COCUF |d AGLDB |d CNNOR |d MOR |d PIFBR |d ZCU |d OCLCQ |d JBG |d WY@ |d U3W |d COO |d LUE |d STF |d BRL |d WRM |d VTS |d NRAMU |d ICG |d INT |d VT2 |d TOF |d OCLCQ |d WYU |d A6Q |d OCLCQ |d G3B |d DKC |d OCLCQ |d OL$ |d LVT |d UKCRE |d OCLCQ |d OCLCO |d M8D |d UKAHL |d OCLCO |d OCLCQ |d OCLCO |d INARC |d OCLCL |d SFB | ||
019 | |a 70752194 |a 191035706 |a 271786475 |a 475379167 |a 559540435 |a 646720199 |a 722291533 |a 776951562 |a 814393473 |a 819634271 |a 824548294 |a 888608661 |a 961572807 |a 961632041 |a 962588772 |a 962719684 |a 988415081 |a 992034686 |a 992063110 |a 1035699933 |a 1037509020 |a 1037793936 |a 1038568359 |a 1045490738 |a 1053073371 |a 1055396885 |a 1057970346 |a 1065041546 |a 1076300846 |a 1109189393 |a 1117840669 |a 1153460946 |a 1167726727 |a 1228597373 |a 1412559882 | ||
020 | |a 0511042701 |q (electronic bk.) | ||
020 | |a 9780511042706 |q (electronic bk.) | ||
020 | |a 9780521817226 | ||
020 | |a 0521817226 | ||
020 | |a 0511054459 | ||
020 | |a 9780511054457 | ||
020 | |a 9786610434343 | ||
020 | |a 6610434344 | ||
020 | |a 9780511487576 |q (ebook) | ||
020 | |a 0511487576 | ||
020 | |a 9780521035255 |q (paperback) | ||
020 | |a 0521035252 | ||
035 | |a (OCoLC)56321782 |z (OCoLC)70752194 |z (OCoLC)191035706 |z (OCoLC)271786475 |z (OCoLC)475379167 |z (OCoLC)559540435 |z (OCoLC)646720199 |z (OCoLC)722291533 |z (OCoLC)776951562 |z (OCoLC)814393473 |z (OCoLC)819634271 |z (OCoLC)824548294 |z (OCoLC)888608661 |z (OCoLC)961572807 |z (OCoLC)961632041 |z (OCoLC)962588772 |z (OCoLC)962719684 |z (OCoLC)988415081 |z (OCoLC)992034686 |z (OCoLC)992063110 |z (OCoLC)1035699933 |z (OCoLC)1037509020 |z (OCoLC)1037793936 |z (OCoLC)1038568359 |z (OCoLC)1045490738 |z (OCoLC)1053073371 |z (OCoLC)1055396885 |z (OCoLC)1057970346 |z (OCoLC)1065041546 |z (OCoLC)1076300846 |z (OCoLC)1109189393 |z (OCoLC)1117840669 |z (OCoLC)1153460946 |z (OCoLC)1167726727 |z (OCoLC)1228597373 |z (OCoLC)1412559882 | ||
050 | 4 | |a QA8.4 |b .C67 2003eb | |
072 | 7 | |a MAT |x 015000 |2 bisacsh | |
082 | 7 | |a 510/.1 |2 22 | |
049 | |a MAIN | ||
100 | 1 | |a Corfield, David. | |
245 | 1 | 0 | |a Towards a philosophy of real mathematics / |c David Corfield. |
260 | |a Cambridge, UK ; |a New York : |b Cambridge University Press, |c 2003. | ||
300 | |a 1 online resource (x, 288 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a data file | ||
504 | |a Includes bibliographical references (pages 274-285) and index. | ||
505 | 0 | |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. | |
588 | 0 | |a Print version record. | |
520 | |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 | 0 | |a Mathematics |x Philosophy. |0 http://id.loc.gov/authorities/subjects/sh85082153 | |
650 | 6 | |a Mathématiques |x Philosophie. | |
650 | 7 | |a MATHEMATICS |x History & Philosophy. |2 bisacsh | |
650 | 7 | |a Mathematics |x Philosophy |2 fast | |
655 | 0 | |a Electronic book. | |
655 | 4 | |a Electronic books. | |
758 | |i has work: |a Towards a philosophy of real mathematics (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFCWbRxWvbh6Cbmt4xQQFX |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
776 | 0 | 8 | |i Print version: |a Corfield, David. |t Towards a philosophy of real mathematics. |d Cambridge, UK ; New York : Cambridge University Press, 2003 |z 0521817226 |w (DLC) 2002038841 |w (OCoLC)50919787 |
856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=112689 |3 Volltext |
938 | |a Askews and Holts Library Services |b ASKH |n AH13419515 | ||
938 | |a Baker & Taylor |b BKTY |c 75.00 |d 75.00 |i 0521817226 |n 0004104567 |s active | ||
938 | |a EBL - Ebook Library |b EBLB |n EBL202404 | ||
938 | |a ebrary |b EBRY |n ebr10063488 | ||
938 | |a EBSCOhost |b EBSC |n 112689 | ||
938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 43434 | ||
938 | |a YBP Library Services |b YANK |n 2826030 | ||
938 | |a YBP Library Services |b YANK |n 2617658 | ||
938 | |a YBP Library Services |b YANK |n 3272950 | ||
938 | |a YBP Library Services |b YANK |n 2300813 | ||
938 | |a Internet Archive |b INAR |n towardsphilosoph0000corf | ||
994 | |a 92 |b GEBAY | ||
912 | |a ZDB-4-EBA | ||
049 | |a DE-863 |
Datensatz im Suchindex
DE-BY-FWS_katkey | ZDB-4-EBA-ocm56321782 |
---|---|
_version_ | 1816881617794236416 |
adam_text | |
any_adam_object | |
author | Corfield, David |
author_facet | Corfield, David |
author_role | |
author_sort | Corfield, David |
author_variant | d c dc |
building | Verbundindex |
bvnumber | localFWS |
callnumber-first | Q - Science |
callnumber-label | QA8 |
callnumber-raw | QA8.4 .C67 2003eb |
callnumber-search | QA8.4 .C67 2003eb |
callnumber-sort | QA 18.4 C67 42003EB |
callnumber-subject | QA - Mathematics |
collection | ZDB-4-EBA |
contents | 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. |
ctrlnum | (OCoLC)56321782 |
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>05109cam a22007334a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm56321782 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu|||unuuu</controlfield><controlfield tag="008">040819s2003 enka ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2002038841</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TUU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">MERUC</subfield><subfield code="d">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">HNW</subfield><subfield code="d">REDDC</subfield><subfield code="d">BAKER</subfield><subfield code="d">YDXCP</subfield><subfield code="d">AU@</subfield><subfield code="d">DKDLA</subfield><subfield code="d">MHW</subfield><subfield code="d">IDEBK</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">CNNOR</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">ZCU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">JBG</subfield><subfield code="d">WY@</subfield><subfield code="d">U3W</subfield><subfield code="d">COO</subfield><subfield code="d">LUE</subfield><subfield code="d">STF</subfield><subfield code="d">BRL</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">TOF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">A6Q</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">G3B</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OL$</subfield><subfield code="d">LVT</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">70752194</subfield><subfield code="a">191035706</subfield><subfield code="a">271786475</subfield><subfield code="a">475379167</subfield><subfield code="a">559540435</subfield><subfield code="a">646720199</subfield><subfield code="a">722291533</subfield><subfield code="a">776951562</subfield><subfield code="a">814393473</subfield><subfield code="a">819634271</subfield><subfield code="a">824548294</subfield><subfield code="a">888608661</subfield><subfield code="a">961572807</subfield><subfield code="a">961632041</subfield><subfield code="a">962588772</subfield><subfield code="a">962719684</subfield><subfield code="a">988415081</subfield><subfield code="a">992034686</subfield><subfield code="a">992063110</subfield><subfield code="a">1035699933</subfield><subfield code="a">1037509020</subfield><subfield code="a">1037793936</subfield><subfield code="a">1038568359</subfield><subfield code="a">1045490738</subfield><subfield code="a">1053073371</subfield><subfield code="a">1055396885</subfield><subfield code="a">1057970346</subfield><subfield code="a">1065041546</subfield><subfield code="a">1076300846</subfield><subfield code="a">1109189393</subfield><subfield code="a">1117840669</subfield><subfield code="a">1153460946</subfield><subfield code="a">1167726727</subfield><subfield code="a">1228597373</subfield><subfield code="a">1412559882</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511042701</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511042706</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521817226</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521817226</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511054459</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511054457</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610434343</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610434344</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511487576</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511487576</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521035255</subfield><subfield code="q">(paperback)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521035252</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56321782</subfield><subfield code="z">(OCoLC)70752194</subfield><subfield code="z">(OCoLC)191035706</subfield><subfield code="z">(OCoLC)271786475</subfield><subfield code="z">(OCoLC)475379167</subfield><subfield code="z">(OCoLC)559540435</subfield><subfield code="z">(OCoLC)646720199</subfield><subfield code="z">(OCoLC)722291533</subfield><subfield code="z">(OCoLC)776951562</subfield><subfield code="z">(OCoLC)814393473</subfield><subfield code="z">(OCoLC)819634271</subfield><subfield code="z">(OCoLC)824548294</subfield><subfield code="z">(OCoLC)888608661</subfield><subfield code="z">(OCoLC)961572807</subfield><subfield code="z">(OCoLC)961632041</subfield><subfield code="z">(OCoLC)962588772</subfield><subfield code="z">(OCoLC)962719684</subfield><subfield code="z">(OCoLC)988415081</subfield><subfield code="z">(OCoLC)992034686</subfield><subfield code="z">(OCoLC)992063110</subfield><subfield code="z">(OCoLC)1035699933</subfield><subfield code="z">(OCoLC)1037509020</subfield><subfield code="z">(OCoLC)1037793936</subfield><subfield code="z">(OCoLC)1038568359</subfield><subfield code="z">(OCoLC)1045490738</subfield><subfield code="z">(OCoLC)1053073371</subfield><subfield code="z">(OCoLC)1055396885</subfield><subfield code="z">(OCoLC)1057970346</subfield><subfield code="z">(OCoLC)1065041546</subfield><subfield code="z">(OCoLC)1076300846</subfield><subfield code="z">(OCoLC)1109189393</subfield><subfield code="z">(OCoLC)1117840669</subfield><subfield code="z">(OCoLC)1153460946</subfield><subfield code="z">(OCoLC)1167726727</subfield><subfield code="z">(OCoLC)1228597373</subfield><subfield code="z">(OCoLC)1412559882</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA8.4</subfield><subfield code="b">.C67 2003eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">015000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510/.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Corfield, David.</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="260" ind1=" " ind2=" "><subfield code="a">Cambridge, UK ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2003.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 288 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 274-285) and index.</subfield></datafield><datafield tag="505" ind1="0" 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="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" 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="0"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85082153</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Mathématiques</subfield><subfield code="x">Philosophie.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">History & Philosophy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic book.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Towards a philosophy of real mathematics (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFCWbRxWvbh6Cbmt4xQQFX</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Corfield, David.</subfield><subfield code="t">Towards a philosophy of real mathematics.</subfield><subfield code="d">Cambridge, UK ; New York : Cambridge University Press, 2003</subfield><subfield code="z">0521817226</subfield><subfield code="w">(DLC) 2002038841</subfield><subfield code="w">(OCoLC)50919787</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=112689</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH13419515</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Baker & Taylor</subfield><subfield code="b">BKTY</subfield><subfield code="c">75.00</subfield><subfield code="d">75.00</subfield><subfield code="i">0521817226</subfield><subfield code="n">0004104567</subfield><subfield code="s">active</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL202404</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10063488</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">112689</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">43434</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2826030</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2617658</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3272950</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2300813</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">towardsphilosoph0000corf</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
genre | Electronic book. Electronic books. |
genre_facet | Electronic book. Electronic books. |
id | ZDB-4-EBA-ocm56321782 |
illustrated | Illustrated |
indexdate | 2024-11-27T13:15:34Z |
institution | BVB |
isbn | 0511042701 9780511042706 9780521817226 0521817226 0511054459 9780511054457 9786610434343 6610434344 9780511487576 0511487576 9780521035255 0521035252 |
language | English |
oclc_num | 56321782 |
open_access_boolean | |
owner | MAIN DE-863 DE-BY-FWS |
owner_facet | MAIN DE-863 DE-BY-FWS |
physical | 1 online resource (x, 288 pages) : illustrations |
psigel | ZDB-4-EBA |
publishDate | 2003 |
publishDateSearch | 2003 |
publishDateSort | 2003 |
publisher | Cambridge University Press, |
record_format | marc |
spelling | Corfield, David. Towards a philosophy of real mathematics / David Corfield. Cambridge, UK ; New York : Cambridge University Press, 2003. 1 online resource (x, 288 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file 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. Print version record. 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 Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Mathématiques Philosophie. MATHEMATICS History & Philosophy. bisacsh Mathematics Philosophy fast Electronic book. Electronic books. has work: Towards a philosophy of real mathematics (Text) https://id.oclc.org/worldcat/entity/E39PCFCWbRxWvbh6Cbmt4xQQFX https://id.oclc.org/worldcat/ontology/hasWork Print version: Corfield, David. Towards a philosophy of real mathematics. Cambridge, UK ; New York : Cambridge University Press, 2003 0521817226 (DLC) 2002038841 (OCoLC)50919787 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=112689 Volltext |
spellingShingle | Corfield, David Towards a philosophy of real mathematics / 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. Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Mathématiques Philosophie. MATHEMATICS History & Philosophy. bisacsh Mathematics Philosophy fast |
subject_GND | http://id.loc.gov/authorities/subjects/sh85082153 |
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 Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Mathématiques Philosophie. MATHEMATICS History & Philosophy. bisacsh Mathematics Philosophy fast |
topic_facet | Mathematics Philosophy. Mathématiques Philosophie. MATHEMATICS History & Philosophy. Mathematics Philosophy Electronic book. Electronic books. |
url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=112689 |
work_keys_str_mv | AT corfielddavid towardsaphilosophyofrealmathematics |