Alonzo Church (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Alonzo Church" in English language version.

refsWebsite

Global rank English rank

8web.archive.org

1^st place

7doi.org

2^nd place

4jstor.org

26^th place

20^th place

3worldcat.org

5^th place

3ucla.edu

782^nd place

585^th place

3princeton.edu

741^st place

577^th place

2semanticscholar.org

11^th place

8^th place

2ams.org

451^st place

277^th place

1lsbu.ac.uk

low place

1stanford.edu

179^th place

183^rd place

1independent.co.uk

36^th place

33^rd place

1openlogicproject.org

low place

1tripod.com

549^th place

491^st place

1mathunion.org

9,965^th place

7,919^th place

1case.edu

4,134^th place

2,609^th place

1buffalo.edu

4,241^st place

2,850^th place

1thebritishacademy.ac.uk

low place

8,932^nd place

1nytimes.com

7^th place

1nmsu.edu

6,873^rd place

4,881^st place

1mcgill.ca

2,527^th place

1,840^th place

1eatcs.org

low place

1acm.org

1,185^th place

840^th place

1psu.edu

207^th place

136^th place

1nodak.edu

5,218^th place

9,258^th place

1st-andrews.ac.uk

1,547^th place

1,410^th place

1mit.edu

415^th place

327^th place

acm.org

siglog.acm.org

"Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019 – ACM Special Interest Group on Logic and Computation". siglog.acm.org.

ams.org

Henkin, Leon (1957). "Review: Introduction to Mathematical Logic by Alonzo Church" (PDF). Bull. Amer. Math. Soc. 63 (5): 320–323. doi:10.1090/s0002-9904-1957-10129-3.
Frink Jr., Orrin (1944). "Review: The Calculi of Lambda-Conversion by Alonzo Church" (PDF). Bull. Amer. Math. Soc. 50 (3): 169–172. doi:10.1090/s0002-9904-1944-08090-7.

buffalo.edu

libweb1.lib.buffalo.edu

"The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990". State University of New York at Buffalo Archives. Archived from the original on 2013-10-17.

case.edu

"Honorary degrees awarded by CWRU". case.edu. 2004-02-06. Archived from the original on 2006-09-10.

doi.org

Bowen, Jonathan P. (2019). "The Impact of Alan Turing: Formal Methods and Beyond". In Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (eds.). Engineering Trustworthy Software Systems. SETSS 2018 (PDF). Lecture Notes in Computer Science. Vol. 11430. Cham: Springer. pp. 202–235. doi:10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. S2CID 121295850.
Church, Alonzo (1924). "Uniqueness of the Lorentz Transformation". The American Mathematical Monthly. 31 (8): 376–382. doi:10.1080/00029890.1924.11986368. JSTOR 2298823.
Church, A. (1936). "An unsolvable problem of elementary number theory". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.
Lúcio, Levi; Rahman, Salman; Cheng, Chih-Hong; Mavin, Alistair (2017). "Just Formal Enough? Automated Analysis of EARS Requirements" (PDF). Lecture Notes in Computer Science. Springer International Publishing. pp. 427–434. doi:10.1007/978-3-319-57288-8_31. ISBN 978-3-319-57287-1. ISSN 0302-9743.
(Anderson 1998) Anderson, C. Anthony (1998). "Alonzo Church's contributions to philosophy and Intensional Logic". The Bulletin of Symbolic Logic. 4 (2): 129–171. CiteSeerX 10.1.1.26.7389. doi:10.2307/421020. JSTOR 421020. S2CID 18305417.
Henkin, Leon (1957). "Review: Introduction to Mathematical Logic by Alonzo Church" (PDF). Bull. Amer. Math. Soc. 63 (5): 320–323. doi:10.1090/s0002-9904-1957-10129-3.
Frink Jr., Orrin (1944). "Review: The Calculi of Lambda-Conversion by Alonzo Church" (PDF). Bull. Amer. Math. Soc. 50 (3): 169–172. doi:10.1090/s0002-9904-1944-08090-7.

eatcs.org

"Alonzo Church Award". eatcs.org.

independent.co.uk

"OBITUARY: Alonzo Church". The Independent. 2011-10-22. Retrieved 2021-05-24.

jstor.org

Bundy, Charles S. (1902). "A History of the Office of Justice of the Peace in the District of Columbia". Records of the Columbia Historical Society, Washington, D.C. 5: 259–293. ISSN 0897-9049. JSTOR 40066805.
Church, Alonzo (1924). "Uniqueness of the Lorentz Transformation". The American Mathematical Monthly. 31 (8): 376–382. doi:10.1080/00029890.1924.11986368. JSTOR 2298823.
Church, A. (1936). "An unsolvable problem of elementary number theory". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.
(Anderson 1998) Anderson, C. Anthony (1998). "Alonzo Church's contributions to philosophy and Intensional Logic". The Bulletin of Symbolic Logic. 4 (2): 129–171. CiteSeerX 10.1.1.26.7389. doi:10.2307/421020. JSTOR 421020. S2CID 18305417.

lsbu.ac.uk

researchopen.lsbu.ac.uk

Bowen, Jonathan P. (2019). "The Impact of Alan Turing: Formal Methods and Beyond". In Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (eds.). Engineering Trustworthy Software Systems. SETSS 2018 (PDF). Lecture Notes in Computer Science. Vol. 11430. Cham: Springer. pp. 202–235. doi:10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. S2CID 121295850.

mathunion.org

Church, Alonzo (1962). "Logic, arithmetic and automata" (PDF). Proceedings of the International Congress of Mathematicians. pp. 23–35. Archived from the original (PDF) on 2013-12-28.

mcgill.ca

msdl.cs.mcgill.ca

Lúcio, Levi; Rahman, Salman; Cheng, Chih-Hong; Mavin, Alistair (2017). "Just Formal Enough? Automated Analysis of EARS Requirements" (PDF). Lecture Notes in Computer Science. Springer International Publishing. pp. 427–434. doi:10.1007/978-3-319-57288-8_31. ISBN 978-3-319-57287-1. ISSN 0302-9743.

mit.edu

mitpress.mit.edu

Burge, Tyler; Enderton, Herbert, eds. (2019-04-23). The Collected Works of Alonzo Church. Cambridge, MA, USA: MIT Press. ISBN 978-0-262-02564-5.

nmsu.edu

cs.nmsu.edu

"Undecidability of First-Order Logic" (PDF).

nodak.edu

genealogy.math.ndsu.nodak.edu

"Mathematics Genealogy Project". Archived from the original on 4 August 2010. Retrieved 12 August 2010.

nytimes.com

Nicholas Wade (September 5, 1995). "Alonzo Church, 92, Theorist Of the Limits of Mathematics". The New York Times. p. B6.

openlogicproject.org

builds.openlogicproject.org

"Alonzo Church" (PDF). Open Logic. 2022-12-19.

princeton.edu

paw.princeton.edu

"An early history of computing at Princeton". Princeton Alumni Weekly. 2012-04-04. Retrieved 2020-04-19.
"Alonzo Church '24 *27". Princeton Alumni Weekly. 2016-01-21. Retrieved 2022-04-14.

blogs.princeton.edu

Armstrong *14, April C. "Alonzo Church". Mudd Manuscript Library Blog. Retrieved 2022-04-14.{{cite web}}: CS1 maint: numeric names: authors list (link)

psu.edu

citeseerx.ist.psu.edu

(Anderson 1998) Anderson, C. Anthony (1998). "Alonzo Church's contributions to philosophy and Intensional Logic". The Bulletin of Symbolic Logic. 4 (2): 129–171. CiteSeerX 10.1.1.26.7389. doi:10.2307/421020. JSTOR 421020. S2CID 18305417.

semanticscholar.org

api.semanticscholar.org

Bowen, Jonathan P. (2019). "The Impact of Alan Turing: Formal Methods and Beyond". In Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (eds.). Engineering Trustworthy Software Systems. SETSS 2018 (PDF). Lecture Notes in Computer Science. Vol. 11430. Cham: Springer. pp. 202–235. doi:10.1007/978-3-030-17601-3_5. ISBN 978-3-030-17600-6. S2CID 121295850.
(Anderson 1998) Anderson, C. Anthony (1998). "Alonzo Church's contributions to philosophy and Intensional Logic". The Bulletin of Symbolic Logic. 4 (2): 129–171. CiteSeerX 10.1.1.26.7389. doi:10.2307/421020. JSTOR 421020. S2CID 18305417.

st-andrews.ac.uk

mathshistory.st-andrews.ac.uk

"Alonzo Church - Biography". Maths History.

stanford.edu

plato.stanford.edu

Deutsch, Harry; Marshall, Oliver (2022), "Alonzo Church", in Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (Spring 2022 ed.), Metaphysics Research Lab, Stanford University, retrieved 2022-04-14

thebritishacademy.ac.uk

although some sources say he was elected to the British Academy in 1980, he was in fact elected in 1966. See: "Professor Alonzo Church FBA". The British Academy. and "Alonzo Church: Life and Work" (PDF). Archived from the original (PDF) on 2012-09-01. Retrieved 2022-04-14.

tripod.com

jackfsanders.tripod.com

The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938. See The Ridgefield School.

ucla.edu

math.ucla.edu

"Alonzo Church: Life and Work" (PDF). Archived from the original (PDF) on 1 September 2012. Retrieved 2022-04-14.
although some sources say he was elected to the British Academy in 1980, he was in fact elected in 1966. See: "Professor Alonzo Church FBA". The British Academy. and "Alonzo Church: Life and Work" (PDF). Archived from the original (PDF) on 2012-09-01. Retrieved 2022-04-14.
"Introduction Alonzo Church: Life and Work" (PDF). p. 4. Archived from the original (PDF) on 1 September 2012. Retrieved 6 June 2012. A deeply religious person, he was a lifelong member of the Presbyterian church.

web.archive.org

"Alonzo Church: Life and Work" (PDF). Archived from the original (PDF) on 1 September 2012. Retrieved 2022-04-14.
Church, Alonzo (1962). "Logic, arithmetic and automata" (PDF). Proceedings of the International Congress of Mathematicians. pp. 23–35. Archived from the original (PDF) on 2013-12-28.
"Honorary degrees awarded by CWRU". case.edu. 2004-02-06. Archived from the original on 2006-09-10.
"Honorary Degrees". Princeton University. 2009-12-30. Archived from the original on 2016-02-07.{{cite web}}: CS1 maint: unfit URL (link)
"The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990". State University of New York at Buffalo Archives. Archived from the original on 2013-10-17.
although some sources say he was elected to the British Academy in 1980, he was in fact elected in 1966. See: "Professor Alonzo Church FBA". The British Academy. and "Alonzo Church: Life and Work" (PDF). Archived from the original (PDF) on 2012-09-01. Retrieved 2022-04-14.
"Introduction Alonzo Church: Life and Work" (PDF). p. 4. Archived from the original (PDF) on 1 September 2012. Retrieved 6 June 2012. A deeply religious person, he was a lifelong member of the Presbyterian church.
"Mathematics Genealogy Project". Archived from the original on 4 August 2010. Retrieved 12 August 2010.

worldcat.org

Cooper, S. B. (2012). The selected works of A.M. Turing : his work and impact. J. van Leeuwen. Waltham, MA: Elsevier. ISBN 978-0-12-387012-4. OCLC 840569810.
Bundy, Charles S. (1902). "A History of the Office of Justice of the Peace in the District of Columbia". Records of the Columbia Historical Society, Washington, D.C. 5: 259–293. ISSN 0897-9049. JSTOR 40066805.
Lúcio, Levi; Rahman, Salman; Cheng, Chih-Hong; Mavin, Alistair (2017). "Just Formal Enough? Automated Analysis of EARS Requirements" (PDF). Lecture Notes in Computer Science. Springer International Publishing. pp. 427–434. doi:10.1007/978-3-319-57288-8_31. ISBN 978-3-319-57287-1. ISSN 0302-9743.