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-170-5
Table of Contents
Proof Theoretic Analysis
to proofs in a perspicuous way.
and mathematical uses of higher types.
substitution method and continuity.
The outer limits.
Part II: Logic and Computation
interpretation of substructural logics.
complexity and induction for partial computable functions in type
theory: structure or algorithms
in natural language interpretation.
initial algebra specifications for stream algebras.
Part III: Applicative and Self-Applicative Theories
uniformity and comprehension in the theories of operations and
analysis of the Suslin operator in applicative theories.
with monotone inductive definitions: A survey.
Part IV: Philosophy of Modern Mathematical and Logical Thought
On the constructivity
of proofs. A debate among Behmann, Bernays, Gödel, and Kaufmann.
the debate on impredicativity, 1917-1944*.
by man and machine: conceptual analysis*.
the variable fortunes of an elusive notion.