I.—COMPUTING MACHINERY AND INTELLIGENCE

Page 1

	Year	Citations
On Computable Numbers, with an Application to the Entscheidungsproblem Alan Turing Proceedings of the London Mathematical Society Computable NumbersEngineeringAutomated ReasoningComputational Model TheoryFormal Methods	1937	8K
A History of Western Philosophy. G. Watts Cunningham, Bertrand Russell The Philosophical Review Speculative PhilosophyLiterary HistoryHumanitiesWestern PhilosophyOrientalism	1946	2K
An Unsolvable Problem of Elementary Number Theory Alonzo Church American Journal of Mathematics Computational Number TheoryAnalytic Number TheoryDiscrete MathematicsDiophantine AnalysisElementary Number Theory	1936	1.7K
General recursive functions of natural numbers S. C. Kleene Mathematische Annalen General Recursive FunctionsRecursive FunctionNatural FunctionComputability Theory	1936	592
A Theory of Positive Integers in Formal Logic. Part I S. C. Kleene American Journal of Mathematics Formal LogicEngineeringAutomated ReasoningClassical LogicFormal Methods	1935	138
The Mind of Mechanical Man Gail Jefferson BMJ Cognitive ScienceMechanical ManEmbodied CognitionMindbody ProblemSocial Sciences	1949	96
A Theory of Positive Integers in Formal Logic. Part II S. C. Kleene American Journal of Mathematics Formal LogicEngineeringAutomated ReasoningClassical LogicFormal Methods	1935	83
Calculating Instruments and Machines Students Quarterly Journal Numerical AnalysisConventional InstrumentationCharles BabbageEngineeringMeasurement	1951	64

Page 1