Relativistic computers and the Turing barrier

I Németi, G Dávid - Applied Mathematics and Computation, 2006 - Elsevier
We examine the current status of the physical version of the Church-Turing Thesis (PhCT for
short) in view of latest developments in spacetime theory. This also amounts to investigating …

General relativistic hypercomputing and foundation of mathematics

H Andréka, I Németi, P Németi - Natural Computing, 2009 - Springer
Looking at very recent developments in spacetime theory, we can wonder whether these
results exhibit features of hypercomputation that traditionally seemed impossible or absurd …

A proof of the Geroch–Horowitz–Penrose formulation of the strong cosmic censor conjecture motivated by computability theory

G Etesi - International Journal of Theoretical Physics, 2013 - Springer
In this paper we present a proof of a mathematical version of the strong cosmic censor
conjecture attributed to Geroch–Horowitz and Penrose but formulated explicitly by Wald. The …

[PDF][PDF] The collision between computability and general relativity

A Lo - 2022 - academia.edu
We presented an interlude that the results of computability in the framework of relativity
effect. We would main focus on the computational power of the relevant models. Also, if …

[PDF][PDF] Can new physics challenge “old” computational barriers?

I Németi, H Andréka - Manuscript, accessed online at http://www …, 2016 - academia.edu
We discuss the impact of very recent developments of spacetime theory, black hole physics,
and cosmology to well established foundational issues of computability theory and logic …

Supertasks and Spacetime

D O'Connell - eprints.illc.uva.nl
In recent years, discussions of supertasks involved a particular class of physical models
known as Malament-Hogarth spacetimes. One might wonder–what is the role of physical …

[PDF][PDF] The Church-Turing thesis in quantum and classical computing

PH Potgieter - 2002 - kolmogorov.net
Abstract The Church-Turing thesis is examined in historical context and a survey is made of
current claims to have surpassed its restrictions using quantum computing—thereby calling …