Feferman on foundations. Logic, mathematics, philosophy
DOI10.1007/978-3-319-63334-3zbMATH Open1394.03005OpenAlexW4246030282WikidataQ59884498 ScholiaQ59884498MaRDI QIDQ2012669FDOQ2012669
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
Recommendations
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)
Cited In (16)
- 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
- Title not available (Why is that?)
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)
