창의교구수학

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
번호	제목	날짜	조회 수
65	미분귀신	2023.02.25	31
64	뫼비우스<Mõbius, August Ferdinand>(1790.11.17~1868.9.26)	2023.02.25	31
63	몽주<Monge, Gaspard/Peluse, Comte de>(1746.5.10~1818.7.28)	2023.02.25	30
62	메넬라우스<Menelaus>(?~?)	2023.02.25	35
61	멀리스<Mirrlees, James Alexander>(1996.7.5)	2023.02.25	25
60	멀리스<Mirrlees, James Alexander>(1996.7.5)	2023.02.25	25
59	매클로린<Maclaurin, Colin>(1698.2~1746.6.14)	2023.02.25	34
58	린델뢰프<Lindelf, Ernst Leonard>(1870~1946)	2023.02.25	42
57	리치쿠르바스트로<Ricci-Curbastro, Gregorio>(1853.1.12~1925.8.6)	2023.02.25	48
56	리우빌<Liouville, Joseph>(1809.3.24~1882.9.8)	2023.02.25	34
55	리에스<Riesz Frigyes>(1880.1.22~1956.2.28)	2023.02.25	29
54	리만<Riemann, Georg Friedrich Bernhard>(1826.6.17~1866.7.20)	2023.02.25	37
53	리<Lie, Marius Sophus>(1842.12.12~1899.2.13)	2023.02.25	63
52	르장드르<Legendre, Adrien-Marie>(1752.9.18~1833.1.10)	2023.02.25	27
51	르베그<Lebesgue, Henri-Leon>(1875.6.28~1941.7.26)	2023.02.25	32
50	르루아<Le Roy, Edouard>(1870.6.8~1954.11.11)	2023.02.25	47
49	르네 데카르트	2023.02.25	83
48	로바체프스키<Lobachevsky, Nikolay Ivanovich>(1792.12.1~1856.2.24)	2023.02.25	79
47	레티쿠스<Rheticus>(1514.2.16~1576.12.4)	2023.02.25	56
46	레코드<Recorde, Robert>(1510?~1558)	2023.02.25	120

쓰기

패밀리 사이트

Design by DoorWeb