Машина Тьюрінга + розширення часу = вирішити проблему зупинки?
Існують релятивістські космічні часи (наприклад, MH spacetimes; див. Hogarth 1994), де світова лінія нескінченної тривалості може міститися в минулому кінцевого спостерігача. Це означає, що звичайний спостерігач може мати доступ до нескінченної кількості кроків обчислення. Якщо припустити, що комп'ютер може бездоганно функціонувати протягом нескінченного періоду часу (і я знаю, що це …