Switch to: References

Citations of:

The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem

In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Turing, Gödel, Church, and Beyond. MIT Press (2013)

Add citations

You must login to add citations.
  1. Hybrid Identities and Just Being Yourself.Gillian Russell - 2014 - Inquiry: An Interdisciplinary Journal of Philosophy 57 (4):455-465.
    This paper points out a tension between Agustín Rayo's criteria for singulartermhood and his explicit views on the status of Hybrid Identities, that is, identity statements that use singular terms from two different Systems of Representation, such as "7=Julius Caesar" or more suggestively "I am b" where "b" is a singular term referring to my brain. It argues that non-trivial Hybrid Identities are common and important in philosophy and elsewhere, and it suggests a friendly alternative that involves treating Hybrid Identities (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Counterpossibles in Science: The Case of Relative Computability.Matthias Jenny - 2018 - Noûs 52 (3):530-560.
    I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.