The following pages link to Betwixt Turing and Kleene (Q2151412):
Displaying 8 items.
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- What is Turing’s Comparison between Mechanism and Writing Worth? (Q2904441) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Betwixt Turing and Kleene (Q6376739) (← links)
- Computability and non-monotone induction (Q6594831) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6614040) (← links)