창의교구수학

Home 창의교구수학 자료실

✔ 뷰어로 보기

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) 등이 있다.

추천

비추천

Facebook Twitter Google Pinterest

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

✔댓글 쓰기

에디터 선택하기

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

댓글 쓰기

에디터 사용하기 닫기

List of Articles
번호	제목	날짜	조회 수
145	란다우<Landau, Edmund>(1877.2.14~1938.2.19)	2023.02.25	30
144	러셀<Russell, Bertrand Arthur William>(1872.5.18~1970.2.2)	2023.02.25	30
143	몽주<Monge, Gaspard/Peluse, Comte de>(1746.5.10~1818.7.28)	2023.02.25	30
142	볼테라<Volterra, Vito>(1860.5.3~1940.10.11)	2023.02.25	30
141	비노그라도프<Vinogradov, Ivan Matveyevich>(1891.9.14~1983.3.20)	2023.02.25	30
140	세베리<Severi, Francesco>(1879.4.13~1961.12.8)	2023.02.25	30
139	스테빈<Stevin, Simon>(1548~1620)	2023.02.25	30
138	위너<Wiener, Norbert>(1894.11.26~1964.3.18)	2023.02.25	30
137	이선란(李善蘭/1810~1882)	2023.02.25	30
136	진구소(秦九韶/?~?)	2023.02.25	30
135	테일러<Taylor, Brook>(1685~1731)	2023.02.25	30
134	Najdoskonalszy dziennik przy niecodziennymi nudeskami	2023.09.20	30
133	미분귀신	2023.02.25	31
132	그레고리<Gregory, James>(1638.11~1675.10)	2023.02.25	31
131	뇌터<Noether, Amalie Emmy>(1882.3.23~I935.4.14)	2023.02.25	31
130	뫼비우스<Mõbius, August Ferdinand>(1790.11.17~1868.9.26)	2023.02.25	31
129	베르누이<Bernoulli, Johann>(1667.8.6~1748.1.1)	2023.02.25	31
128	스토크스<Stokes, George Gabriel>(1819.8.13~1903.2.1)	2023.02.25	31
127	르베그<Lebesgue, Henri-Leon>(1875.6.28~1941.7.26)	2023.02.25	32
126	자리스키<Zariski, Oscar>(1899)	2023.02.25	32

쓰기

패밀리 사이트

Design by DoorWeb