The following pages link to (Q4787958):
Displaying 18 items.
- Completing the Gödel-Zermelo correspondence (Q802533) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Gödel on deduction (Q2631643) (← links)
- Letters to Kurt Gödel, 1942-47 (edited by Jan Tarski) (Q2702743) (← links)
- Formal Universes (Q2945710) (← links)
- Why Post Did [Not] Have Turing’s Thesis (Q3305321) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- The Truth of Proof: A Hegelian Perspective on Constructivism (Q3305649) (← links)
- Only Two Letters: The Correspondence between Herbrand and Gödel (Q3370619) (← links)
- Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al (Q3997237) (← links)
- STRICT FINITISM, FEASIBILITY, AND THE SORITES (Q4577997) (← links)
- (Q4787957) (← links)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (Q5027671) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- RUSSELL AND GÖDEL (Q5283450) (← links)
- On V.A. Yankov’s Contribution to the History of Foundations of Mathematics (Q5886463) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Carnap and Gödel, again (Q6621037) (← links)