Switch to: References

Add citations

You must login to add citations.
  1. Practical Intractability: A Critique of the Hypercomputation Movement. [REVIEW]Aran Nayebi - 2014 - Minds and Machines 24 (3):275-305.
    For over a decade, the hypercomputation movement has produced computational models that in theory solve the algorithmically unsolvable, but they are not physically realizable according to currently accepted physical theories. While opponents to the hypercomputation movement provide arguments against the physical realizability of specific models in order to demonstrate this, these arguments lack the generality to be a satisfactory justification against the construction of any information-processing machine that computes beyond the universal Turing machine. To this end, I present a more (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • William James in Search of the “Minimum of Dynamism” in Temporal Experience.Tamar Levanon - 2017 - Philosophical Forum 48 (1):31-47.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The extent of the present.William Craig - 2000 - International Studies in the Philosophy of Science 14 (2):165 – 185.
    One of the principal objections to a tensed or dynamic theory of time is the ancient puzzle about the extent of the present. Three alternative conceptions of the extent of the present are considered: an instantaneous present, an atomic present, and a non-metrical present. The first conception is difficult to reconcile with the objectivity of temporal becoming posited by a dynamic theory of time. The second conception solves that problem, but only at the expense of making change discontinuous. The third (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
  • Do Accelerating Turing Machines Compute the Uncomputable?B. Jack Copeland & Oron Shagrir - 2011 - Minds and Machines 21 (2):221-239.
    Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.
    Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • On the possibility of completing an infinite process.Charles S. Chihara - 1965 - Philosophical Review 74 (1):74-87.
  • ¿Existen las Máquinas Aceleradas de Turing? Paradojas y posibilidades lógicas.Jose Alejandro Fernández Cuesta - 2023 - Techno Review. International Technology, Science and Society Review 13 (1):49.74.
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The modal argument for hypercomputing minds.Selmer Bringsjord - 2004 - Theoretical Computer Science 317.