- Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
Analog and digital.David K. Lewis - 1971 - Noûs 5 (3):321-327.details
|
|
Analog and analog.John Haugeland - 1981 - Philosophical Topics 12 (1):213-226.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.details
|
|
On a simple definition of computable function of a real variable‐with applications to functions of a complex variable.Marian Boykan Pour-El & Jerome Caldwell - 1975 - Mathematical Logic Quarterly 21 (1):1-19.details
|
|
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.details
|
|
Analog and Analog.John Haugeland - 1981 - Philosophical Topics 12 (1):213-225.details
|
|
Computable Functionals.A. Grzegorczyk - 1959 - Journal of Symbolic Logic 24 (1):50-51.details
|
|
Notationality and the information processing mind.Vinod Goel - 1991 - Minds and Machines 1 (2):129-166.details
|
|
Mental algorithms: Are minds computational systems?James H. Fetzer - 1994 - Pragmatics and Cognition 21 (1):1-29.details
|
|
Mental Algorithms: Are Minds Computational Systems?James H. Fetzer - 1994 - Pragmatics and Cognition 2 (1):1-29.details
|
|
Computationalism.Eric Dietrich - 1990 - Social Epistemology 4 (2):135-154.details
|
|
On some fundamental distinctions of computationalism.William Demopoulos - 1987 - Synthese 70 (January):79-96.details
|
|
Meaning and Mental Representation.Robert Cummins - 1989 - MIT Press.details
|
|
Is the church-Turing thesis true?Carol E. Cleland - 1993 - Minds and Machines 3 (3):283-312.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.details
|
|
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931.Jean van Heijenoort (ed.) - 1967 - Cambridge, MA, USA: Harvard University Press.details
|
|
A Primer on Determinism.John Earman - 1986 - D. Reidel.details
|
|
Computation and Cognition: Toward a Foundation for Cognitive Science.Zenon W. Pylyshyn - 1984 - Cambridge: MIT Press.details
|
|
The emperor’s new mind.Roger Penrose - 1989 - Oxford University Press.details
|
|
Shadows of the Mind: A Search for the Missing Science of Consciousness.Roger Penrose - 1994 - Oxford University Press.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
Meaning and Mental Representation.Robert Cummins - 1990 - Mind 99 (396):637-642.details
|
|
Remarks before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1946 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
Languages of Art.Nelson Goodman - 1970 - Philosophy and Rhetoric 3 (1):62-63.details
|
|
From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931.Jean van Heijenoort - 1968 - Synthese 18 (2-3):302-305.details
|
|
Connectionism, computation, and cognition.Robert C. Cummins & Georg Schwarz - 1991 - In Terence E. Horgan & John L. Tienson (eds.), Connectionism and the Philosophy of Mind. Kluwer Academic Publishers. pp. 60--73.details
|
|
The Physical Church Thesis and Physical Computational Complexity.Itamar Pitowski - 1990 - Iyyun 39:81-99.details
|
|
The Universal Turing Machine. A Half-Century Survey.Rolf Herken - 1992 - Revue Philosophique de la France Et de l'Etranger 182 (3):344-350.details
|
|
Mechanical procedures and mathematical experience.Wilfried Sieg - 1994 - In Alexander George (ed.), Mathematics and Mind. Oxford University Press. pp. 71--117.details
|
|