The following pages link to The Richard Paradox (Q4756729):
Displaying 6 items.
- Gödel's reception of Turing's model of computability: the ''shift of perception'' in 1934 (Q2011634) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- Zermelo and Set Theory (Q4678931) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)
- Zermelo and Set Theory (Q5717235) (← links)
- A revision of the fundamental rules of combinatory logic (Q5834319) (← links)
