Lecture Notes in Logic 15 Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman Wilfried Sieg , Richard Sommer and Carolyn Talcott, Editors

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.
 
Year: 2002   ISBN: 1-56881-169-1  
Price: $95
450 pages.   Hardcover.
BUY NOW

Year: 2002   ISBN: 1-56881-170-5  
Price: $45
450 pages.   Paperback.
BUY NOW

 

Table of Contents

Part I: Proof Theoretic Analysis

Ordinal analysis without proofs.
Jeremy Avigad

Relating ordinals to proofs in a perspicuous way.
Wilfried Buchholz

Internal finite tree embeddings.
Harvey M. Friedman

Foundational and mathematical uses of higher types.
Ulrich Kohlenbach

The epsilon substitution method and continuity.
Girgori Mints

Predicativity: The outer limits.
Stephen G. Simpson

Part II: Logic and Computation

A pragmatic interpretation of substructural logics.
Gianluigi Bellin and Carlo Dalla Pozza

Computational complexity and induction for partial computable functions in type theory.
Robert L. Constable and Karl Crary

Computability theory: structure or algorithms
Jens Erik Fenstad

Three processes in natural language interpretation.
Tim Fernando

Infinitary initial algebra specifications for stream algebras.
J.V. Tucker and J.I. Zucker

Part III: Applicative and Self-Applicative Theories

On extensionality, uniformity and comprehension in the theories of operations and classes.
Andrea Cantini

The proof-theoretic analysis of the Suslin operator in applicative theories.
Gehard Jäger and Thomas Strahm

Feferman-Landin Logic.
Ian A. Mason and Carolyn L. Talcott

Explicit mathematics with monotone inductive definitions: A survey.
Michael Rathjen

Part IV: Philosophy of Modern Mathematical and Logical Thought

On the constructivity of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann.
Paolo Mancosu

Realism and the debate on impredicativity, 1917-1944*.
Charles Parsons

Calculations by man and machine: conceptual analysis*.
Wilfried Sieg

Remarks on finitism.
W.W. Tait

Logical constants: the variable fortunes of an elusive notion.
Johan van Benthem