6 found
Sort by:
Disambiguations:
Wayne Aitken [4]W. Aitken [2]
  1. Jeffrey A. Barrett & Wayne Aitken, On the Physical Possibility of Ordinal Computation (Draft).
    α-recursion lifts classical recursion theory from the first transfinite ordinal ω to an arbitrary admissible ordinal α [10]. Idealized computational models for α-recursion analogous to Turing machine models for classical recursion have been proposed and studied [4] and [5] and are applicable in computational approaches to the foundations of logic and mathematics [8]. They also provide a natural setting for modeling extensions of the algorithmic logic described in [1] and [2]. On such models, an α-Turing machine can complete a θ-step (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. W. Aitken & J. A. Barrett (2010). A Note on the Physical Possibility of Transfinite Computation. British Journal for the Philosophy of Science 61 (4):867-874.
    In this note, we consider constraints on the physical possibility of transfinite Turing machines that arise from how one models the continuous structure of space and time in one's best physical theories. We conclude by suggesting a version of Church's thesis appropriate as an upper bound for physical computation given how space and time are modeled on our current physical theories.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Wayne Aitken & Jeffrey A. Barrett (2008). Abstraction in Algorithmic Logic. Journal of Philosophical Logic 37 (1):23 - 43.
    We develop a functional abstraction principle for the type-free algorithmic logic introduced in our earlier work. Our approach is based on the standard combinators but is supplemented by the novel use of evaluation trees. Then we show that the abstraction principle leads to a Curry fixed point, a statement C that asserts C ⇒ A where A is any given statement. When A is false, such a C yields a paradoxical situation. As discussed in our earlier work, this situation leaves (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Wayne Aitken & Jeffrey A. Barrett (2007). Stability and Paradox in Algorithmic Logic. Journal of Philosophical Logic 36 (1):61 - 95.
    There is significant interest in type-free systems that allow flexible self-application. Such systems are of interest in property theory, natural language semantics, the theory of truth, theoretical computer science, the theory of classes, and category theory. While there are a variety of proposed type-free systems, there is a particularly natural type-free system that we believe is prototypical: the logic of recursive algorithms. Algorithmic logic is the study of basic statements concerning algorithms and the algorithmic rules of inference between such statements. (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. W. Aitken, L. Alberucci, D. J. Anderson, J. A. Barrett, K. Bimbó, B. Brown, E. Dresner, P. Milne, M. Peterson & G. Priest (2004). Freund, MA, 237 Glanzberg, M., 27 Hawthorne, J., 89 Jané, I., 437 Ju, S., 481. Journal of Philosophical Logic 33 (641).
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Wayne Aitken & Jeffrey A. Barrett (2004). Computer Implication and the Curry Paradox. Journal of Philosophical Logic 33 (6):631-637.
    There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of computer implemented deduction. We use a version of the Curry paradox to arrive at this limitation.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation