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