Can new physics challenge “old ” computational barriers?
by
István Németi
,
Hajnal Andréka
BibTeX
@MISC{Németi_cannew,
author = {István Németi and Hajnal Andréka},
title = {Can new physics challenge “old ” computational barriers?},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. 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. Namely, we describe a physical device in relativistic spacetime which can compute a non-Turing computable task, e.g. which can decide the halting problem of Turing machines or whether ZF set theory is consistent or not. Connections with foundation of mathematics and foundation of spacetime theory will be discussed. 1
