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

£97.18

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
Price: 97.18 GBP
Availability: InStock

Computer Science

Same price for 41 weeks. Today is much like next week.

£97 for 284 days straight · last change was Apr 2025

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 593 days • 593 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 593 days • 8 price levels

Days at Price

Current Price

Price Analysis

Most common price: £97 (295 days, 49.7%)

Price range: £65 - £104

Price levels: 8 different prices over 593 days

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)

Same price for 41 weeks. Today is much like next week.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Kurt Gödel: Results on Foundations (Sources and Studies in the History of Mathematics and Physical Sciences)

Foundations of Mathematics (Contemporary Mathematics): Logic at Harvard Essays in Honor of W. Hugh Woodin's 60th Birthday March 27-29, 2015 Harvard University, Cambridge, MA

Set Theory for Beginners: A Rigorous Introduction to Sets, Relations, Partitions, Functions, Induction, Ordinals, Cardinals, Martin’s Axiom, and Stationary Sets

Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer: 35 (Logic, Epistemology, and the Unity of Science, 35)

Logic and Algebra: Logic and Algebra: 302 (Contemporary Mathematics)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

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)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Discovering Modern Set Theory, Part 2: Set-Theoretic Tools for Every Mathematician (Graduate Studies in Mathematics)

Advanced Mathematics: A Transitional Reference

Set Theory An Introduction To Independence Proofs: 102 (Studies in Logic and the Foundations of Mathematics): Volume 102

A.P. Morse’s Set Theory and Analysis

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

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Introductory Concepts for Abstract Mathematics

A First Course in Mathematical Logic and Set Theory

Algebraic Theories: 26 (Graduate Texts in Mathematics, 26)

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Classic Set Theory: For Guided Independent Study (Chapman & Hall Mathematics S)

Language, Truth and Logic in Mathematics: 3 (Jaakko Hintikka Selected Papers, 3)

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2