창의교구수학

Home 창의교구수학 자료실

✔ 뷰어로 보기

2023.02.25 17:02

처치<Church, Alonzo>(1903)

관리자

조회 수 21 추천 수 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) 등이 있다.

Prev 체르멜로<Zermelo, Ernst>(1871.7.27~1953.5.21) 체르멜로<Zermelo, Ernst>(1871.7.27~1953.5.21) 2023.02.25by 채프먼<Chapman, Sydney>(1888.1.29~1970.6.16) Next 채프먼<Chapman, Sydney>(1888.1.29~1970.6.16) 2023.02.25by

추천

비추천

Facebook Twitter Google Pinterest

위로 아래로 댓글로 가기 인쇄

✔댓글 쓰기

에디터 선택하기

✔ 텍스트 모드 ✔ 에디터 모드

댓글 쓰기

에디터 사용하기 닫기

List of Articles
번호	제목	날짜	조회 수
145	쿠란트<Courant, Richard>(1888.1.8~1972.1.27)	2023.02.25	25
144	콜모고로프<Kolmogorov, Andrei Nikolaevich>(1903~1987)	2023.02.25	51
143	코시<Cauchy, Baron Augustin Louis>(1789~1857)	2023.02.25	21
142	코발레프스카야<Kovalevskaya, So?a Vasil?vna>(1850~1891)	2023.02.25	25
141	칸토어<Cantor, Georg>(1845~1918)	2023.02.25	28
140	칸토어<Cantor, Moritz Benedikt>(1829~1920)	2023.02.25	37
139	카발리에리<Cavalieri, Francesco Bonaventura>(1598~1647.11.30)	2023.02.25	22
138	카르다노<Cardano, Girolamo>(1501.9.24~1576.9.21)	2023.02.25	37
137	카라테오도리<Carath럒dory, Constantin>(1873.9.13~1950.2.2)	2023.02.25	47
136	최윤식(崔允植/1899~1959)	2023.02.25	21
135	체비쇼프<Chebyshyov, Pafnutil L'vovich>(1821.5.16~1894.12.8)	2023.02.25	30
134	체르멜로<Zermelo, Ernst>(1871.7.27~1953.5.21)	2023.02.25	146
»	처치<Church, Alonzo>(1903)	2023.02.25	21
132	채프먼<Chapman, Sydney>(1888.1.29~1970.6.16)	2023.02.25	21
131	진구소(秦九韶/?~?)	2023.02.25	24
130	주세걸(朱世傑/?~?)	2023.02.25	24
129	조르당<Jordan, Marie Ennemond Camille>(1838.1.5~1922.1.20)	2023.02.25	20
128	제르곤<Gergonne, Joseph Diez>(1771.6.19~1859.5.4)	2023.02.25	20
127	정대위(程大位/1533~1592)	2023.02.25	24
126	자이델<Seidel, Ludwig Philipp von>(1821~1896)	2023.02.25	23

쓰기

패밀리 사이트

Design by DoorWeb