Feferman on foundations : logic, mathematics, philosophy /: logic, mathematics, philosophy. (2017)

• Record Type: Book
• Further Information: Note: Gerhard Jäger, Wilfried Sieg, editors.
• Editors: Jäger, Gerhard; Sieg, Wilfried, 1945-
• Other Names: Feferman, Solomon honouree.
• Contents: 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. .
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (lxxx, 551 pages), illustrations
• Subjects: 511.3; Mathematics; Logic, Symbolic and mathematical; MATHEMATICS / General; Logic, Symbolic and mathematical; Mathematics; Mathematical Logic and Foundations; Logic; Mathematical Logic and Formal Languages; Philosophy -- Logic; Mathematics -- Logic; Philosophy: logic; Mathematical theory of computation; Logic; Computer science; Mathematical foundations; Electronic books
• Languages: English
• ISBNs: 9783319633343; 3319633341
• Related ISBNs: 9783319633329; 3319633325
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 11, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.