Formalism and beyond : on the nature of mathematical discourse /

Mostrar otras versiones (1)

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Link, Godehard (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boston : De Gruyter, 2014.
Colección:Collection Logos.
Temas:
Mathematics > Philosophy.
Logic, Symbolic and mathematical.
Mathématiques > Philosophie.
Logique symbolique et mathématique.
MATHEMATICS > Essays.
MATHEMATICS > Pre-Calculus.
MATHEMATICS > Reference.
Mathematik
Mathematische Logik
Philosophie
Philosophy of mathematics.
history of mathematics.
mathematics.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares