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

?

List of Articles
번호 제목 날짜 조회 수
25 뉴턴<Newton, Isaac>(1642.12.25~1727.3.20) 2023.02.25 27
24 뇌터<Noether, Amalie Emmy>(1882.3.23~I935.4.14) 2023.02.25 31
23 노이만<Neumann, Karl Gottfried>(1832.5.7~1925.3.27) 2023.02.25 39
22 노이만<Neumann, Johann Ludwing von>(1903.12.28~1957.2.8) 2023.02.25 75
21 네이피어<Napier, John>(1550~1617.4.4) 2023.02.25 39
20 내시<Nash, John F.>(1920) 2023.02.25 35
19 그린<Green, George>(1793.7.14~1841.3.31) 2023.02.25 54
18 그레고리<Gregory, James>(1638.11~1675.10) 2023.02.25 31
17 그라스만<Grassmann, Hermann Guther>(1809.4.15~1877.9.26) 2023.02.25 30
16 굴베르그<Guldberg, Cato Maximilian>(1836.8.11~1902.1.14) 2023.02.25 73
15 구르사<Goursat, Edouard-Jean-Baptiste>(1858.5.21~1936.11.25) 2023.02.25 64
14 괴델<Gudel, Kurt>(1906.4.28~1978.1.14) 2023.02.25 24
13 골즈브로<Goldsbrough, George Ridsdale>(1881.5.19~1963.5.26) 2023.02.25 30
12 갈릴레이<Galilei, Galileo>(1564.2.15~1642.1.8) 2023.02.25 26
11 갈루아<Galois, Evariste>(1811.10.25~1832.5.31) 2023.02.25 29
10 가생디<Gassendi, Pierre>(1592.1.22~1655.10.24) 2023.02.25 30
9 가르베르스<Garbers, Karl>(1898.5.16) 2023.02.25 33
8 가 우 스 2022.12.21 81
7 Skąd skłania się popularność serwisów datingowych? 2023.10.10 34
6 Randki z kobietami 2023.09.30 26
Board Pagination Prev 1 ... 4 5 6 7 8 9 10 Next
/ 10
CLOSE