Cargando…
Formalism and beyond : on the nature of mathematical discourse /
The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using moder...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
De Gruyter,
2014.
|
| Colección: | Collection Logos.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn896867316 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cn|---||||| | ||
| 008 | 140713t20142014maua ob 001 0 eng d | ||
| 040 | |a COO |b eng |e pn |c COO |d OCLCO |d EBLCP |d N$T |d E7B |d OCLCF |d DEBSZ |d DEBBG |d IDEBK |d OCLCQ |d AGLDB |d MOR |d CCO |d PIFAG |d ZCU |d MERUC |d OCLCQ |d DEGRU |d U3W |d STF |d OCLCQ |d VTS |d ICG |d INT |d VT2 |d OCLCQ |d WYU |d OCLCO |d TKN |d OCLCA |d OCLCQ |d DKC |d AU@ |d OCLCQ |d M8D |d UKAHL |d OCLCQ |d OCLCA |d OCLCQ |d AJS |d QGK |d OCLCO |d OCLCQ |d SFB |d OCLCO |d OCLCL | ||
| 019 | |a 961644471 |a 962616960 |a 1055363999 |a 1066653218 |a 1081297133 |a 1228608857 |a 1241956667 |a 1259181987 | ||
| 020 | |a 9781614518471 |q (electronic bk.) | ||
| 020 | |a 1614518475 |q (electronic bk.) | ||
| 020 | |a 9781614519966 |q (e-ISBN ; |q EPUB) | ||
| 020 | |a 161451996X |q (e-ISBN ; |q EPUB) | ||
| 020 | |z 9781614518297 | ||
| 020 | |z 1614518297 | ||
| 024 | 7 | |a 10.1515/9781614518471 |2 doi | |
| 029 | 1 | |a CHBIS |b 010472020 | |
| 029 | 1 | |a CHNEW |b 000707675 | |
| 029 | 1 | |a DEBBG |b BV042524194 | |
| 029 | 1 | |a DEBBG |b BV042992012 | |
| 029 | 1 | |a DEBBG |b BV043027401 | |
| 029 | 1 | |a DEBBG |b BV044068150 | |
| 029 | 1 | |a DEBSZ |b 425888169 | |
| 029 | 1 | |a DEBSZ |b 446429279 | |
| 029 | 1 | |a DEBSZ |b 446772410 | |
| 029 | 1 | |a GBVCP |b 81326362X | |
| 035 | |a (OCoLC)896867316 |z (OCoLC)961644471 |z (OCoLC)962616960 |z (OCoLC)1055363999 |z (OCoLC)1066653218 |z (OCoLC)1081297133 |z (OCoLC)1228608857 |z (OCoLC)1241956667 |z (OCoLC)1259181987 | ||
| 050 | 4 | |a QA9.2 |b .F67 2014 | |
| 072 | 7 | |a BC |2 lcco | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 082 | 0 | 4 | |a 510.1 |2 23 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Formalism and beyond : |b on the nature of mathematical discourse / |c edited by Godehard Link. |
| 264 | 1 | |a Boston : |b De Gruyter, |c 2014. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Logos : Studien zur Logik, Sprachphilosophie und Metaphysik, |x 2198-2201 ; |v volume 23 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | 0 | |t Frontmatter -- |t Contents -- |t Preface -- |t Duality, Epistemic Efficiency & Consistency / |r Detlefsen, Michael -- |t Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / |r Schirn, Matthias -- |t Frege on Formality and the 1906 Independence-Test / |r Blanchette, Patricia A. -- |t Formal Discourse in Russell: From Metaphysics to Philosophical Logic / |r Link, Godehard -- |t On Live and Dead Signs in Mathematics / |r Mühlhölzer, Felix -- |t Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / |r Ziche, Paul -- |t Assumptions of Infinity / |r Niebergall, Karl-Georg -- |t The Interpretation of Classes in Axiomatic Set Theory / |r Roth, Daniel ; Schneider, Gregor -- |t Purity in Arithmetic: some Formal and Informal Issues / |r Arana, Andrew -- |t Domain Extensions and Higher-Order Syntactical Interpretations / |r Polański, Marek -- |t Finite Methods in Mathematical Practice / |r Crosilla, Laura ; Schuster, Peter -- |t List of Contributors -- |t Name Index. |
| 520 | |a The essays collected in this volume focus on the role of formalist aspects in mathematical theorizing and practice, examining issues such as infinity, finiteness, and proof procedures, as well as central historical figures in the field, including Frege, Russell, Hilbert and Wittgenstein. Using modern logico-philosophical tools and systematic conceptual and logical analyses, the volume provides a thorough, up-to-date account of the subject. | ||
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 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 | 6 | |a Mathématiques |x Philosophie. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematics |x Philosophy |2 fast | |
| 650 | 7 | |a Mathematik |2 gnd | |
| 650 | 7 | |a Mathematische Logik |2 gnd | |
| 650 | 7 | |a Philosophie |2 gnd | |
| 653 | |a Philosophy of mathematics. | ||
| 653 | |a history of mathematics. | ||
| 653 | |a mathematics. | ||
| 700 | 1 | |a Link, Godehard, |e editor. | |
| 758 | |i has work: |a Formalism and Beyond (Text) |1 https://id.oclc.org/worldcat/entity/E39PCXDtJqV7M3yJRy6GfwjRGb |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Formalism and beyond. |w (DLC) 2014026866 |
| 830 | 0 | |a Collection Logos. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1685365 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26830765 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26342189 | ||
| 938 | |a De Gruyter |b DEGR |n 9781614518471 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1685365 | ||
| 938 | |a ebrary |b EBRY |n ebr11006110 | ||
| 938 | |a EBSCOhost |b EBSC |n 886981 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis28220148 | ||
| 994 | |a 92 |b IZTAP | ||