The following pages link to (Q4787957):
Displaying 15 items.
- On mind \& Turing's machines (Q885688) (← links)
- Periodic words connected with the tribonacci-Lucas numbers (Q2414402) (← links)
- Levy and set theory (Q2493914) (← links)
- Gödel on deduction (Q2631643) (← links)
- Letters to Kurt Gödel, 1942-47 (edited by Jan Tarski) (Q2702743) (← links)
- Formal Universes (Q2945710) (← links)
- (Q4787958) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting (Q5208120) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- GÖDEL’S NOTRE DAME COURSE (Q5283448) (← links)
- RUSSELL AND GÖDEL (Q5283450) (← links)
- CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS (Q5381037) (← links)
- Kurt Gödel and the logic of concepts (Q6585148) (← links)
- Carnap and Gödel, again (Q6621037) (← links)