Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)Limiting recursion.E. Mark Gold - 1965 - Journal of Symbolic Logic 30 (1):28-48.
    A class of problems is called decidable if there is an algorithm which will give the answer to any problem of the class after a finite length of time. The purpose of this paper is to discuss the classes of problems that can be solved by infinitely long decision procedures in the following sense: An algorithm is given which, for any problem of the class, generates an infinitely long sequence of guesses. The problem will be said to be solved in (...)
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Probabilities over rich languages, testing and randomness.Haim Gaifman & Marc Snir - 1982 - Journal of Symbolic Logic 47 (3):495-548.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   480 citations  
  • Trial and error predicates and the solution to a problem of Mostowski.Hilary Putnam - 1965 - Journal of Symbolic Logic 30 (1):49-57.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Experimental logics and Π3 0 theories.Petr Hájek - 1977 - Journal of Symbolic Logic 42 (4):515-522.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Assigning Probabilities to Logical Formulas.Dana Scott & Peter Krauss - 1967 - In Jaakko Hintikka (ed.), Aspects of inductive logic. Amsterdam,: North Holland Pub. Co.. pp. 219 -- 264.
    Download  
     
    Export citation  
     
    Bookmark   34 citations