Pages that link to "Item:Q5898838"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898838):
Displaying 7 items.
- A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer (Q514550) (← links)
- Motion and observation in a single-particle universe (Q514565) (← links)
- General relativistic hypercomputing and foundation of mathematics (Q734209) (← links)
- The computational status of physics (Q734210) (← links)
- Abstract geometrical computation. III: Black holes for classical and analog computing (Q734212) (← links)
- Pi on earth, or mathematics in the real world (Q948981) (← links)
- Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)