Feferman on foundations. Logic, mathematics, philosophy

DOI10.1007/978-3-319-63334-3MaRDI QIDQ2012669zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 2 August 2017

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63334-3

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophy of mathematics (00A30)

Recommendations

• scientific article; zbMATH DE number 1273299
• Predicativity and Feferman
• Feferman and the Truth
• scientific article; zbMATH DE number 1927123
• scientific article; zbMATH DE number 2101964

Cited in

(16)

• scientific article; zbMATH DE number 3614739 (Why is no real title available?)
• IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
• Banach’s theorem in higher-order reverse mathematics
• Harvey Friedman's research on the foundations of mathematics
• Feferman on set theory: infinity up on trial
• Feferman on computability
• Feferman's skepticism about set theory
• From mathesis universalis to provability, computability, and constructivity
• Predicativity and Feferman
• Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
• Parsons and I: sympathies and differences
• Introduction -- Feferman 1977
• On the Performance of Axiom Systems
• Mathematics and its logics. Philosophical essays
• Truth and the philosophy of mathematics
• How recent work in mathematical logic relates to the foundations of mathematics

This page was built for publication: Feferman on foundations. Logic, mathematics, philosophy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2012669)