Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  • Theory and Evidence.Clark N. Glymour - 1980 - Princeton University Press.
  • Theory and Evidence.Clark Glymour - 1980 - Ethics 93 (3):613-615.
     
    Export citation  
     
    Bookmark   192 citations