12 found
Order:
  1.  51
    Classical recursion theory: the theory of functions and sets of natural numbers.Piergiorgio Odifreddi - 1989 - New York, N.Y., USA: 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   72 citations  
  2.  21
    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. (1 other version)Forcing and reducibilities.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):288-310.
  4.  42
    Forcing and reducibilities. II. forcing in fragments of analysis.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (3):724-743.
  5.  27
    Forcing and reducibilities. III. forcing in fragments of set theory.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (4):1013-1034.
  6.  8
    Caro papa teologo, Caro matematico ateo: dialogo tra fede e ragione, religione e scienza.Piergiorgio Odifreddi & X. V. I. Benedetto (eds.) - 2013 - Milano: Mondadori.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  32
    Godel's Mathematics of Philosophy.Piergiorgio Odifreddi - 2011 - In Matthias Baaz (ed.), Kurt Gödel and the foundations of mathematics: horizons of truth. New York: Cambridge University Press. pp. 299.
  8.  6
    La democrazia non esiste: critica matematica della ragione pratica.Piergiorgio Odifreddi - 2018 - [Milan]: Rizzoli.
  9.  7
    Ritratti dell'infinito: dodici primi piani e tre foto di gruppo.Piergiorgio Odifreddi - 2020 - [Milan]: Rizzoli.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  24
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  17
    (1 other version)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  
  12.  17
    (1 other version)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