Philosophy of Mathematics in Antiquity and in Modern Times
»Philosophy of Mathematics« is understood, in this book, as an effort to clarify such questions that mathematics itself raises but cannot answer with its own methods. These include, for example, questions about the ontological status of mathematical objects (e.g., what is the nature of mathematical...
Guardado en:
| Autor principal: | Felgner, Ulrich (Autor) |
|---|---|
| Autor Corporativo: | SpringerLink (Online service) |
| Formato: | Electrónico eBook |
| Lenguaje: | inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Birkhäuser,
2023.
|
| Edición: | 1st ed. 2023. |
| Colección: | Science Networks. Historical Studies,
62 |
| Materias: | |
| Acceso en línea: | https://doi.org/10.1007/978-3-031-27304-9 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
An Invitation to Mathematical Logic
por: Marker, David
Publicado: (2024)
por: Marker, David
Publicado: (2024)
Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
por: Halbeisen, Lorenz, et al.
Publicado: (2025)
por: Halbeisen, Lorenz, et al.
Publicado: (2025)
Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
por: Hoffmann, Dirk W.
Publicado: (2024)
por: Hoffmann, Dirk W.
Publicado: (2024)
The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
por: Viale, Matteo
Publicado: (2024)
por: Viale, Matteo
Publicado: (2024)
Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Publicado: (2025)
Publicado: (2025)
Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
por: Rodríguez-Consuegra, Francisco
Publicado: (2025)
por: Rodríguez-Consuegra, Francisco
Publicado: (2025)
Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
por: Kiryushchenko, Vitaly
Publicado: (2023)
por: Kiryushchenko, Vitaly
Publicado: (2023)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
por: Hoffmann, Dirk W.
Publicado: (2025)
por: Hoffmann, Dirk W.
Publicado: (2025)
From Computational Logic to Computational Biology Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career /
Publicado: (2024)
Publicado: (2024)
Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
por: Batzoglou, Serafim
Publicado: (2024)
por: Batzoglou, Serafim
Publicado: (2024)
R-Calculus, VI: Finite Injury Priority Method
por: Li, Wei, et al.
Publicado: (2025)
por: Li, Wei, et al.
Publicado: (2025)
Combinatorial Set Theory With a Gentle Introduction to Forcing /
por: Halbeisen, Lorenz J.
Publicado: (2025)
por: Halbeisen, Lorenz J.
Publicado: (2025)
Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Publicado: (2024)
Publicado: (2024)
Institution-independent Model Theory
por: Diaconescu, Răzvan
Publicado: (2025)
por: Diaconescu, Răzvan
Publicado: (2025)
Universal Logic, Ethics, and Truth Essays in Honor of John Corcoran (1937-2021) /
Publicado: (2024)
Publicado: (2024)
New Directions in Relevant Logic
Publicado: (2025)
Publicado: (2025)
Arithmetic and Algebraic Geometry A Mathematical Tribute to Yuri Manin /
Publicado: (2024)
Publicado: (2024)
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings /
Publicado: (2023)
Publicado: (2023)
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings /
Publicado: (2024)
Publicado: (2024)
Kurt Gödel: Results on Foundations
Publicado: (2023)
Publicado: (2023)
Field Arithmetic
por: Fried, Michael D., et al.
Publicado: (2023)
por: Fried, Michael D., et al.
Publicado: (2023)
The Philosophy of Mathematics / The Philosophy of Mathematics
por: Hart, W. D.
Publicado: (1996)
por: Hart, W. D.
Publicado: (1996)
An Introduction to Naïve Set Theory and Its Applications
por: Srivastava, Shashi Mohan
Publicado: (2024)
por: Srivastava, Shashi Mohan
Publicado: (2024)
The New Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of Its Creators /
por: Soifer, Alexander
Publicado: (2024)
por: Soifer, Alexander
Publicado: (2024)
Philosophy of Mathematics : Thinking about Mathematics / Philosophy of Mathematics Thinking about Mathematics
por: Shapiro, Stewart
Publicado: (2000)
por: Shapiro, Stewart
Publicado: (2000)
Diagrams and Gestures Mathematics, Philosophy, and Linguistics /
Publicado: (2023)
Publicado: (2023)
The Mathematical Representation of Physical Reality
por: Hacyan, Shahen
Publicado: (2023)
por: Hacyan, Shahen
Publicado: (2023)
Introduction to Mathematical Logic / Introduction to Mathematical Logic
por: Church, Alonzo
Publicado: (1996)
por: Church, Alonzo
Publicado: (1996)
The Mathematical and Philosophical Legacy of Alexander Grothendieck
Publicado: (2025)
Publicado: (2025)
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Publicado: (2023)
Publicado: (2023)
Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra /
por: Cox, David A., et al.
Publicado: (2025)
por: Cox, David A., et al.
Publicado: (2025)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Publicado: (2024)
Publicado: (2024)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
por: Farmer, William M.
Publicado: (2023)
por: Farmer, William M.
Publicado: (2023)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
por: Farmer, William M.
Publicado: (2025)
por: Farmer, William M.
Publicado: (2025)
Introduction to mathematical philosophy/
por: Russell, Bertrand
Publicado: (1993)
por: Russell, Bertrand
Publicado: (1993)
Discrete Mathematics
por: Soss, S.
Publicado: (2002)
por: Soss, S.
Publicado: (2002)
R-Calculus, IV: Propositional Logic
por: Li, Wei, et al.
Publicado: (2023)
por: Li, Wei, et al.
Publicado: (2023)
Introduction to mathematical logic /
por: Church, Alonzo
Publicado: (1956)
por: Church, Alonzo
Publicado: (1956)
Logic in Computer Science
por: Zhang, Hantao, et al.
Publicado: (2025)
por: Zhang, Hantao, et al.
Publicado: (2025)
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker /
por: Schreiner, Wolfgang
Publicado: (2023)
por: Schreiner, Wolfgang
Publicado: (2023)
Ejemplares similares
-
An Invitation to Mathematical Logic
por: Marker, David
Publicado: (2024) -
Gödel's Theorems and Zermelo's Axioms A Firm Foundation of Mathematics /
por: Halbeisen, Lorenz, et al.
Publicado: (2025) -
Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /
por: Hoffmann, Dirk W.
Publicado: (2024) -
The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
por: Viale, Matteo
Publicado: (2024) -
Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /
Publicado: (2025)