The following pages link to (Q3261420):
Displaying 9 items.
- General relativistic hypercomputing and foundation of mathematics (Q734209) (← links)
- Péter on Church's thesis, constructivity and computers (Q2117808) (← links)
- Relativistic computers and the Turing barrier (Q2497881) (← links)
- Peptide Computers (Q3166940) (← links)
- Inconsistency and Incompleteness, Revisited (Q3305677) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Kalmár's Argument Against the Plausibility of Church's Thesis (Q5207922) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- The decision problem for effective procedures (Q6113688) (← links)