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

• Fernández Cuesta, José Alejandro ^[1]
  1. [1] Universidad Complutense de Madrid

     Universidad Complutense de Madrid

     Madrid, España

     
• Localización: TECHNO REVIEW: International Technology, Science and Society Review / Revista Internacional de Tecnología, Ciencia y Sociedad, ISSN-e 2695-9933, Vol. 13, Nº. 1, 2023, 74 págs.
• Idioma: español
• Títulos paralelos:
  • Do Accelerating Turing Machines Exist?: Paradoxes and Logical Possibilites
• Texto completo no disponible (Saber más ...)
• Resumen
  • 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.