Feferman on Foundations Logic, Mathematics, Philosophy /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jäger, Gerhard (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sieg, Wilfried (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Έκδοση: 1st ed. 2017.
• Σειρά: Outstanding Contributions to Logic, 13
• Θέματα: Mathematical logic.; Logic.; Mathematical Logic and Foundations.; Mathematical Logic and Formal Languages.

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the collection of essays presented here, researchers examine Feferman's work on mathematical as well as specific methodological and philosophica...

Πίνακας περιεχομένων:

• 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. .