- Alan Turing, Father of the Modern Computer.Jack Copeland & Diane Proudfoot - 2011 - Rutherford Journal: The New Zealand Journal for the History and Philosophy of Science and Technology 4.details
|
|
Alan Turing: Life and Legacy of a Great Thinker.Christof Teuscher (ed.) - 2004 - Springer-Verlag.details
|
|
(1 other version)Elements of the Theory of Computation.Harry Ralph Lewis & Christos H. Papadimitriou - 1981 - Englewood Cliffs, NJ, USA: Prentice-Hall.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
|
|
Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.details
|
|
On the Mathematical Foundations of Syntactic Structures.Geoffrey K. Pullum - 2011 - Journal of Logic, Language and Information 20 (3):277-296.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: 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
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
(2 other versions)Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
(1 other version)Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.details
|
|
Accelerating Turing machines.B. Jack Copeland - 2002 - Minds and Machines 12 (2):281-300.details
|
|
(1 other version)A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.details
|
|
(3 other versions)Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.details
|
|
Towards a Historical Notion of ‘Turing—the Father of Computer Science’.Edgar G. Daylight - 2015 - History and Philosophy of Logic 36 (3):205-228.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
Recursively Enumerable Sets of Positive Integers and Their Decision Problems.Emil L. Post - 1945 - Journal of Symbolic Logic 10 (1):18-19.details
|
|
Classical recursion theory: the theory of functions and sets of natural numbers.Piergiorgio Odifreddi - 1989 - New York, N.Y., USA: Sole distributors for the USA and Canada, Elsevier Science Pub. Co..details
|
|
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.details
|
|
Solvable and Unsolvable Problems.A. M. Turing - 1955 - Journal of Symbolic Logic 20 (1):74-74.details
|
|
Automata Studies.John Mccarthy & Claude Shannon - 1958 - Journal of Symbolic Logic 23 (1):59-60.details
|
|
Mechanical procedures and mathematical experience.Wilfried Sieg - 1994 - In Alexander George (ed.), Mathematics and mind. New York: Oxford University Press. pp. 71--117.details
|
|
(2 other versions)Computability and λ-definability.A. M. Turing - 1937 - Journal of Symbolic Logic 2 (4):153-163.details
|
|
(1 other version)Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.details
|
|
(1 other version)Alan Turing: the Enigma.Andrew Hodges - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.details
|
|
(1 other version)Computability, Proof, and Open-Texture.Stewart Shapiro - 2006 - In Adam Olszewski, Jan Wolenski & Robert Janusz (eds.), Church's Thesis After 70 Years. Ontos Verlag. pp. 420-455.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|