Looking at very recent developments in spacetime theory, we can wonder whether these results exhibit features of hypercomputation that traditionally seemed impossible or absurd …
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 …
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 …
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 …
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 …
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 …