2023.02.25 17:02

처치<Church, Alonzo>(1903)

조회 수 54 추천 수 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) 등이 있다.

?

  1. 쿠란트<Courant, Richard>(1888.1.8~1972.1.27)

    Date2023.02.25 Views51
    Read More
  2. 콜모고로프<Kolmogorov, Andrei Nikolaevich>(1903~1987)

    Date2023.02.25 Views114
    Read More
  3. 코시<Cauchy, Baron Augustin Louis>(1789~1857)

    Date2023.02.25 Views50
    Read More
  4. 코발레프스카야<Kovalevskaya, So?a Vasil?vna>(1850~1891)

    Date2023.02.25 Views60
    Read More
  5. 칸토어<Cantor, Georg>(1845~1918)

    Date2023.02.25 Views102
    Read More
  6. 칸토어<Cantor, Moritz Benedikt>(1829~1920)

    Date2023.02.25 Views75
    Read More
  7. 카발리에리<Cavalieri, Francesco Bonaventura>(1598~1647.11.30)

    Date2023.02.25 Views69
    Read More
  8. 카르다노<Cardano, Girolamo>(1501.9.24~1576.9.21)

    Date2023.02.25 Views84
    Read More
  9. 카라테오도리<Carath럒dory, Constantin>(1873.9.13~1950.2.2)

    Date2023.02.25 Views89
    Read More
  10. 최윤식(崔允植/1899~1959)

    Date2023.02.25 Views62
    Read More
  11. 체비쇼프<Chebyshyov, Pafnutil L'vovich>(1821.5.16~1894.12.8)

    Date2023.02.25 Views85
    Read More
  12. 체르멜로<Zermelo, Ernst>(1871.7.27~1953.5.21)

    Date2023.02.25 Views192
    Read More
  13. 처치<Church, Alonzo>(1903)

    Date2023.02.25 Views54
    Read More
  14. 채프먼<Chapman, Sydney>(1888.1.29~1970.6.16)

    Date2023.02.25 Views57
    Read More
  15. 진구소(秦九韶/?~?)

    Date2023.02.25 Views58
    Read More
  16. 주세걸(朱世傑/?~?)

    Date2023.02.25 Views68
    Read More
  17. 조르당<Jordan, Marie Ennemond Camille>(1838.1.5~1922.1.20)

    Date2023.02.25 Views54
    Read More
  18. 제르곤<Gergonne, Joseph Diez>(1771.6.19~1859.5.4)

    Date2023.02.25 Views50
    Read More
  19. 정대위(程大位/1533~1592)

    Date2023.02.25 Views74
    Read More
  20. 자이델<Seidel, Ludwig Philipp von>(1821~1896)

    Date2023.02.25 Views121
    Read More
Board Pagination Prev 1 2 3 4 5 6 7 8 9 10 Next
/ 10
CLOSE