창의교구수학

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

추천

비추천

Facebook Twitter Google Pinterest

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

✔댓글 쓰기

에디터 선택하기

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

댓글 쓰기

에디터 사용하기 닫기

List of Articles
번호	제목	날짜	조회 수
145	오용진(吳龍鎭/1906~1983)	2023.02.25	47
144	비에트<Vie, Franis>(1540~1603.12.13)	2023.02.25	47
143	타르스키<Tarski, Alfred>(1902.1.14~1983.10.26)	2023.02.25	46
142	푸리에<Fourier, Jean Baptiste Joseph, Baron de>(1768.3.21~1830.5.16)	2023.02.25	45
141	플뤼커<Pluker, Julius>(1801.6.16~1868.5.22)	2023.02.25	43
140	리치쿠르바스트로<Ricci-Curbastro, Gregorio>(1853.1.12~1925.8.6)	2023.02.25	43
139	아이젠슈타인<Eisenstein, Ferdinand Gotthold Max>(1823.4.16~1852.10.11)	2023.02.25	42
138	호퍼<hopper>(1906~1992)	2023.02.25	41
137	폰트랴긴<Pontryagin, Lev Semyonovic>(1908.9.3~1988.5.3)	2023.02.25	41
136	화이트헤드<Whitehead, Alfred North>(1861.2.15~1947.12.30)	2023.02.25	40
135	아폴로니오스<Apollonios of Perga>(BC 262?~BC 200?)	2023.02.25	40
134	굴베르그<Guldberg, Cato Maximilian>(1836.8.11~1902.1.14)	2023.02.25	40
133	민코프스키<Minkowski, Hermann>(1864.6.22~1909.1.12)	2023.02.25	39
132	드모르간<de Morgan, Augustus >(1806.6.27~1871.3.18)	2023.02.25	39
131	피보나치<Fibonacci, Leonardo>(1170?~1250?)	2023.02.25	38
130	클라인<Klein, Christian Felix>(1849.11.25~1925.6.22)	2023.02.25	37
129	칸토어<Cantor, Moritz Benedikt>(1829~1920)	2023.02.25	37
128	카르다노<Cardano, Girolamo>(1501.9.24~1576.9.21)	2023.02.25	37
127	피타고라스	2023.02.25	37
126	프레게<Frege, Friedrich Ludwig Gottlob>(1848.11.8~1925.7.26)	2023.02.25	36

쓰기

패밀리 사이트

Design by DoorWeb