알론조 교회

Alonzo Church
이 기사는 수학자와 논리학자에 관한 것이다.미국 조지아 대학 총장은 Alonzo Church(대학 총장)를 참조하십시오.
알론조 교회
Alonzo Church.jpg
알론조 교회(1903~1995)
태어난(802-06-14)1903년 6월 14일
워싱턴 DC, 미국
죽은1995년 8월 11일(1995-08-11)(92)
허드슨, 오하이오, 미국
시민권미국
모교프린스턴 대학교
로 알려져 있다람다 미적분
단순형 람다 미적분
교회 부호화
교회의 정리
처치-클린 서수
처치-튜링 논문
Frege-Church 온톨로지
처치-로저 정리
집중논리
과학 경력
필드수학, 논리
기관프린스턴 대학교 (1929년 ~ 1967년)
UCLA (1967 ~95)
논문Zermelo의 가정에 대한 대안 (1927)
박사 어드바이저오스왈드 베블렌
박사과정 학생C. 앤서니 앤더슨 1977
피터 앤드루스 1964
조지 알프레드 바너드 1936
윌리엄 W. 분 1952
마틴 데이비스 1950
윌리엄 이스턴 1964
알프레드 포스터 1930
레온 헨킨 1947
데이비드 캐플런
존 조지 케메니 1949
스티븐 콜 클린 1934
사이먼 B. 코첸 1959
모리스 라베 1951
아이작 말리츠 1976
게리 R. 1985년 3월
1957년 마이클 O. 라빈
니콜라스 레셔 1951
하틀리 로저스 주니어 1952
J. 바클리 로서 1934
데이나 스콧 1958
노먼 샤피로 1955
레이먼드 스멀리언 1959
앨런 튜링[1] 1938

알론조 처치(Alonzo Church, 1903년 6월 14일~1995년 8월 11일)는 미국의 저명한 수학자, 논리학자, 철학자, 교수, 편집자로, 수학 논리와 이론 컴퓨터 [2]과학의 기초에 큰 공헌을 했습니다.그는 람다 미적분학, 교회-튜링 논문으로 가장 잘 알려져 있으며, 이는 "엔체이둥슈프로블럼, 프리지-교회 존재론, 교회-로저 정리"의 불가해성을 증명한다.그는 또한 언어의 철학에 대해 연구했다.교회 1970).그의 제자 앨런 튜링과 함께 처치는 컴퓨터 [3][4]과학의 창시자 중 한 명으로 여겨진다.

인생

Alonzo Church는 1903년 6월 14일 워싱턴 D.C.에서 태어났으며, 그곳에서 그의 아버지 Samuel Robins Church는 치안[5] 판사이자 콜롬비아 특별구의 지방 법원 판사였다.그는 1881년부터 1901년까지 미국 상원 도서관 사서였던 Alonzo Webster Church (1829년-1909년)의 손자이자 수학과 천문학 교수이자 [6]조지아 대학의 6대 총장인 Alonzo Church의 증손자였다.그의 아버지가 시력 감퇴로 이 자리를 잃은 후 가족은 나중에 버지니아로 이사했다.Alonzo Church라고도 불리는 그의 삼촌의 도움으로, 아들은 코네티컷주 [7]Ridgefield에 있는 사립 Ridgefield 소년 학교에 다녔다.1920년에 리지필드를 졸업한 후, 처치는 프린스턴 대학에 다녔고, 그곳에서 그는 뛰어난 학생이었다.그는 로렌츠 변환에 대한 첫 논문을 발표했고 1924년에 수학 학위를 받으며 졸업했습니다.그는 대학원 과정을 위해 프린스턴에 머물렀고, 오스왈드 베블렌 밑에서 3년 만에 수학 박사 학위를 취득했다.

그는 1925년에 메리 줄리아 쿠진스키와 결혼했다.이 부부는 알론조 처치 주니어(1929년), 메리 앤(1933년), 마일드레드(1938년) 등 3명의 자녀를 두었다.

