2023.02.25 17:02

처치<Church, Alonzo>(1903)

조회 수 26 추천 수 0 댓글 0
?

단축키

Prev이전 문서

Next다음 문서

크게 작게 위로 아래로 댓글로 가기 인쇄
?

단축키

Prev이전 문서

Next다음 문서

크게 작게 위로 아래로 댓글로 가기 인쇄

처치(1903)미국의 수학자·논리학자. 워싱턴 출생. 프린스턴대학 졸업 후, 1927∼29년 국비 특별연구원으로 하버드대학과 괴팅겐대학 및 암스테르담대학에서 연구하였고, 29∼67년 프린스턴대학 수학 및 논리학의 조교수·부교수·교수를 역임하였다. 36년부터는 《The Journal of Symbolic Logic》을 편집하였고, 67년부터 로스앤젤레스의 캘리포니아대학 논리학 및 수학 교수를 역임하였다. 계산이 가능한 함수를 귀납적 함수로 정의할 것을 제창하는 등, 수학기초론과 기호논리학에 많은 업적이 있다. 주요저서로 《The Calculi of Lambda-Conversion》(41) 《Introduction to Mathematical Logic》(제1권, 56) 등이 있다.

?

List of Articles
번호 제목 날짜 조회 수
25 바나흐<Banach, Stefan>(1892.3.30~1945.8.31) 2023.02.25 28
24 레기오몬타누스<Regiomontanus>(1436~1476) 2023.02.25 28
23 라플라스<Laplace, Pierre Simon de>(1749.3.23~1827.3.5) 2023.02.25 28
22 라이프니츠<Leibniz, Gottfried Wilhelm von >(1646.7.1~1716.11.14) 2023.02.25 28
21 르장드르<Legendre, Adrien-Marie>(1752.9.18~1833.1.10) 2023.02.25 27
20 디오판토스<Diophantos>(246?~330?) 2023.02.25 27
19 다르부<Darboux, Jean Gaston>(1842.8.14~1917.2.23) 2023.02.25 27
18 니코마코스<Nikomachos>(50~150?) 2023.02.25 27
17 그라스만<Grassmann, Hermann Guther>(1809.4.15~1877.9.26) 2023.02.25 27
16 0의 발전과 0이 갖는 의미 2023.02.25 27
15 뉴턴<Newton, Isaac>(1642.12.25~1727.3.20) 2023.02.25 27
14 Randki z kobietami 2023.09.30 26
» 처치<Church, Alonzo>(1903) 2023.02.25 26
12 채프먼<Chapman, Sydney>(1888.1.29~1970.6.16) 2023.02.25 26
11 쉬케<Chuquet, Nicolas>(?~?) 2023.02.25 26
10 라그랑주<Lagrange, Joseph Louis>(1736.1.25~1813.4.10) 2023.02.25 26
9 갈릴레이<Galilei, Galileo>(1564.2.15~1642.1.8) 2023.02.25 26
8 조르당<Jordan, Marie Ennemond Camille>(1838.1.5~1922.1.20) 2023.02.25 25
7 샤를<Charles, Michel>(1793.11.15~1880.12.12) 2023.02.25 25
6 멀리스<Mirrlees, James Alexander>(1996.7.5) 2023.02.25 25
Board Pagination Prev 1 ... 4 5 6 7 8 9 10 Next
/ 10
CLOSE