Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407) - Image 1

Price loading...

Springer Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Name: Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)
Brand: Springer

Computer Science

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3030156540
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 20 November 2019
Listed Since: 13 February 2019

Barcode

No barcode data available

Springer Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Springer - Reflections on the Foundations of Mathematics 407

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over: 43 (Studies in Applied Philosophy, Epistemology and Rational Ethics, 43)

North Holland Philosophy of Mathematics - Handbook of Science

Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)

From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics: 251 (Synthese Library, 251)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

North Holland - Philosophy of Mathematics Book

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Perspectives on Mathematical Practices: Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education: 5 (Logic, Epistemology, and the Unity of Science, 5)

The Foundations of Mathematics

Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium: 27 (Publications of the Austrian Ludwig Wittgenstein Society – New Series, 27)

Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of Mathematics: 318 (Boston Studies in the Philosophy and History of Science, 318)

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Essays on Husserl's Logic and Philosophy of Mathematics: 384 (Synthese Library, 384)

Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers

18 Unconventional Essays on the Nature of Mathematics

Philosophy of Mathematics: Classic and Contemporary Studies (Textbooks in Mathematics)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

A Formalization of Set Theory without Variables (Colloquium Publications)

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)