Alonzo Church - Concepedia

Author

Alonzo Church

Princeton University

Also Known As

A. Church, A. J. Church, ALONZO CHURCH, Adam J. Church, Alonzo Church, Duke, H Vaughan

Publications

10.5K

Citations

H-Index

Concepts

All Affiliations

Princeton University

About

Alonzo Church is an author at Princeton University specializing in automated reasoning, language studies, and semantics.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	15	1.6K
2	Humanities	12	13	534
3	Business	2	2	24
4	Education	2	2	594
5	Arts	1	1	27

Alonzo Church

Publications

10.1K

Citations

H-Index

Page 1

	Year	Citations
A formulation of the simple theory of types Alonzo Church Journal of Symbolic Logic Automated ReasoningType TheoryMathematical FoundationsModel TheoryType System	1940	1.9K
An Unsolvable Problem of Elementary Number Theory Alonzo Church American Journal of Mathematics Computational Number TheoryAnalytic Number TheoryDiscrete MathematicsDiophantine AnalysisElementary Number Theory	1936	1.7K
A note on the Entscheidungsproblem Alonzo Church Journal of Symbolic Logic EngineeringHigher-order LogicHistory Of LogicSymbolic ComputationNon-monotonic Logic	1936	791
A Set of Postulates for the Foundation of Logic Alonzo Church Annals of Mathematics Non-classical LogicAutomated ReasoningPhilosophy Of LogicFirst-order LogicSemantics	1932	562
The Foundations of Mathematics. Alonzo Church, Frank Plumpton Ramsey American Mathematical Monthly Mathematics EducationMathematics CognitionFoundational TheoryEducationMathematical Foundations	1932	520
Bertrand Russell. Mathematical logic as based on the theory of types. A reprint of the first five sections of 111<i>16</i>. Contemporary readings in logical theory, edited by Irving M. Copi and James A. Gould, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1967, pp. 135–153. Alonzo Church Journal of Symbolic Logic Formal LogicAutomated ReasoningBertrand RussellMacmillan CompanyType Theory	1974	484
On the concept of a random sequence Alonzo Church Bulletin of the American Mathematical Society	1940	394
Some properties of conversion Alonzo Church, J. Barkley Rosser Transactions of the American Mathematical Society	1936	281
Intensional isomorphism and identity of belief Alonzo Church Philosophical Studies Cognitive ScienceIntensional IsomorphismBelief MergingBelief FunctionEpistemology	1954	206
Comparison of Russell's resolution of the semantical antinomies with that of Tarski Alonzo Church Journal of Symbolic Logic Formal SemanticsPhilosophy Of LanguageSemantical AntinomiesType TheoryPolymorphism (Computer Science)	1976	196

Page 1