Content deleted Content added
Pierre5018 (talk | contribs) →References: | ref=harv |
Rescuing 2 sources and tagging 0 as dead. #IABot (v1.6.1) (Balon Greyjoy) |
||
Line 27:
He married Mary Julia Kuczinski in 1925 and the couple had three children, Alonzo Church, Jr. (1929), Mary Ann (1933) and Mildred (1938).
After receiving his Ph.D. he taught briefly as an instructor at the [[University of Chicago]] and then received a two-year [[United States National Research Council|National Research Fellowship]]. This allowed him to attend [[Harvard University]] in 1927–1928 and then both [[University of Göttingen]] and [[University of Amsterdam]] the following year. He taught philosophy and mathematics at Princeton, 1929–1967, and at the [[University of California, Los Angeles]], 1967–1990. He was a Plenary Speaker at the [[International Congress of Mathematicians|ICM]] in 1962 in Stockholm.<ref>Church, Alonzo. [http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf "Logic, arithmetic and automata."] In Proceedings of the International Congress of Mathematicians, pp. 23–35. 1962.</ref> He received honorary Doctor of Science degrees from [[Case Western Reserve University]] in 1969,<ref>[http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm Honorary degrees awarded by Case Western Reserve University]</ref> [[Princeton University]] in 1985,<ref>[https://www.princeton.edu/main/about/facts/honorary/ Honorary degrees awarded by Princeton University]</ref> and the [[University at Buffalo, The State University of New York]] in 1990 in connection with an international symposium in his honor organized by [[John Corcoran (logician)|John Corcoran]].<ref>[http://purl.org/net/findingaids/view?docId=ead/archives/ubar_1216.xml Finding Aid for The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990]</ref>
A deeply religious person, he was a lifelong member of the [[Presbyterian]] church.<ref>{{cite web|title=Introduction Alonzo Church: Life and Work |url=http://www.math.ucla.edu/~hbe/church.pdf |accessdate=6 June 2012 |page=4 |quote=A deeply religious person, he was a lifelong member of the Presbyterian church. |deadurl=yes |archiveurl=https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf |archivedate=1 September 2012 }}</ref>
Line 74:
* Wade, Nicholas, [https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html Alonzo Church, 92, Theorist of the Limits of Mathematics] (obituary), ''The New York Times'', September 5, 1995, p. B6.
* [[Wilfred Hodges|Hodges, Wilfred]], [https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html Obituary: Alonzo Church], ''The Independent (London)'', September 14, 1995.
* [https://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm Alonzo Church] interviewed by William Aspray on 17 May 1984. ''The Princeton Mathematics Community in the 1930s: An Oral-History Project'', transcript number 5.
* [[Gian-Carlo Rota|Rota, Gian-Carlo]], [http://www.ams.org/samplings/math-history/hmath2-prince.pdf Fine Hall in its golden age: Remembrances of Princeton in the early fifties]. In ''A Century of Mathematics in America, Part II'', edited by Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, pp. 223–226. Also available [https://web.archive.org/web/20150310024937/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm here].
* {{cite journal|title=On Carnap's Analysis of Statements of Assertion and Belief|journal=The Journal of Symbolic Logic|year=1950|volume=10|issue=5|pages=97–99|doi=10.2307/3326684|last1=Church|first1=A.}}
| |||