Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15

by Wilfried Sieg
     
 

ISBN-10: 1568811705

ISBN-13: 9781568811703

Pub. Date: 08/01/2002

Publisher: Taylor & Francis

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

…  See more details below

Overview

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.

Product Details

ISBN-13:
9781568811703
Publisher:
Taylor & Francis
Publication date:
08/01/2002
Series:
Lecture Notes in Logic Series
Pages:
450
Product dimensions:
6.46(w) x 9.21(h) x (d)

Table of Contents

Ordinal analysis without proofs1
Relating ordinals to proofs in a perspicuous way37
Internal finite tree embeddings60
Foundational and mathematical uses of higher types92
The epsilon substitution method and continuity117
Predicativity: The outer limits130
A pragmatic interpretation of substructural logics139
Computational complexity and induction for partial computable functions in type theory164
Computability theory: structure or algorithms182
Three processes in natural language interpretation208
Infinitary initial algebra specifications for stream algebras228
On extensionality, uniformity and comprehension in the theories of operations and classes251
The proof-theoretic analysis of the Suslin operator in applicative theories270
Feferman-Landin Logic293
Explicit mathematics with monotone inductive definitions: A survey329
On the constructivity of proofs. A debate among Behmann, Bernays, Godel, and Kaufmann349
Realism and the debate on impredicativity. 1917-1944372
Calculations by man and machine: conceptual analysis390
Remarks on finitism410
Logical constants: the variable fortunes of an elusive notion420
Symposium program443

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >