New physics and hypercomputation

Abstract

Does new physics give us a chance for designing computers, at least in principle, which could compute beyond the Turing barrier? By the latter we mean computers which could compute some functions which are not Turing computable. Part of what we call "new physics" is the surge of results in black hole physics in the last 15 years, which certainly changed our perspective on certain things [3], [9], [1]. The two main directions in this line seem to be quantum computers and relativistic, i.e. spacetime-theory-based, ones. We will concentrate on the relativistic case, e.g. [1], [2], [4], [6], Is there a remote possibility that, relativity can give some feedback to its "founding grandmother", namely, to logic? © Springer-Verlag Berlin Heidelberg 2006.