Alonzo Church - PDFSEARCH.IO - Document Search Engine

Alonzo Church
Results: 15

#	Item
11	John George Kemeny (May 13, 1926-December 26, 1992) Obituary for Manchester Guardian Add to Reading List Source URL: www.math.dartmouth.edu Language: English - Date: 2008-05-31 12:25:08 Mercer County New Jersey John George Kemeny BASIC John Kemeny Alonzo Church John von Neumann Princeton University Kemény Mathematics Hungarian people BASIC programming language Science
12	An Unsolvable Problem of Elementary Number Theory Author(s): Alonzo Church Source: American Journal of Mathematics, Vol. 58, No. 2 (Apr., 1936), pp[removed] Add to Reading List Source URL: phil415.pbworks.com Language: English - Date: 2008-09-17 12:40:48 Publishing Academia Knowledge Academic publishing Andrew W. Mellon Foundation JSTOR
13	A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed]. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2007-04-02 18:01:33 Formal languages Logical syntax Metalogic Model theory Interpretation Metamath Axiom Theorem Principia Mathematica Logic Mathematics Mathematical logic
14	PDF Document Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2009-04-12 21:16:41 Mathematical logic Theory of computation Theoretical computer science Models of computation Entscheidungsproblem Alonzo Church Stephen Cole Kleene Turing machine Lambda calculus Mathematics Computability theory Logic
15	PDF Document Add to Reading List Source URL: pdfhost.focus.nps.gov Language: English - Date: 2008-03-18 03:16:24 Sweet Auburn Herndon Building Auburn Odd Fellows Building and Auditorium Alonzo Herndon Martin Luther King Jr. National Historic Site Atlanta Big Bethel AME Church John Wesley Dobbs Georgia Geography of the United States Culture of Atlanta Georgia

UPDATE