창의교구수학

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	크로네커<Kronecker, Leopold>(1823.12.7~1891.12.29)	2023.02.25	61
144	카라테오도리<Carath럒dory, Constantin>(1873.9.13~1950.2.2)	2023.02.25	59
143	아이젠슈타인<Eisenstein, Ferdinand Gotthold Max>(1823.4.16~1852.10.11)	2023.02.25	58
142	호퍼<hopper>(1906~1992)	2023.02.25	57
141	원주율의 역사는?	2023.02.25	57
140	화이트헤드<Whitehead, Alfred North>(1861.2.15~1947.12.30)	2023.02.25	56
139	레티쿠스<Rheticus>(1514.2.16~1576.12.4)	2023.02.25	56
138	그린<Green, George>(1793.7.14~1841.3.31)	2023.02.25	56
137	오용진(吳龍鎭/1906~1983)	2023.02.25	55
136	푸리에<Fourier, Jean Baptiste Joseph, Baron de>(1768.3.21~1830.5.16)	2023.02.25	54
135	타르스키<Tarski, Alfred>(1902.1.14~1983.10.26)	2023.02.25	54
134	피보나치<Fibonacci, Leonardo>(1170?~1250?)	2023.02.25	52
133	비에트<Vie, Franis>(1540~1603.12.13)	2023.02.25	52
132	폰트랴긴<Pontryagin, Lev Semyonovic>(1908.9.3~1988.5.3)	2023.02.25	50
131	월리스<Wallis, John>(1616.11.23~1703.10.28)	2023.02.25	50
130	피타고라스	2023.02.25	50
129	하세<Hasse, Helmut>(1898.8.25~1979.12.26)	2023.02.25	49
128	플뤼커<Pluker, Julius>(1801.6.16~1868.5.22)	2023.02.25	49
127	오일러<Euler, Leonhard>(1707.4.15~1783.9.18)	2023.02.25	48
126	불<Boole, George>(1815.11.2~1864.12.8)	2023.02.25	48

쓰기

패밀리 사이트

Design by DoorWeb