Feferman on Foundations

511.3

Feferman on Foundations Logic, Mathematics, Philosophy / edited by Gerhard Jäger, Wilfried Sieg. -
LXXX, 551 p. 4 illus. online resource. - (Outstanding Contributions to Logic, 13) Content notes : 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. . 9783319633343 * Logic, Symbolic and mathematical. Logic. Computer science. Mathematical Logic and Foundations. Logic. Mathematical Logic and Formal Languages. * Jäger, Gerhard., edt, http://id.loc.gov/vocabulary/relators/edtSieg, Wilfried., edt, http://id.loc.gov/vocabulary/relators/edt * Title * Series