Piergiorgio Odifreddi (odifreddi)
Mentionné.e sur les pages du portail suivantes
Stanford Encyclopedia of PhilosophyContributions à Philosophie.ch
No contributions yet
Bibliography
Odifreddi, Piergiorgio. 1989. Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers. Studies in Logic and the Foundations of Mathematics n. 125. Amsterdam: North-Holland Publishing Co.
Odifreddi, Piergiorgio, ed. 1990. Logic and Computer Science. New York: Academic Press.
Odifreddi, Piergiorgio. 1997. “Review of Penrose (1994).” The Journal of Symbolic Logic 62(2): 673–675.
Odifreddi, Piergiorgio. 1999. Classical Recursion Theory. Volume 2. Studies in Logic and the Foundations of Mathematics n. 143. Amsterdam: Elsevier Science Publishers B.V.
Odifreddi, Piergiorgio. 2004. Les mathématiques à l’aube du XXIe siécle. Regards sur la science. Paris: Belin: pour la science.
Odifreddi, Piergiorgio. 2005. “Recursive Functions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2005/entries/recursive-functions/.
Odifreddi, Piergiorgio. 2006. “Kreisel’s Church.” in Church’s Thesis After 70 Years, edited by Adam Olszewski, Jan Woleński, and Robert Janusz, pp. 353–382. Ontos Mathematical Logic n. 1. Heusenstamm b. Frankfurt: Ontos Verlag.
Odifreddi, Piergiorgio. 2015. Il diavolo in cattedra. La logica da Aristotele a Gödel. Torino: Giulio Einaudi editore s.p.a.
Odifreddi, Piergiorgio and Cooper, S. Barry. 2012. “Recursive Functions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2012/entries/recursive-functions/.
Further References
Penrose, Roger. 1994. Shadows of the Mind: A Search for the Missing Science of Consciousness. Oxford: Oxford University Press.