Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London ; New York :
Routledge,
1992.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm60855281 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.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 | ||
| 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 | |
| 029 | 1 | |a AU@ |b 000051405192 | |
| 029 | 1 | |a AU@ |b 000053231800 | |
| 029 | 1 | |a DEBBG |b BV043085398 | |
| 029 | 1 | |a DEBSZ |b 422316733 | |
| 029 | 1 | |a GBVCP |b 801307104 | |
| 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 | 0 | 4 | |a 511.3 |2 22 |
| 049 | |a UAMI | ||
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Proof theory. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Mathematics |x Philosophy. | |
| 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 |0 (OCoLC)fst01012213 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
| 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- | |
| 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 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=134981 |z Texto completo |
| 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 IZTAP | ||