Proof, logic, and formalization /:
A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
London ; New York :
Routledge,
1992.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification. |
| Beschreibung: | 1 online resource (x, 241 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 0203980255 9780203980255 9780415023351 0415023351 1134975287 9781134975280 1280109866 9781280109867 9786610109869 6610109869 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm60855281 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 050713s1992 enka ob 001 0 eng d | ||
| 010 | |z 91017469 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d IOD |d CAI |d IDEBK |d OCLCQ |d DKDLA |d MERUC |d CCO |d E7B |d OCLCQ |d OCLCF |d OCLCQ |d NLGGC |d TYFRS |d OCLCQ |d AZK |d LOA |d JBG |d COCUF |d AGLDB |d MOR |d PIFBR |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d WYU |d OCLCQ |d G3B |d UKAHL |d OCLCQ |d UKCRE |d VLY |d YDX |d TUHNV |d OCLCO |d SFB |d OCLCO |d OCL |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 232161273 |a 276789775 |a 475472629 |a 559439933 |a 646709523 |a 888529261 |a 961582158 |a 962680124 |a 966214727 |a 988437058 |a 991972999 |a 1037736843 |a 1038660302 |a 1045485465 |a 1055391592 |a 1064040888 |a 1081239001 |a 1086423043 |a 1153521572 |a 1162033160 |a 1228617820 |a 1241803982 |a 1243571492 |a 1290032566 |a 1300648868 | ||
| 020 | |a 0203980255 |q (electronic bk.) | ||
| 020 | |a 9780203980255 |q (electronic bk.) | ||
| 020 | |a 9780415023351 | ||
| 020 | |a 0415023351 | ||
| 020 | |z 0415023351 | ||
| 020 | |a 1134975287 | ||
| 020 | |a 9781134975280 | ||
| 020 | |a 1280109866 | ||
| 020 | |a 9781280109867 | ||
| 020 | |a 9786610109869 | ||
| 020 | |a 6610109869 | ||
| 024 | 7 | |a 10.4324/9780203980255 |2 doi | |
| 035 | |a (OCoLC)60855281 |z (OCoLC)232161273 |z (OCoLC)276789775 |z (OCoLC)475472629 |z (OCoLC)559439933 |z (OCoLC)646709523 |z (OCoLC)888529261 |z (OCoLC)961582158 |z (OCoLC)962680124 |z (OCoLC)966214727 |z (OCoLC)988437058 |z (OCoLC)991972999 |z (OCoLC)1037736843 |z (OCoLC)1038660302 |z (OCoLC)1045485465 |z (OCoLC)1055391592 |z (OCoLC)1064040888 |z (OCoLC)1081239001 |z (OCoLC)1086423043 |z (OCoLC)1153521572 |z (OCoLC)1162033160 |z (OCoLC)1228617820 |z (OCoLC)1241803982 |z (OCoLC)1243571492 |z (OCoLC)1290032566 |z (OCoLC)1300648868 | ||
| 050 | 4 | |a QA9.54 |b .P77 1991eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 7 | |a 511.3 |2 22 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Proof, logic, and formalization / |c edited by Michael Detlefsen. |
| 260 | |a London ; |a New York : |b Routledge, |c 1992. | ||
| 300 | |a 1 online resource (x, 241 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 |2 rda | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification. | ||
| 505 | 0 | 0 | |t Chapter PREFACE -- |t chapter 1 PROOFS ABOUT PROOFS: A DEFENSE OF CLASSICAL LOGIC Part I: the aims of classical logic / |r John P. Burgess -- |t chapter 2 PROOFS AND EPISTEMIC STRUCTURE / |r Glen Helman -- |t chapter 3 WHAT IS A PROOF? / |r Richard Tieszen -- |t chapter 4 HOW TO SAY THINGS WITH FORMALISMS -- |t David Auerbach -- |t chapter 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE W-RULE / |r Daniel Isaacson -- |t chapter 6 THE IMPREDICATIVITY OF INDUCTION / |r Charles Parsons -- |t chapter 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES -- |t chapter 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GODEL'S FIRST INCOMPLETENESS THEOREM / |r Michael Detlefsen. |
| 546 | |a English. | ||
| 650 | 0 | |a Proof theory. |0 http://id.loc.gov/authorities/subjects/sh85107437 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 0 | |a Mathematics |x Philosophy. |0 http://id.loc.gov/authorities/subjects/sh85082153 | |
| 650 | 6 | |a Théorie de la preuve. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Mathématiques |x Philosophie. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Mathematics |x Philosophy |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 650 | 7 | |a Preuve, théorie de la. |2 ram | |
| 650 | 7 | |a Logique symbolique et mathématique. |2 ram | |
| 653 | |a Mathematics | ||
| 653 | 0 | |a Mathematical logic | |
| 700 | 1 | |a Detlefsen, Michael, |d 1948- |1 https://id.oclc.org/worldcat/entity/E39PBJtCxDC9dXF6jhWGXKHwG3 |0 http://id.loc.gov/authorities/names/n85290338 | |
| 758 | |i has work: |a Proof, logic, and formalization (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFFjDwd6Bb4k9F8f8dW7HC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Proof, logic, and formalization. |d London ; New York : Routledge, 1992 |z 0415023351 |w (DLC) 91017469 |w (OCoLC)23732776 |
| 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=134981 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH3719770 | ||
| 938 | |a YBP Library Services |b YANK |n 301601630 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24542938 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24542939 | ||
| 938 | |a ebrary |b EBRY |n ebr10017091 | ||
| 938 | |a EBSCOhost |b EBSC |n 134981 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 10986 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780203980255 | ||
| 938 | |a YBP Library Services |b YANK |n 2289206 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm60855281 |
|---|---|
| _version_ | 1816881628778070016 |
| adam_text | |
| any_adam_object | |
| author2 | Detlefsen, Michael, 1948- |
| author2_role | |
| author2_variant | m d md |
| author_GND | http://id.loc.gov/authorities/names/n85290338 |
| author_additional | John P. Burgess -- Glen Helman -- Richard Tieszen -- Daniel Isaacson -- Charles Parsons -- Michael Detlefsen. |
| author_facet | Detlefsen, Michael, 1948- |
| author_sort | Detlefsen, Michael, 1948- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 .P77 1991eb |
| callnumber-search | QA9.54 .P77 1991eb |
| callnumber-sort | QA 19.54 P77 41991EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Chapter PREFACE -- chapter 1 PROOFS ABOUT PROOFS: A DEFENSE OF CLASSICAL LOGIC Part I: the aims of classical logic / chapter 2 PROOFS AND EPISTEMIC STRUCTURE / chapter 3 WHAT IS A PROOF? / chapter 4 HOW TO SAY THINGS WITH FORMALISMS -- David Auerbach -- chapter 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE W-RULE / chapter 6 THE IMPREDICATIVITY OF INDUCTION / chapter 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES -- chapter 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GODEL'S FIRST INCOMPLETENESS THEOREM / |
| ctrlnum | (OCoLC)60855281 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| 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>05242cam a2200841 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm60855281 </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">050713s1992 enka ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 91017469 </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">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IOD</subfield><subfield code="d">CAI</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKDLA</subfield><subfield code="d">MERUC</subfield><subfield code="d">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">TYFRS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">G3B</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">VLY</subfield><subfield code="d">YDX</subfield><subfield code="d">TUHNV</subfield><subfield code="d">OCLCO</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">232161273</subfield><subfield code="a">276789775</subfield><subfield code="a">475472629</subfield><subfield code="a">559439933</subfield><subfield code="a">646709523</subfield><subfield code="a">888529261</subfield><subfield code="a">961582158</subfield><subfield code="a">962680124</subfield><subfield code="a">966214727</subfield><subfield code="a">988437058</subfield><subfield code="a">991972999</subfield><subfield code="a">1037736843</subfield><subfield code="a">1038660302</subfield><subfield code="a">1045485465</subfield><subfield code="a">1055391592</subfield><subfield code="a">1064040888</subfield><subfield code="a">1081239001</subfield><subfield code="a">1086423043</subfield><subfield code="a">1153521572</subfield><subfield code="a">1162033160</subfield><subfield code="a">1228617820</subfield><subfield code="a">1241803982</subfield><subfield code="a">1243571492</subfield><subfield code="a">1290032566</subfield><subfield code="a">1300648868</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203980255</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203980255</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415023351</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415023351</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0415023351</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134975287</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134975280</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280109866</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280109867</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610109869</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610109869</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4324/9780203980255</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)60855281</subfield><subfield code="z">(OCoLC)232161273</subfield><subfield code="z">(OCoLC)276789775</subfield><subfield code="z">(OCoLC)475472629</subfield><subfield code="z">(OCoLC)559439933</subfield><subfield code="z">(OCoLC)646709523</subfield><subfield code="z">(OCoLC)888529261</subfield><subfield code="z">(OCoLC)961582158</subfield><subfield code="z">(OCoLC)962680124</subfield><subfield code="z">(OCoLC)966214727</subfield><subfield code="z">(OCoLC)988437058</subfield><subfield code="z">(OCoLC)991972999</subfield><subfield code="z">(OCoLC)1037736843</subfield><subfield code="z">(OCoLC)1038660302</subfield><subfield code="z">(OCoLC)1045485465</subfield><subfield code="z">(OCoLC)1055391592</subfield><subfield code="z">(OCoLC)1064040888</subfield><subfield code="z">(OCoLC)1081239001</subfield><subfield code="z">(OCoLC)1086423043</subfield><subfield code="z">(OCoLC)1153521572</subfield><subfield code="z">(OCoLC)1162033160</subfield><subfield code="z">(OCoLC)1228617820</subfield><subfield code="z">(OCoLC)1241803982</subfield><subfield code="z">(OCoLC)1243571492</subfield><subfield code="z">(OCoLC)1290032566</subfield><subfield code="z">(OCoLC)1300648868</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.54</subfield><subfield code="b">.P77 1991eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Proof, logic, and formalization /</subfield><subfield code="c">edited by Michael Detlefsen.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Routledge,</subfield><subfield code="c">1992.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 241 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><subfield code="2">rda</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification.</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Chapter PREFACE --</subfield><subfield code="t">chapter 1 PROOFS ABOUT PROOFS: A DEFENSE OF CLASSICAL LOGIC Part I: the aims of classical logic /</subfield><subfield code="r">John P. Burgess --</subfield><subfield code="t">chapter 2 PROOFS AND EPISTEMIC STRUCTURE /</subfield><subfield code="r">Glen Helman --</subfield><subfield code="t">chapter 3 WHAT IS A PROOF? /</subfield><subfield code="r">Richard Tieszen --</subfield><subfield code="t">chapter 4 HOW TO SAY THINGS WITH FORMALISMS --</subfield><subfield code="t">David Auerbach --</subfield><subfield code="t">chapter 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE W-RULE /</subfield><subfield code="r">Daniel Isaacson --</subfield><subfield code="t">chapter 6 THE IMPREDICATIVITY OF INDUCTION /</subfield><subfield code="r">Charles Parsons --</subfield><subfield code="t">chapter 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES --</subfield><subfield code="t">chapter 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GODEL'S FIRST INCOMPLETENESS THEOREM /</subfield><subfield code="r">Michael Detlefsen.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107437</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</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">Théorie de la preuve.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</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">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Logic.</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="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, théorie de la.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique.</subfield><subfield code="2">ram</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematics</subfield></datafield><datafield tag="653" ind1="0" ind2=" "><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Detlefsen, Michael,</subfield><subfield code="d">1948-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJtCxDC9dXF6jhWGXKHwG3</subfield><subfield code="0">http://id.loc.gov/authorities/names/n85290338</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Proof, logic, and formalization (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFFjDwd6Bb4k9F8f8dW7HC</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="t">Proof, logic, and formalization.</subfield><subfield code="d">London ; New York : Routledge, 1992</subfield><subfield code="z">0415023351</subfield><subfield code="w">(DLC) 91017469</subfield><subfield code="w">(OCoLC)23732776</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=134981</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">AH3719770</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">301601630</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24542938</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH24542939</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10017091</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">134981</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">10986</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Taylor & Francis</subfield><subfield code="b">TAFR</subfield><subfield code="n">9780203980255</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2289206</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> |
| id | ZDB-4-EBA-ocm60855281 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:15:45Z |
| institution | BVB |
| isbn | 0203980255 9780203980255 9780415023351 0415023351 1134975287 9781134975280 1280109866 9781280109867 9786610109869 6610109869 |
| language | English |
| oclc_num | 60855281 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 241 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Routledge, |
| record_format | marc |
| spelling | Proof, logic, and formalization / edited by Michael Detlefsen. London ; New York : Routledge, 1992. 1 online resource (x, 241 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Includes bibliographical references and index. Print version record. A collection of essays from distinguished contributors looking at why it is that mathematical proof is given precedence over other forms of mathematical justification. Chapter PREFACE -- chapter 1 PROOFS ABOUT PROOFS: A DEFENSE OF CLASSICAL LOGIC Part I: the aims of classical logic / John P. Burgess -- chapter 2 PROOFS AND EPISTEMIC STRUCTURE / Glen Helman -- chapter 3 WHAT IS A PROOF? / Richard Tieszen -- chapter 4 HOW TO SAY THINGS WITH FORMALISMS -- David Auerbach -- chapter 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE W-RULE / Daniel Isaacson -- chapter 6 THE IMPREDICATIVITY OF INDUCTION / Charles Parsons -- chapter 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES -- chapter 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GODEL'S FIRST INCOMPLETENESS THEOREM / Michael Detlefsen. English. Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Théorie de la preuve. Logique symbolique et mathématique. Mathématiques Philosophie. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Mathematics Philosophy fast Logic, Symbolic and mathematical fast Proof theory fast Preuve, théorie de la. ram Logique symbolique et mathématique. ram Mathematics Mathematical logic Detlefsen, Michael, 1948- https://id.oclc.org/worldcat/entity/E39PBJtCxDC9dXF6jhWGXKHwG3 http://id.loc.gov/authorities/names/n85290338 has work: Proof, logic, and formalization (Text) https://id.oclc.org/worldcat/entity/E39PCFFjDwd6Bb4k9F8f8dW7HC https://id.oclc.org/worldcat/ontology/hasWork Print version: Proof, logic, and formalization. London ; New York : Routledge, 1992 0415023351 (DLC) 91017469 (OCoLC)23732776 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=134981 Volltext |
| spellingShingle | Proof, logic, and formalization / Chapter PREFACE -- chapter 1 PROOFS ABOUT PROOFS: A DEFENSE OF CLASSICAL LOGIC Part I: the aims of classical logic / chapter 2 PROOFS AND EPISTEMIC STRUCTURE / chapter 3 WHAT IS A PROOF? / chapter 4 HOW TO SAY THINGS WITH FORMALISMS -- David Auerbach -- chapter 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE W-RULE / chapter 6 THE IMPREDICATIVITY OF INDUCTION / chapter 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES -- chapter 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GODEL'S FIRST INCOMPLETENESS THEOREM / Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Théorie de la preuve. Logique symbolique et mathématique. Mathématiques Philosophie. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Mathematics Philosophy fast Logic, Symbolic and mathematical fast Proof theory fast Preuve, théorie de la. ram Logique symbolique et mathématique. ram |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107437 http://id.loc.gov/authorities/subjects/sh85078115 http://id.loc.gov/authorities/subjects/sh85082153 |
| title | Proof, logic, and formalization / |
| title_alt | Chapter PREFACE -- chapter 1 PROOFS ABOUT PROOFS: A DEFENSE OF CLASSICAL LOGIC Part I: the aims of classical logic / chapter 2 PROOFS AND EPISTEMIC STRUCTURE / chapter 3 WHAT IS A PROOF? / chapter 4 HOW TO SAY THINGS WITH FORMALISMS -- David Auerbach -- chapter 5 SOME CONSIDERATIONS ON ARITHMETICAL TRUTH AND THE W-RULE / chapter 6 THE IMPREDICATIVITY OF INDUCTION / chapter 7 THREE INSUFFICIENTLY ATTENDED TO ASPECTS OF MOST MATHEMATICAL PROOFS: PHENOMENOLOGICAL STUDIES -- chapter 8 ON AN ALLEGED REFUTATION OF HILBERT'S PROGRAM USING GODEL'S FIRST INCOMPLETENESS THEOREM / |
| title_auth | Proof, logic, and formalization / |
| title_exact_search | Proof, logic, and formalization / |
| title_full | Proof, logic, and formalization / edited by Michael Detlefsen. |
| title_fullStr | Proof, logic, and formalization / edited by Michael Detlefsen. |
| title_full_unstemmed | Proof, logic, and formalization / edited by Michael Detlefsen. |
| title_short | Proof, logic, and formalization / |
| title_sort | proof logic and formalization |
| topic | Proof theory. http://id.loc.gov/authorities/subjects/sh85107437 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Théorie de la preuve. Logique symbolique et mathématique. Mathématiques Philosophie. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Mathematics Philosophy fast Logic, Symbolic and mathematical fast Proof theory fast Preuve, théorie de la. ram Logique symbolique et mathématique. ram |
| topic_facet | Proof theory. Logic, Symbolic and mathematical. Mathematics Philosophy. Théorie de la preuve. Logique symbolique et mathématique. Mathématiques Philosophie. MATHEMATICS Infinity. MATHEMATICS Logic. Mathematics Philosophy Logic, Symbolic and mathematical Proof theory Preuve, théorie de la. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=134981 |
| work_keys_str_mv | AT detlefsenmichael prooflogicandformalization |