처치(1903)미국의 수학자·논리학자. 워싱턴 출생. 프린스턴대학 졸업 후, 1927∼29년 국비 특별연구원으로 하버드대학과 괴팅겐대학 및 암스테르담대학에서 연구하였고, 29∼67년 프린스턴대학 수학 및 논리학의 조교수·부교수·교수를 역임하였다. 36년부터는 《The Journal of Symbolic Logic》을 편집하였고, 67년부터 로스앤젤레스의 캘리포니아대학 논리학 및 수학 교수를 역임하였다. 계산이 가능한 함수를 귀납적 함수로 정의할 것을 제창하는 등, 수학기초론과 기호논리학에 많은 업적이 있다. 주요저서로 《The Calculi of Lambda-Conversion》(41) 《Introduction to Mathematical Logic》(제1권, 56) 등이 있다.
-
칸토어<Cantor, Moritz Benedikt>(1829~1920)
-
카발리에리<Cavalieri, Francesco Bonaventura>(1598~1647.11.30)
-
카르다노<Cardano, Girolamo>(1501.9.24~1576.9.21)
-
카라테오도리<Carath럒dory, Constantin>(1873.9.13~1950.2.2)
-
최윤식(崔允植/1899~1959)
-
체비쇼프<Chebyshyov, Pafnutil L'vovich>(1821.5.16~1894.12.8)
-
체르멜로<Zermelo, Ernst>(1871.7.27~1953.5.21)
-
처치<Church, Alonzo>(1903)
-
채프먼<Chapman, Sydney>(1888.1.29~1970.6.16)
-
진구소(秦九韶/?~?)
-
주세걸(朱世傑/?~?)
-
조르당<Jordan, Marie Ennemond Camille>(1838.1.5~1922.1.20)
-
제르곤<Gergonne, Joseph Diez>(1771.6.19~1859.5.4)
-
정대위(程大位/1533~1592)
-
자이델<Seidel, Ludwig Philipp von>(1821~1896)
-
자리스키<Zariski, Oscar>(1899)
-
이치(李治/1192~1279)
-
이순지(李純之/1406~1465)
-
이선란(李善蘭/1810~1882)
-
유클리드<Euclid>(?~?)
