Robin O. Gandy (gandy)

Contributions à Philosophie.ch

Bibliography

Fenstad, Jens Erik, Gandy, Robin O. and Sacks, Gerald E., eds. 1978. Generalized Recursion Theory II. Proceedings of the 1977 Oslo Symposium. Studies in Logic and the Foundations of Mathematics n. 94. Amsterdam: North-Holland Publishing Co.
Gandy, Robin O. 1956. “On the Axiom of Extensionality.” The Journal of Symbolic Logic 21: 36–48.
Gandy, Robin O. 1959. “On the Axiom of Extensionality: Part II.” The Journal of Symbolic Logic 24: 287–300.
Gandy, Robin O. 1967. “Computable Functionals of Finite Type 1.” in Sets, Models and Recursion Theory (Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965), edited by John Newsome Crossley, pp. 202–242. Studies in Logic and the Foundations of Mathematics n. 46. Amsterdam: North-Holland Publishing Co.
Gandy, Robin O. 1974. “Set-Theoretic Functions for Elementary Syntax.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 103–126. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Gandy, Robin O. 1977. “The Simple Theory of Types.” in Logic Colloquium ’76, edited by Robin O. Gandy and J. M. E. Hyland, pp. 173–181. Studies in Logic and the Foundations of Mathematics n. 87. Amsterdam: North-Holland Publishing Co.
Gandy, Robin O. 1980a. “Church’s Thesis and Principles for Mechanisms.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 123–148. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Gandy, Robin O. 1980b. “An Early Proof of Normalization by A.M. Turing.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 453–456. New York: Academic Press.
Gandy, Robin O. 1980c. “Proofs of Strong Normalization.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 457–478. New York: Academic Press.
Gandy, Robin O. 1982. “Limitations to Mathematical Knowledge.” in Logic Colloquium ’80, edited by Daniel Lascar, Dirk van Dalen, and Timothy J. Smiley, pp. 129–145. Amsterdam: North-Holland Publishing Co.
Gandy, Robin O. 1988. “The Confluence of Ideas in 1936.” in The Universal Turing Machine: A Half-Century Survey, edited by Rolf Herken, 1st ed., pp. 55–111. Oxford: Oxford University Press. Second edition: Herken (1995).
Gandy, Robin O. 1996. “Human versus Mechanical Intelligence.” in Machines and Thought. The Legacy of Alan Turing, Volume 1, edited by Peter J. R. Millican and Andy Clark, pp. 125–136. Mind Association Occasional Series. Oxford: Oxford University Press.
Gandy, Robin O. 2001. “Axioms of Infinity in Church’s Type Theory.” in Logic, Meaning and Computation: Essays in Memory of Alonzo Church, edited by Curtis Anthony Anderson and Michael Zelëny, pp. 139–148. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.
Gandy, Robin O. and Hyland, J. M. E., eds. 1977. Logic Colloquium ’76. Studies in Logic and the Foundations of Mathematics n. 87. Amsterdam: North-Holland Publishing Co.
Gandy, Robin O. and Yates, C. E. M., eds. 1971. Logic Colloquium ’69. Studies in Logic and the Foundations of Mathematics n. 61. Amsterdam: North-Holland Publishing Co.