Synopses & Reviews
Synopsis
Tentative TOC Table of contents Introduction: Perspective Feferman: Autobiography I. Mathematical Logic.- Model Theory .- Set Theory .- Proof Theory. - Computability Theory II. Conceptual Expansions . Predicativity .- Unfolding 2 .- Semi-constructive systems III. Axiomatic Foundations .- Explicit Mathematics and Operational Set Theory .- Theories of Truth .- Foundations of Category Theory IV. From Logic to Philosophy .- What is Logic? .- Foundational Ways .- G del, Minds and Machines .- New Axioms and the Continuum Problem .- Conceptual Structuralism V. Responses Feferman: Bibliography Contributors: Short biographies.- Index.
Synopsis
Examines Feferman's work in mathematical as well as specific methodological and philosophical issues
Critically examines Feferman's work and, in part, actively expands upon concrete mathematical projects
Includes a short autobiography by Feferman that reflects on the evolution and intellectual contexts of his work