- The Emperor’s New Mind: Concerning Computers, Minds, andthe Laws of Physics.Roger Penrose - 1989 - Science and Society 54 (4):484-487.details
|
|
(4 other versions)Minds, Machines and Gödel.J. R. Lucas - 1961 - Etica E Politica 5 (1):1.details
|
|
Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?G. Kreisel - 1972 - Journal of Symbolic Logic 37 (2):311-334.details
|
|
R. Lucas, Kurt Godel, and Fred astaire.David L. Boyer - 1983 - Philosophical Quarterly 33 (April):147-59.details
|
|
(1 other version)Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
(1 other version)Minds and Machines.Hilary Putnam - 1960 - In Sidney Hook (ed.), Dimensions Of Mind: A Symposium. NY: NEW YORK University Press. pp. 138-164.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
(1 other version)God, the Devil, and Gödel.Paul Benacerraf - 1967 - The Monist 51 (1):9-32.details
|
|
(1 other version)The Taming of the True.Michael Glanzberg & Neil Tennant - 2000 - Philosophical Review 109 (2):290.details
|
|
J. R. Lucas, Kurt Godel, and Fred astaire.David L. Boyer - 1983 - Philosophical Quarterly 33 (131):147-159.details
|
|
From Mathematics to Philosophy.Hao Wang - 1975 - British Journal for the Philosophy of Science 26 (2):170-174.details
|
|
(2 other versions)Wittgenstein on Rules and Private Language. [REVIEW]G. E. M. Anscombe - 1982 - Ethics 95 (2):342-352.details
|
|
Reply to McGuiness.Michael Dummett - 1994 - In Brian F. McGuinness & Gianluigi Oliveri (eds.), The Philosophy of Michael Dummett. Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
(1 other version)Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.details
|
|
Anti-Realism and Logic.Michael Luntley - 1989 - Philosophical Quarterly 39 (156):361.details
|
|
(2 other versions)Gödel, Escher, Bach: An Eternal Golden Braid.Judson C. Webb - 1979 - Journal of Symbolic Logic 48 (3):864-871.details
|
|
Turing projectability.Timothy McCarthy & Stewart Shapiro - 1987 - Notre Dame Journal of Formal Logic 28 (4):520-535.details
|
|