Resumen de ¿Existen las máquinas aceleradas de Turing?: Paradojas y posibilidades lógicas

José Alejandro Fernández Cuesta

• español

  Las máquinas aceleradas de Turing (ATMs) son dispositivos capaces de ejecutar súper-tareas. Sin embargo, el simple ejercicio de definirlas ha generado varias paradojas. En el presente artículo se definirán las nociones de súper-tarea y ATM de manera exhaustiva y se aclarará qué debe entenderse en un contexto lógico-formal cuando se pregunta por la existencia de un objeto. A partir de la distinción entre posibilidades lógicas y físicas se disolverán las paradojas y se concluirá que las ATMs son posibles y existen como objetos abstractos.

• English

  Accelerating Turing Machines (ATMs) are devices capable of executing super-tasks. However, the mere exercise of definition has generated several paradoxes. This paper will define the notions of super-task and ATM in a comprehensive way and will clarify what should be understood in a formal-logical context when asking about the existence of an object. Following the distinction between logical and physical possibilities, the paradoxes will be dissolved and it will be concluded that ATMs are possible and exist as abstract objects.