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

Philosophy of mathematics (00A30) 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)

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)

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