박사학위를 받은 후,[8] 그는 시카고 대학에서 강사로 잠시 가르쳤다.그는 1927년부터 1928년까지 하버드 대학교, 그리고 그 다음해 괴팅겐 대학교와 암스테르담 대학교를 다닐 수 있게 해주는 2년간의 국가 연구 펠로우쉽을 받았습니다.

그는 1929년부터 1967년까지 거의 40년 동안 프린스턴에서 철학과 수학을 가르쳤다.1967년부터 [9]1990년까지 캘리포니아 대학교 로스앤젤레스에서 철학과 수학의 플린트 교수직을 역임했습니다.그는 1962년 [10]스톡홀름에서 열린 ICM의 전체 연사였다.

1969년 [11]케이스웨스턴리저브대, [12]1985년 프린스턴대, 1990년 뉴욕주립대 버팔로대에서 [13]명예박사 학위를 받았다.

그는 [14]1966년 영국 아카데미 특파원(FBA), 1967년 미국 예술 과학 아카데미,[15] 1978년 미국 과학 아카데미에 선출되었습니다.

신앙심이 깊은 처치는 장로교의 평생 [16]신도였다.그는 1995년 8월 11일 [17]92세의 나이로 세상을 떠났다.그는 프린스턴 [citation needed]묘지에 묻혔다.

수학적인 일

처치는 다음과 같은 중요한 업적으로 알려져 있습니다.

람다 미적분은 그의 1936년 논문에서 "엔체이둥슈프로 문제"의 해결 불가능성을 보여주었다.이 결과는 멈춘 문제에 대한 앨런 튜링의 연구보다 앞서서 기계적 수단으로 해결할 수 없는 문제의 존재를 보여주었다.처치의 업적을 듣고, 튜링은 그해 말 프린스턴에 박사학위를 받기 위해 [19]처치에 등록했다.처치와 튜링은 튜링의 정지 문제에 사용된 람다 미적분과 튜링 기계가 동등하다는 것을 보여주었고, 그 후 "연산을 위한 기계적 과정"의 다양한 대안을 보여주었다.이것이 처치-튜링 논문이 되었다.

사양에서 컨트롤러 구현을 자동으로 생성하려는 노력은 그의 [20]아이디어에서 비롯되었습니다.

람다 미적분은 일반적으로 LISP 프로그래밍 언어와 함수 프로그래밍 언어의 설계에 영향을 미쳤다.교회의 암호는 그를 기리기 위해 붙여졌다.

Alonzo Church Award for theory Computer Science(EATCS), 유럽이론컴퓨터과학협회(EATCS)의 논리와 계산을 위한 컴퓨터 기계 특별 이익 그룹(ACM SIGLOG)에 의해 2015년 로직과 계산에 대한 뛰어난 공헌에 대한 Alonzo Church Award가 제정되었습니다.그리고 Kurt Gödel Society(KGS)도 있습니다.이 상은 지난 25년 동안 발표된 분야에 대한 탁월한 공헌에 대한 상으로, 튜링상, 파리 카넬라키스상, 괴델상 [21][22]등 다른 주요 상으로 아직 인정을 받지 못했을 것입니다.

철학적인 일

처치는 로지스틱 방법론을 포함한 방법론의 정교함, 명목주의와 현실주의에 대한 그의 철학적 비판, 의미론에 대한 결론에 이르는 그의 주장, 그리고 프레지안과 러셀의 집중 논리의 상세한 구성은 그를 가장 높은 곳에 두기에 충분합니다.금세기의 중요한 철학자들

--

처치는 또한 잘 알려져 있다.

학생들

처치의 박사과정 학생 중 많은 수가 C를 포함한 뛰어난 경력을 쌓았습니다. 앤서니 앤더슨, 피터 B 앤드류스, 조지 A. Barnard, David Berlinski, William W. Boone, Martin Davis, Alfred L. 포스터, 리언 헨킨, 존 G. 케니, 스티븐 C 클린, 사이먼 B 코첸, 모리스 라베, 아이작 말리츠, 게리 R. Mar, Michael O. Rabin, Nicholas Rescher, Hartley Rogers, J. Barkley Rosser, Dana Scott, Raymond Smullyan, Alan [24]Turing.처치 학생의 보다 완전한 리스트는 수학 계보 프로젝트를 통해 입수할 수 있습니다.

