Switch to: References

Add citations

You must login to add citations.
  1. On Analogues of the Church–Turing Thesis in Algorithmic Randomness.Christopher P. Porter - 2016 - Review of Symbolic Logic 9 (3):456-479.
    Download  
     
    Export citation  
     
    Bookmark  
  • Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.
    A version of the Church-Turing Thesis states that every effectively realizable physical system can be simulated by Turing Machines (‘Thesis P’). In this formulation the Thesis appears to be an empirical hypothesis, subject to physical falsification. We review the main approaches to computation beyond Turing definability (‘hypercomputation’): supertask, non-well-founded, analog, quantum, and retrocausal computation. The conclusions are that these models reduce to supertasks, i.e. infinite computation, and that even supertasks are no solution for recursive incomputability. This yields that the realization (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
    A survey of more philosophical applications of Gödel's incompleteness results.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Epistemic Optimism.Mihai Ganea - 2008 - Philosophia Mathematica 16 (3):333-353.
    Michael Dummett's argument for intuitionism can be criticized for the implicit reliance on the existence of what might be called absolutely undecidable statements. Neil Tennant attacks epistemic optimism, the view that there are no such statements. I expose what seem serious flaws in his attack, and I suggest a way of defending the use of classical logic in arithmetic that circumvents the issue of optimism. I would like to thank an anonymous referee for helpful comments. CiteULike Connotea Del.icio.us What's this?
    Download  
     
    Export citation  
     
    Bookmark  
  • On Explicating the Concept the Power of an Arithmetical Theory.Jörgen Sjögren - 2008 - Journal of Philosophical Logic 37 (2):183 - 202.
    In this paper I discuss possible ways of measuring the power of arithmetical theories, and the possiblity of making an explication in Carnap's sense of this concept. Chaitin formulates several suggestions how to construct measures, and these suggestions are reviewed together with some new and old critical arguments. I also briefly review a measure I have designed together with some shortcomings of this measure. The conclusion of the paper is that it is not possible to formulate an explication of the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation