You are here

Foundational Theories of Classical and Constuctive Mathematics

Publisher: 
Springer
Number of Pages: 
314
Price: 
139.00
ISBN: 
9789400704305
Date Received: 
Thursday, July 28, 2011
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Giovanni Sommaruga, editor
Series: 
The Western Ontario Series in Philosophy of Science 76
Publication Date: 
2011
Format: 
Hardcover
Category: 
Anthology

Introduction : Giovanni Sommaruga
Part I: Senses of ‚foundations of mathematics’
Bob Hale, The Problem of Mathematical Objects
Goeffrey Hellman, Foundational Frameworks
Penelope Maddy, Set Theory as a Foundation
Stewart Shapiro, Foundations, Foundationalism, and Category Theory

Part II: Foundations of classical mathematics
Steve Awodey, From Sets to Types, to Categories, to Sets
Solomon Feferman, Enriched Stratified Systems for the Foundations of Category TheoryColin McLarty, Recent Debate over Categorical Foundations

Part III: Between foundations of classical and foundations of constructive mathematics
John Bell, The Axiom of Choice in the Foundations of Mathematics
Jim Lambek and Phil Scott, Reflections on a Categorical Foundations of Mathematics

Part IV: Foundations of constructive mathematics
Peter Aczel, Local Constructive Set Theory and Inductive Definitions
David McCarty, Proofs and Constructions
John Mayberry, Euclidean Arithmetic: The Finitary Theory of Finite Sets
Paul Taylor, Foundations for Computable Topology
Richard Tieszen, Intentionality, Intuition, and Proof in Mathematics

Publish Book: 
Modify Date: 
Thursday, July 28, 2011

Dummy View - NOT TO BE DELETED