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)

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

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)