NONCOMPUTABILITY ARISING IN DYNAMICAL TRIANGULATION MODEL OF 4-DIMENSIONAL QUANTUM-GRAVITY

Computations in dynamical triangulation models of four-dimensional Qua ntum Gravity involve weighted averaging over sets of all distinct tria ngulations of compact four-dimensional manifolds. In order to be able to perform such computations one needs an algorithm which for any give n N and a given compact four-dimensional manifold M constructs all pos sible triangulations of M with less-than-or-equal-to N simplices. Our first result is that such algorithm does not exist. Then we discuss re cursion-theoretic limitations of any algorithm designed to perform app roximate calculations of sums over all possible triangulations of a co mpact four-dimensional manifold.