TY - RPRT TI - Renormalization and Computation II: Time Cut-off and the Halting Problem AU - Yuri I. Manin PY - 2009 UR - https://arxiv.org/abs/0908.3430 ID - 0908.3430 ER -