Alonzo Church

Princeton University, Princeton, NJ 
 University of California, Los Angeles, Los Angeles, CA 
Mathematics, Logic, Theory of Computation
"Alonzo Church"


Sign in to add mentor
Oswald Veblen grad student 1927 Princeton
 (Alternatives to Zermelo's Assumption)


Sign in to add trainee
C. Anthony Anderson grad student UCLA (Philosophy Tree)
Peter Bruce Andrews grad student (Robotree)
Gerald J. Massey grad student (Computer Science Tree)
Nicholas Rescher grad student (Philosophy Tree)
Dana Scott grad student (Philosophy Tree)
Ronaldo Vigo grad student Indiana University (Neurotree)
Stephen Cole Kleene grad student 1934 Princeton (Computer Science Tree)
John Barkley Rosser grad student 1934 Princeton
George Alfred Barnard grad student 1936 Princeton
Alan M. Turing grad student 1938 Princeton
John George Kemeny grad student 1949 Princeton
Michael O. Rabin grad student 1953-1957 Princeton (Computer Science Tree)
Hartley Rogers, Jr. grad student 1958 Princeton
Nathan Salmon grad student 1973-1979 UCLA (Philosophy Tree)
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Church A, Scott D, Schoenman R. (1973) Existence and Description in Formal Logic Journal of Symbolic Logic. 38: 166
Church A, Rescher N. (1953) Skolem Thoralf. On the proofs of independence of the axioms of the classical sentential calculus. Det Kongelige Norske Videnskabers Selskab, Forhandlinger , vol. 24 (1951), pp. 20–25. Journal of Symbolic Logic. 18: 67-67
Church A, Rescher N. (1950) Dienes Z. P.. On an implication function in many-valued systems of logic. The journal of symbolic logic, Bd. 14 (1949) , pp. 95–97. Journal of Symbolic Logic. 15: 69-70
Church A, Turing AM. (1937) On Computable Numbers, with an Application to the Entscheidungsproblem. Journal of Symbolic Logic. 2: 42
Church A, Rosser JB. (1936) Some properties of conversion Transactions of the American Mathematical Society. 39: 472-482
See more...