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...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston :
De Gruyter,
2014.
|
| Schriftenreihe: | Collection Logos.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9781614518471 1614518475 9781614519966 161451996X |
| ISSN: | 2198-2201 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn896867316 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 |d UEJ |d OCLCQ | ||
| 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 | |
| 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 | 7 | |a 510.1 |2 23 | |
| 049 | |a MAIN | ||
| 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. | ||
| 650 | 0 | |a Mathematics |x Philosophy. |0 http://id.loc.gov/authorities/subjects/sh85082153 | |
| 650 | 0 | |a Logic, Symbolic and mathematical. |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 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 |0 http://d-nb.info/gnd/4037951-6 | |
| 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. | |
| 776 | 0 | 8 | |i Print version: |t Formalism and beyond. |w (DLC) 2014026866 |
| 830 | 0 | |a Collection Logos. |0 http://id.loc.gov/authorities/names/no98036017 | |
| 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=886981 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn896867316 |
|---|---|
| _version_ | 1816882295333715968 |
| adam_text | |
| any_adam_object | |
| author2 | Link, Godehard |
| author2_role | edt |
| author2_variant | g l gl |
| author_additional | Detlefsen, Michael -- Schirn, Matthias -- Blanchette, Patricia A. -- Link, Godehard -- Mühlhölzer, Felix -- Ziche, Paul -- Niebergall, Karl-Georg -- Roth, Daniel ; Schneider, Gregor -- Arana, Andrew -- Polański, Marek -- Crosilla, Laura ; Schuster, Peter -- |
| author_facet | Link, Godehard |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.2 .F67 2014 |
| callnumber-search | QA9.2 .F67 2014 |
| callnumber-sort | QA 19.2 F67 42014 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Frontmatter -- Contents -- Preface -- Duality, Epistemic Efficiency & Consistency / Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / Frege on Formality and the 1906 Independence-Test / Formal Discourse in Russell: From Metaphysics to Philosophical Logic / On Live and Dead Signs in Mathematics / Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / Assumptions of Infinity / The Interpretation of Classes in Axiomatic Set Theory / Purity in Arithmetic: some Formal and Informal Issues / Domain Extensions and Higher-Order Syntactical Interpretations / Finite Methods in Mathematical Practice / List of Contributors -- Name Index. |
| ctrlnum | (OCoLC)896867316 |
| 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.1 |
| 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>04882cam a2200781 i 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn896867316</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|---|||||</controlfield><controlfield tag="008">140713t20142014maua ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">COO</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">COO</subfield><subfield code="d">OCLCO</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCF</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">DEBBG</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">CCO</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEGRU</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCO</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AJS</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">UEJ</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">961644471</subfield><subfield code="a">962616960</subfield><subfield code="a">1055363999</subfield><subfield code="a">1066653218</subfield><subfield code="a">1081297133</subfield><subfield code="a">1228608857</subfield><subfield code="a">1241956667</subfield><subfield code="a">1259181987</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614518471</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1614518475</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781614519966</subfield><subfield code="q">(e-ISBN ;</subfield><subfield code="q">EPUB)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">161451996X</subfield><subfield code="q">(e-ISBN ;</subfield><subfield code="q">EPUB)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781614518297</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1614518297</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781614518471</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)896867316</subfield><subfield code="z">(OCoLC)961644471</subfield><subfield code="z">(OCoLC)962616960</subfield><subfield code="z">(OCoLC)1055363999</subfield><subfield code="z">(OCoLC)1066653218</subfield><subfield code="z">(OCoLC)1081297133</subfield><subfield code="z">(OCoLC)1228608857</subfield><subfield code="z">(OCoLC)1241956667</subfield><subfield code="z">(OCoLC)1259181987</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.2</subfield><subfield code="b">.F67 2014</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">BC</subfield><subfield code="2">lcco</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">QA</subfield><subfield code="2">lcco</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">039000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">023000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">026000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">510.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Formalism and beyond :</subfield><subfield code="b">on the nature of mathematical discourse /</subfield><subfield code="c">edited by Godehard Link.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston :</subfield><subfield code="b">De Gruyter,</subfield><subfield code="c">2014.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource</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="490" ind1="1" ind2=" "><subfield code="a">Logos : Studien zur Logik, Sprachphilosophie und Metaphysik,</subfield><subfield code="x">2198-2201 ;</subfield><subfield code="v">volume 23</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter --</subfield><subfield code="t">Contents --</subfield><subfield code="t">Preface --</subfield><subfield code="t">Duality, Epistemic Efficiency & Consistency /</subfield><subfield code="r">Detlefsen, Michael --</subfield><subfield code="t">Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others /</subfield><subfield code="r">Schirn, Matthias --</subfield><subfield code="t">Frege on Formality and the 1906 Independence-Test /</subfield><subfield code="r">Blanchette, Patricia A. --</subfield><subfield code="t">Formal Discourse in Russell: From Metaphysics to Philosophical Logic /</subfield><subfield code="r">Link, Godehard --</subfield><subfield code="t">On Live and Dead Signs in Mathematics /</subfield><subfield code="r">Mühlhölzer, Felix --</subfield><subfield code="t">Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 /</subfield><subfield code="r">Ziche, Paul --</subfield><subfield code="t">Assumptions of Infinity /</subfield><subfield code="r">Niebergall, Karl-Georg --</subfield><subfield code="t">The Interpretation of Classes in Axiomatic Set Theory /</subfield><subfield code="r">Roth, Daniel ; Schneider, Gregor --</subfield><subfield code="t">Purity in Arithmetic: some Formal and Informal Issues /</subfield><subfield code="r">Arana, Andrew --</subfield><subfield code="t">Domain Extensions and Higher-Order Syntactical Interpretations /</subfield><subfield code="r">Polański, Marek --</subfield><subfield code="t">Finite Methods in Mathematical Practice /</subfield><subfield code="r">Crosilla, Laura ; Schuster, Peter --</subfield><subfield code="t">List of Contributors --</subfield><subfield code="t">Name Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</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="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="6"><subfield code="a">Mathématiques</subfield><subfield code="x">Philosophie.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Essays.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Pre-Calculus.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</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">Mathematics</subfield><subfield code="x">Philosophy</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematik</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4037951-6</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Philosophie</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Philosophy of mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">history of mathematics.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">mathematics.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Link, Godehard,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Formalism and beyond.</subfield><subfield code="w">(DLC) 2014026866</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Collection Logos.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no98036017</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=886981</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26830765</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26342189</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">De Gruyter</subfield><subfield code="b">DEGR</subfield><subfield code="n">9781614518471</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL1685365</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr11006110</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">886981</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis28220148</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-ocn896867316 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:26:20Z |
| institution | BVB |
| isbn | 9781614518471 1614518475 9781614519966 161451996X |
| issn | 2198-2201 ; |
| language | English |
| oclc_num | 896867316 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource |
| psigel | ZDB-4-EBA |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | De Gruyter, |
| record_format | marc |
| series | Collection Logos. |
| series2 | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik, |
| spelling | Formalism and beyond : on the nature of mathematical discourse / edited by Godehard Link. Boston : De Gruyter, 2014. 1 online resource text txt rdacontent computer c rdamedia online resource cr rdacarrier Logos : Studien zur Logik, Sprachphilosophie und Metaphysik, 2198-2201 ; volume 23 Includes bibliographical references and index. Frontmatter -- Contents -- Preface -- Duality, Epistemic Efficiency & Consistency / Detlefsen, Michael -- Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / Schirn, Matthias -- Frege on Formality and the 1906 Independence-Test / Blanchette, Patricia A. -- Formal Discourse in Russell: From Metaphysics to Philosophical Logic / Link, Godehard -- On Live and Dead Signs in Mathematics / Mühlhölzer, Felix -- Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / Ziche, Paul -- Assumptions of Infinity / Niebergall, Karl-Georg -- The Interpretation of Classes in Axiomatic Set Theory / Roth, Daniel ; Schneider, Gregor -- Purity in Arithmetic: some Formal and Informal Issues / Arana, Andrew -- Domain Extensions and Higher-Order Syntactical Interpretations / Polański, Marek -- Finite Methods in Mathematical Practice / Crosilla, Laura ; Schuster, Peter -- List of Contributors -- Name Index. 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. English. Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathématiques Philosophie. Logique symbolique et mathématique. MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Logic, Symbolic and mathematical fast Mathematics Philosophy fast Mathematik gnd Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 Philosophie gnd Philosophy of mathematics. history of mathematics. mathematics. Link, Godehard, editor. Print version: Formalism and beyond. (DLC) 2014026866 Collection Logos. http://id.loc.gov/authorities/names/no98036017 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=886981 Volltext |
| spellingShingle | Formalism and beyond : on the nature of mathematical discourse / Collection Logos. Frontmatter -- Contents -- Preface -- Duality, Epistemic Efficiency & Consistency / Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / Frege on Formality and the 1906 Independence-Test / Formal Discourse in Russell: From Metaphysics to Philosophical Logic / On Live and Dead Signs in Mathematics / Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / Assumptions of Infinity / The Interpretation of Classes in Axiomatic Set Theory / Purity in Arithmetic: some Formal and Informal Issues / Domain Extensions and Higher-Order Syntactical Interpretations / Finite Methods in Mathematical Practice / List of Contributors -- Name Index. Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathématiques Philosophie. Logique symbolique et mathématique. MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Logic, Symbolic and mathematical fast Mathematics Philosophy fast Mathematik gnd Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 Philosophie gnd |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85082153 http://id.loc.gov/authorities/subjects/sh85078115 http://d-nb.info/gnd/4037951-6 |
| title | Formalism and beyond : on the nature of mathematical discourse / |
| title_alt | Frontmatter -- Contents -- Preface -- Duality, Epistemic Efficiency & Consistency / Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / Frege on Formality and the 1906 Independence-Test / Formal Discourse in Russell: From Metaphysics to Philosophical Logic / On Live and Dead Signs in Mathematics / Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / Assumptions of Infinity / The Interpretation of Classes in Axiomatic Set Theory / Purity in Arithmetic: some Formal and Informal Issues / Domain Extensions and Higher-Order Syntactical Interpretations / Finite Methods in Mathematical Practice / List of Contributors -- Name Index. |
| title_auth | Formalism and beyond : on the nature of mathematical discourse / |
| title_exact_search | Formalism and beyond : on the nature of mathematical discourse / |
| title_full | Formalism and beyond : on the nature of mathematical discourse / edited by Godehard Link. |
| title_fullStr | Formalism and beyond : on the nature of mathematical discourse / edited by Godehard Link. |
| title_full_unstemmed | Formalism and beyond : on the nature of mathematical discourse / edited by Godehard Link. |
| title_short | Formalism and beyond : |
| title_sort | formalism and beyond on the nature of mathematical discourse |
| title_sub | on the nature of mathematical discourse / |
| topic | Mathematics Philosophy. http://id.loc.gov/authorities/subjects/sh85082153 Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Mathématiques Philosophie. Logique symbolique et mathématique. MATHEMATICS Essays. bisacsh MATHEMATICS Pre-Calculus. bisacsh MATHEMATICS Reference. bisacsh Logic, Symbolic and mathematical fast Mathematics Philosophy fast Mathematik gnd Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 Philosophie gnd |
| topic_facet | Mathematics Philosophy. Logic, Symbolic and mathematical. Mathématiques Philosophie. Logique symbolique et mathématique. MATHEMATICS Essays. MATHEMATICS Pre-Calculus. MATHEMATICS Reference. Logic, Symbolic and mathematical Mathematics Philosophy Mathematik Mathematische Logik Philosophie |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=886981 |
| work_keys_str_mv | AT linkgodehard formalismandbeyondonthenatureofmathematicaldiscourse |