Cargando…
Proof and knowledge in mathematics /
These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justificati...
| 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 a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm61411985 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 050902s1992 enk ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCG |d OCLCQ |d IOD |d IDEBK |d OCLCQ |d EBLCP |d DKDLA |d ADU |d E7B |d OCLCQ |d DEBSZ |d OCLCQ |d NLGGC |d OCLCF |d TYFRS |d OCLCQ |d AZK |d LOA |d JBG |d AGLDB |d CCO |d MOR |d ZCU |d MERUC |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d AU@ |d WYU |d TKN |d OCLCQ |d LEAUB |d DKC |d OCLCQ |d UKAHL |d OCLCQ |d REC |d HS0 |d VLY |d YDX |d TUHNV |d OCLCO |d SFB |d OCLCO |d OCL |d OCLCQ |d VOD |d OCLCQ | ||
| 019 | |a 232161276 |a 299571177 |a 475472638 |a 614649375 |a 646709531 |a 888769492 |a 961641288 |a 962571500 |a 1058093130 |a 1109227711 |a 1162010641 |a 1241909204 |a 1243574806 |a 1252726973 |a 1290078948 |a 1300466912 | ||
| 020 | |a 0203979109 |q (electronic bk.) | ||
| 020 | |a 9780203979105 |q (electronic bk.) | ||
| 020 | |a 1280138238 | ||
| 020 | |a 9781280138232 | ||
| 020 | |a 9786610138234 | ||
| 020 | |a 6610138230 | ||
| 020 | |a 1134916760 | ||
| 020 | |a 9781134916764 | ||
| 020 | |z 0415068053 | ||
| 024 | 7 | |a 10.4324/9780203979105 |2 doi | |
| 029 | 1 | |a AU@ |b 000051405188 | |
| 029 | 1 | |a AU@ |b 000053246969 | |
| 029 | 1 | |a AU@ |b 000065154733 | |
| 029 | 1 | |a DEBBG |b BV043135204 | |
| 029 | 1 | |a DEBBG |b BV044081437 | |
| 029 | 1 | |a DEBSZ |b 379293994 | |
| 029 | 1 | |a DEBSZ |b 422306975 | |
| 029 | 1 | |a DEBSZ |b 430307802 | |
| 035 | |a (OCoLC)61411985 |z (OCoLC)232161276 |z (OCoLC)299571177 |z (OCoLC)475472638 |z (OCoLC)614649375 |z (OCoLC)646709531 |z (OCoLC)888769492 |z (OCoLC)961641288 |z (OCoLC)962571500 |z (OCoLC)1058093130 |z (OCoLC)1109227711 |z (OCoLC)1162010641 |z (OCoLC)1241909204 |z (OCoLC)1243574806 |z (OCoLC)1252726973 |z (OCoLC)1290078948 |z (OCoLC)1300466912 | ||
| 050 | 4 | |a QA8.4 |b .P75 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 and knowledge in mathematics / |c edited by Michael Detlefsen. |
| 260 | |a London ; |a New York : |b Routledge, |c 1992. | ||
| 300 | |a 1 online resource (x, 256 pages) | ||
| 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 and index. | ||
| 505 | 0 | |a Proof as a source of truth / Michael D. Resnik -- Reflections on the concept of a priori truth and its corruption by Kant / William W. Tait -- Logicism / Steven J. Wagner -- Empirical inquiry and proof / Shelley Stillwell -- On the concept of proof in elementary geometry / Pirmin Stekeler-Weithofer -- Mathematical rigor in physics / Mark Steiner -- Foundationalism and foundations of mathematics / Stewart Shapiro -- Brouwerian intuitionism / Michael Detlefsen. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification, | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Mathematics |x Philosophy. | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Proof theory. | |
| 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 Proof theory. |2 fast |0 (OCoLC)fst01078942 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Mathematics |x Philosophy. |2 fast |0 (OCoLC)fst01012213 | |
| 650 | 1 | 7 | |a Bewijstheorie. |2 gtt |
| 650 | 1 | 7 | |a Rechtvaardiging. |2 gtt |
| 650 | 1 | 7 | |a Kennistheorie. |2 gtt |
| 650 | 1 | 7 | |a Wiskunde. |2 gtt |
| 650 | 7 | |a Mathématiques |x Philosophie. |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 and knowledge in mathematics. |d London ; New York : Routledge, 1992 |z 0415068053 |w (DLC) 91016885 |w (OCoLC)23688649 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=139049 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH3719670 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24563404 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24563405 | ||
| 938 | |a ebrary |b EBRY |n ebr10017102 | ||
| 938 | |a EBSCOhost |b EBSC |n 139049 | ||
| 938 | |a Taylor & Francis |b TAFR |n 9780203979105 | ||
| 938 | |a YBP Library Services |b YANK |n 301602407 | ||
| 938 | |a YBP Library Services |b YANK |n 2289113 | ||
| 994 | |a 92 |b IZTAP | ||