Switch to: References

Add citations

You must login to add citations.
  1. Empirical Encounters with Computational Irreducibility and Unpredictability.Hector Zenil, Fernando Soler-Toscano & Joost J. Joosten - 2012 - Minds and Machines 22 (3):149-165.
    The paper presents an exploration of conceptual issues that have arisen in the course of investigating speed-up and slowdown phenomena in small Turing machines, in particular results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function for that purpose. The experiment prompts (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Characterization of realizable space complexities.Joel I. Seiferas & Albert R. Meyer - 1995 - Annals of Pure and Applied Logic 73 (2):171-190.
    This is a complete exposition of a tight version of a fundamental theorem of computational complexity due to Levin: The inherent space complexity of any partial function is very accurately specifiable in a Π1 way, and every such specification that is even Σ2 does characterize the complexity of some partial function, even one that assumes only the values 0 and 1.
    Download  
     
    Export citation  
     
    Bookmark  
  • A characterization of complexity sequences.C. P. Schnorr & G. Stumpf - 1975 - Mathematical Logic Quarterly 21 (1):47-56.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • New axiomatics for relevant logics, I.Robert K. Meyer - 1974 - Journal of Philosophical Logic 3 (1/2):53 - 86.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Abstrakte tempomasze und speed‐up‐theoremea für enumerationen rekursiv‐aufzählbarer mengen.Hans-Dietrich Hecker - 1984 - Mathematical Logic Quarterly 30 (17‐18):269-281.
    Download  
     
    Export citation  
     
    Bookmark