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