Switch to: Citations

Add references

You must login to add references.
  1. Is the church-Turing thesis true?Carol E. Cleland - 1993 - Minds and Machines 3 (3):283-312.
    The Church-Turing thesis makes a bold claim about the theoretical limits to computation. It is based upon independent analyses of the general notion of an effective procedure proposed by Alan Turing and Alonzo Church in the 1930''s. As originally construed, the thesis applied only to the number theoretic functions; it amounted to the claim that there were no number theoretic functions which couldn''t be computed by a Turing machine but could be computed by means of some other kind of effective (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • .Jeremy Butterfield & John Earman - 1977
    Download  
     
    Export citation  
     
    Bookmark   369 citations  
  • On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   712 citations  
  • The Kleene Symposium.Robin Gandy - 1980 - North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Primer on Determinism.John Earman - 1986 - D. Reidel.
    Determinism is a perennial topic of philosophical discussion. Very little acquaintance with the philosophical literature is needed to reveal the Tower of ...
    Download  
     
    Export citation  
     
    Bookmark   305 citations  
  • The emperor’s new mind.Roger Penrose - 1989 - Oxford University Press.
    Winner of the Wolf Prize for his contribution to our understanding of the universe, Penrose takes on the question of whether artificial intelligence will ever ...
    Download  
     
    Export citation  
     
    Bookmark   581 citations  
  • Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.
    Download  
     
    Export citation  
     
    Bookmark   74 citations