책들

  • Alonzo Church, 수리논리개론(1944) ISBN978-0-691-02906-1)[25]
  • 알론조 교회, 람다-변환의 계산(1941) (ISBN 978-0-691-08394-0)[26]
  • Alonzo Church, 기호논리 목록, 1666-1935 (ISBN 978-0-8218-0084-3)
  • C. Anthony Anderson과 Michael Zelerny, (ed.)논리, 의미 및 계산: 알론조 교회 추모 에세이 (ISBN 978-1-4020-0141-3)
  • 타일러 버지와 허버트 엔더튼, 알론조 교회 소장품(2019년) (ISBN 978-0-262-02564-5)[27]

「 」를 참조해 주세요.

메모들

  1. ^ 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.
  2. ^ 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
  3. ^ "OBITUARY: Alonzo Church". The Independent. 2011-10-22. Retrieved 2021-05-24.
  4. ^ 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.
  5. ^ 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.
  6. ^ Coulter, E. Merton (1928). College Life in the Old South. University of Georgia Press. ISBN 9-780-8203-3199-7.
  7. ^ Ridgefield School for Boys라고도 알려진 Ridgefield School은 1907년부터 1938년까지 존재했던 사립학교였다.리지필드 스쿨을 참조하십시오.
  8. ^ "An early history of computing at Princeton". Princeton Alumni Weekly. 2012-04-04. Retrieved 2020-04-19.
  9. ^ (PDF) https://web.archive.org/web/20120901152639/https://www.math.ucla.edu/~hbe/church.pdf. Archived from the original (PDF) on 1 September 2012. Retrieved 2022-04-14. {{cite web}}:누락 또는 비어 있음 title=(도움말)
  10. ^ 교회, 알론조"논리, 산술, 오토마타"2013-12-28 국제 수학자 회의의 Wayback Machine In Proceedings in the Proceedings in the Wayback Machine in the International Congres of Mathemicators.
  11. ^ "Honorary degrees awarded by Case Western Reserve University". Archived from the original on 2013-10-01. Retrieved 2012-06-01.
  12. ^ 프린스턴 대학으로부터 명예 학위 수여 2016-02-07 Wayback Machine에서 아카이브됨
  13. ^ 1990년 알론조 교회로 이학박사 명예학위 수여에 관한 연구
  14. ^ 비록 몇몇 소식통이 그가 1980년에 영국 아카데미에 선출되었다고 하지만, 사실 그는 1966년에 선출되었습니다.https://www.thebritishacademy.ac.uk/fellows/alonzo-church-FBA/ 및 {{cite web}}: 누락 또는 비어 있음 (도움말)을 참조하십시오.
  15. ^ "Alonzo Church '24 *27". Princeton Alumni Weekly. 2016-01-21. Retrieved 2022-04-14.
  16. ^ "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.
  17. ^ Nicholas Wade (September 5, 1995). "Alonzo Church, 92, Theorist Of the Limits of Mathematics". The New York Times. p. B6.
  18. ^ Church, A. (1936). "An unsolvable problem of elementary number theory". American Journal of Mathematics. 58 (2): 345–363. doi:10.2307/2371045. JSTOR 2371045.
  19. ^ Armstrong *14, April C. "Alonzo Church". Mudd Manuscript Library Blog. Retrieved 2022-04-14.
  20. ^ 격식을 차리는 것만으로 충분합니까?ERS 요건 자동 분석
  21. ^ 알론조 교회상
  22. ^ "Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019 – ACM Special Interest Group on Logic and Computation".
  23. ^ (앤더슨 1998)
  24. ^ "Mathematics Genealogy Project". Archived from the original on 4 August 2010. Retrieved 12 August 2010.
  25. ^ 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.
  26. ^ 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.
  27. ^ 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.

레퍼런스

외부 링크