General relativistic hypercomputing and foundation of mathematics
From MaRDI portal
Publication:734209
DOI10.1007/s11047-009-9114-3zbMath1192.68258OpenAlexW2016555353MaRDI QIDQ734209
Péter Németi, Istvan Németi, Hajnalka Andréka
Publication date: 19 October 2009
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11047-009-9114-3
Black holesCosmologyBlue-shift problemChurch ThesisChurch-Thuring barrierEvaporation of black holesFoundations of mathematicsGeneral relativity theoryHilbert programmeHypercomputationKerr-Newman spacetimesMalament-Hogarth spacetimeRelativistic computationSupertasks
Related Items (6)
Physical Computability Theses ⋮ A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer ⋮ Supertasks do not increase computational power ⋮ Theory of Quantum Computation and Philosophy of Mathematics. Part II ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics ⋮ Abstract geometrical computation. VII: Geometrical accumulations and computably enumerable real numbers
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Axiomatizing relativistic dynamics without conservation postulates
- A twist in the geometry of rotating black holes: seeking the cause of acausality
- Note on a reformulation of the strong cosmic censor conjecture based on computability
- Relativistic computers and the Turing barrier
- Twin paradox and the logical foundation of relativity theory
- Deciding Arithmetic Using SAD Computers
- The Extent of Computation in Malament–Hogarth Spacetimes
- General Relativity
- Logical Approaches to Computational Barriers
- Non-Turing computations via Malament--Hogarth space-times
This page was built for publication: General relativistic hypercomputing and foundation of mathematics
