Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
Regular price
€132.99
14 days return policy
Shipping & Delivery
advanced logic research topics
Arithmetical Comprehension
Category=PBC
Causal Implication
computability theory
Critical Formulas
Dependent Function Space
Embedding Theorem
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Finite Trees
Herbrand's Theorem
Herbrand’s Theorem
Illocutionary Acts
Intensional Reasoning
mathematical constructivism
Nonlogical Axioms
Order Arithmetic
ordinal analysis
Peano Arithmetic
Predicative Provability
Primitive Recursive
Primitive Recursive Arithmetic
Primitive Recursive Function
proof theory
Quantifier Free Formula
Recursion Theory
Recursive Functions
Reverse Mathematics
Sentential Formulas
Sequent Calculus
Solomon Feferman
substructural logics
Transfinite Induction
type theory
Product details
- ISBN 9781568811697
- Weight: 816g
- Dimensions: 164 x 234mm
- Publication Date: 16 Aug 2002
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Sieg \, Wilfried; Sommer \, Richard; Talcott \, Carolyn
