Pages that link to "Item:Q2012669"
From MaRDI portal
The following pages link to Feferman on foundations. Logic, mathematics, philosophy (Q2012669):
Displaying 11 items.
- Harvey Friedman's research on the foundations of mathematics (Q1073004) (← links)
- How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Introduction -- Feferman 1977 (Q2845101) (← links)
- Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program (Q2856488) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- (Q4178996) (← links)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) (← links)
- Parsons and I: Sympathies and Differences (Q5019313) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Banach’s theorem in higher-order reverse mathematics (Q6062174) (← links)