Машина Тьюринга + замедление времени = решить проблему остановки?
Существуют релятивистские пространства-времени (например, пространства-времени МГ; см. Хогарт, 1994), где мировая линия бесконечной длительности может содержаться в прошлом конечного наблюдателя. Это означает, что обычный наблюдатель может иметь доступ к бесконечному количеству вычислительных шагов. Предполагая, что компьютер может функционировать идеально в течение бесконечного промежутка времени (и я знаю, что это большая …