A
Alonzo Church
Researcher at Princeton University
Publications - 218
Citations - 10340
Alonzo Church is an academic researcher from Princeton University. The author has contributed to research in topics: Quine & Mathematical logic. The author has an hindex of 33, co-authored 218 publications receiving 10027 citations. Previous affiliations of Alonzo Church include University of California.
Papers
More filters
Journal ArticleDOI
A Formulation of the Simple Theory of Types
TL;DR: A formulation of the simple theory oftypes which incorporates certain features of the calculus of λ-conversion into the theory of types and is offered as being of interest on this basis.
Journal ArticleDOI
An Unsolvable Problem of Elementary Number Theory
TL;DR: The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world as mentioned in this paper, which is supported by libraries, scholarly societies, publishers, and foundations.
Book
Introduction to Mathematical Logic
TL;DR: Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science.
Journal ArticleDOI
A note on the Entscheidungsproblem
TL;DR: It is shown that the general case of the Entscheidungsproblem is unsolvable in any system of symbolic logic which is adequate to a certain portion of arithmetic and is ω-consistent.