The following pages link to The logic of Turing progressions (Q2176413):
Displaying 6 items.
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Turing Tumble is Turing-complete (Q2683507) (← links)
- A Coinductive Animation of Turing Machines (Q2797865) (← links)
- Turing Jumps Through Provability (Q3195699) (← links)
- (Q4036584) (← links)