- Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Two undecidable problems of analysis.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):49-77.details
|
|
Comments on `two undecidable problems of analysis'.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):79-85.details
|
|
The perceptron: A probabilistic model for information storage and organization in the brain.F. Rosenblatt - 1958 - Psychological Review 65 (6):386-408.details
|
|
A. M. Turing. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 (1936–1937), pp. 230–265. [REVIEW]Everett J. Nelson & V. C. Aldrich - 1937 - Journal of Symbolic Logic 2 (1):42-43.details
|
|
A Logical Calculus of the Ideas Immanent in Nervous Activity.Warren S. Mcculloch & Walter Pitts - 1943 - Journal of Symbolic Logic 9 (2):49-50.details
|
|
A logical calculus of the ideas immanent in nervous activity.Warren S. McCulloch & Walter Pitts - 1943 - The Bulletin of Mathematical Biophysics 5 (4):115-133.details
|
|
Mathematical proof.G. H. Hardy - 1929 - Mind 38 (149):1-25.details
|
|
Turing A. M.. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 , pp. 230–265. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):42-43.details
|
|
Strauss M.. Zur Begründung der statistischen Transformationstheorie der Quantenphysik. Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, 1936, pp. 382–398. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):45-45.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
Conscious events as orchestrated space-time selections.Stuart R. Hameroff & Roger Penrose - 1996 - Journal of Consciousness Studies 3 (1):36-53.details
|
|
From ENIAC to the stored program computer : two revolutions in computers.Arthur W. Burks - unknowndetails
|
|
Alan Turing’s Forgotten Ideas in Computer Science.Diane Proudfoot & Jack Copeland - 1999 - Scientific American 280 (4):99-103.details
|
|