Switch to: Citations

Add references

You must login to add references.
  1. Theory and Evidence.Clark N. Glymour - 1980 - Princeton University Press.
    The Description for this book, Theory and Evidence, will be forthcoming.
    Download  
     
    Export citation  
     
    Bookmark   371 citations  
  • (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   58 citations  
  • (3 other versions)Theory and Evidence.Clark Glymour - 1980 - Ethics 93 (3):613-615.
    Download  
     
    Export citation  
     
    Bookmark   200 citations