PhilPapers is currently in read-only mode while we are performing some maintenance. You can use the site normally except that you cannot sign in. This shouldn't last long.
9 found
Sort by:
  1. Piergiorgio Odifreddi (2011). Godel's Mathematics of Philosophy. In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press 299.
  2. Piergiorgio Odifreddi (1997). Review: Roger Penrose, Shadows of the Mind. A Search for the Missing Science of Consciousness. [REVIEW] Journal of Symbolic Logic 62 (2):673-675.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Piergiorgio Odifreddi (ed.) (1996). Kreiseliana. About and Around Georg Kreisel. A K Peters.
     
    My bibliography  
     
    Export citation  
  4. Piergiorgio Odifreddi (1995). Review: Raymond M. Smullyan, Recursion Theory for Metamathematics. [REVIEW] Journal of Symbolic Logic 60 (4):1324-1326.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Piergiorgio Odifreddi (1989). Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers. Sole Distributors for the Usa and Canada, Elsevier Science Pub. Co..
    Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Piergiorgio Odifreddi (1983). Forcing and Reducibilities. Journal of Symbolic Logic 48 (2):288-310.
  7. Piergiorgio Odifreddi (1983). Forcing and Reducibilities. II. Forcing in Fragments of Analysis. Journal of Symbolic Logic 48 (3):724-743.
  8. Piergiorgio Odifreddi (1983). Forcing and Reducibilities. III. Forcing in Fragments of Set Theory. Journal of Symbolic Logic 48 (4):1013-1034.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  9. Piergiorgio Odifreddi (1983). Review: Hubert C. Kennedy, Peano. Life and Works of Giuseppe Peano. [REVIEW] Journal of Symbolic Logic 48 (2):503-504.
    Direct download  
     
    My bibliography  
     
    Export citation