The following pages link to (Q3764099):
Displayed 25 items.
- Gödel on Tarski (Q598320) (← links)
- The objectivity of mathematics (Q885536) (← links)
- Gödel's philosophical program and Husserl's phenomenology (Q987482) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- To and from philosophy-discussions with Gödel and Wittgenstein (Q1182183) (← links)
- The logic of instance ontology (Q1283324) (← links)
- Book review of: K. Gödel, Collected works. Vol. IV: Correspondence, A--G; Collected works. Vol. V: Correspondence, H--Z (Q1987000) (← links)
- On causality as the fundamental concept of Gödel's philosophy (Q2054157) (← links)
- In search of relativistic time (Q2447613) (← links)
- Strong axioms of infinity in <i>NFU</i> (Q2732269) (← links)
- Gödel’s Cantorianism (Q3305413) (← links)
- Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective (Q3305632) (← links)
- Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988 (Q3476784) (← links)
- Gödel's Path from the Incompleteness Theorems (1931) To Phenomenology (1961) (Q4212935) (← links)
- HUSSERL AND GÖDEL’S INCOMPLETENESS THEOREMS (Q4600820) (← links)
- On the Philosophical Development of Kurt Gödel (Q4650309) (← links)
- In Memoriam: Hao Wang 1921–1995 (Q4879896) (← links)
- THE DEVELOPMENT OF GÖDEL’S ONTOLOGICAL PROOF (Q5027671) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting (Q5208120) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- RUSSELL AND GÖDEL (Q5283450) (← links)
- ‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945 (Q6098659) (← links)
- Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach (Q6098747) (← links)