11 found
Order:
  1.  26
    Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers.Piergiorgio Odifreddi - 1989 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   67 citations  
  2.  1
    Kreiseliana: About and Around Georg Kreisel.Piergiorgio Odifreddi (ed.) - 1996 - A K Peters.
    This multifaceted collection of essays, reminiscences, and professional papers combine to create an exceptional tribute to the unusual, enigmatic, and ultimately fascinating personality of Georg Kreisel. An eminently influential logician and mathematical philosopher, Kreisel is revealed as much more in this entertaining juxtaposition of viewpoints from famous contributors like Verena Huber-Dyson, Sol Feferman, and Francis Crick. Mathematics fans and armchair philosophers will delight in this look at Kreisel as he conveys his unique personal and intellectual influence.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Forcing and Reducibilities.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):288-310.
  4.  19
    Hubert C. Kennedy. Peano. Life and Works of Giuseppe Peano. Studies in the History of Modern Science, Vol. 4. D. Reidel Publishing Company, Dordrecht, Boston, and London, 1980, Xii + 230 Pp. [REVIEW]Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):503-504.
  5.  14
    Raymond M. Smullyan. Recursion Theory for Metamathematics. Oxford Logic Guides, No. 22. Oxford University Press, New York and Oxford1993, Xiv + 163 Pp. [REVIEW]Piergiorgio Odifreddi - 1995 - Journal of Symbolic Logic 60 (4):1324-1326.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Godel's Mathematics of Philosophy.Piergiorgio Odifreddi - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press. pp. 299.
  7.  14
    Review: Raymond M. Smullyan, Recursion Theory for Metamathematics. [REVIEW]Piergiorgio Odifreddi - 1995 - Journal of Symbolic Logic 60 (4):1324-1326.
  8.  8
    Penrose Roger. Shadows of the Mind. A Search for the Missing Science of Consciousness. Oxford University Press, Oxford, New York, and Melbourne, 1994, Xvi + 457 Pp. [REVIEW]Piergiorgio Odifreddi - 1997 - Journal of Symbolic Logic 62 (2):673-675.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    Review: Roger Penrose, Shadows of the Mind. A Search for the Missing Science of Consciousness. [REVIEW]Piergiorgio Odifreddi - 1997 - Journal of Symbolic Logic 62 (2):673-675.
  10.  18
    Forcing and Reducibilities. II. Forcing in Fragments of Analysis.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (3):724-743.
  11.  11
    Forcing and Reducibilities. III. Forcing in Fragments of Set Theory.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (4):1013-1034.