마틴 데이비스(수학자)

Martin Davis (mathematician)
Martin Davis라는 이름의 다른 사람에 대해서는 Martin Davis(동음이의 설명)를 참조하십시오.
마틴 데이비스
Martin Davis.jpg
태어난 (1928-03-08) 1928년 3월 8일(94)
뉴욕 시
국적.아메리칸
모교프린스턴 대학교
로 알려져 있다데이비스-푸트남 알고리즘
DPLL 알고리즘
힐베르트의 열 번째 문제를 해결하다
어워드쇼브네상(1975년)
과학 경력
기관뉴욕 대학교
논문재귀불용성 이론 (1950)
박사 어드바이저알론조 교회
박사과정 학생모시 코펠, 도널드 W. 러브랜드

마틴 데이비스(Martin David Davis, 1928년 3월 8일 ~ )는 힐버트의 10번째 문제에 [1][2]대한 연구로 알려진 미국의 수학자이다.

전기

데이비스의 부모는 폴란드 우도에서 미국으로 온 유대인 이민자로 뉴욕에서 다시 만난 후 결혼했다.데이비스는 브롱크스에서 자랐고, 그곳에서 그의 부모는 그에게 완전한 [1][2]교육을 받도록 격려했다.

그는 1950년 프린스턴 대학에서 박사학위를 받았고, 그곳에서 그의 조언자는 알론조 [1][2][3]교회였다.1950년대 초 일리노이 대학교 Urbana-Champaign에서 연구 강사로 있을 때, 그는 Control Systems Lab에 가입하여 [1]ORDVAC의 초기 프로그래머 중 한 명이 되었습니다.그는 뉴욕 대학의 명예 교수입니다.

투고

데이비스는 데이비스의 공동 발명자입니다.풋남 알고리즘과 DPLL 알고리즘.그는 또한 그의 포스트-튜링 기계 모델 그리고 힐베르트의 10번째 문제에 대한 연구로 MRDP 정리로 알려져 있다.

수상과 영예우

1975년 데이비스는 리로이 P상을 수상했다. 스틸상, 쇼브넷상(루벤 허쉬와 함께), 그리고 1974년에는 레스터 R. 포드 상은 힐버트의 10번째 [2][4]문제에 대한 그의 연구와 관련된 설명적인 글쓰기로 인해 수여되었습니다.그는 [2]1982년 미국 예술 과학 아카데미의 회원이 되었고, 2012년에는 미국 수학 [5]협회의 창립 펠로우 중 한 명으로 선정되었습니다.

선택한 출판물

책들
  • Davis, Martin (1958). Computability and Unsolvability. New York: Dover. ISBN 0-486-61471-9. 1982년 도버 전재
  • Davis, Martin (1977). Applied nonstandard analysis. New York: Wiley. ISBN 9780471198970. 2014년 도버 전재
  • Davis, Martin; Weyuker, Elaine J.; Sigal, Ron (1994). Computability, complexity, and languages: fundamentals of theoretical computer science (2nd ed.). Boston: Academic Press, Harcourt, Brace. ISBN 9780122063824.
  • Davis, Martin (2000). The Universal Computer: The Road from Leibniz to Turing. Norton. ISBN 0393047857..로 재인쇄됨
기사들
  • 데이비스, 마틴(1973), "힐버트의 10번째 문제는 풀 수 없다", 미국 수학 월간, 80(3), 233–269. doi:10.1080/00029890.1973.11993265
  • 데이비스, 마틴(1995), "수학 통찰은 알고리즘인가?", 행동 및 뇌과학, 13(4), 659-60.
  • 데이비스, 마틴(2020), '컴퓨터 과학의 70년', 입력: Blass A., Cegielski P., Dershowitz N., Droste M., Finkbeiner B. (eds)논리 및 계산 III 분야, 105–117.컴퓨터 공학 강의 노트, 제12180권.스프링어:스위스 참doi: 10.1007/978-3-030-48006-6_8


「 」를 참조해 주세요.

레퍼런스

  1. ^ a b c d 를 클릭합니다Jackson, Allyn (September 2007), "Interview with Martin Davis" (PDF), Notices of the American Mathematical Society, Providence, RI: American Mathematical Society (published May 2008), vol. 55, no. 5, pp. 560–571, ISSN 0002-9920, OCLC 1480366.
  2. ^ a b c d e O'Connor, John J.; Robertson, Edmund F., "Martin Davis (mathematician)", MacTutor History of Mathematics archive, University of St Andrews
  3. ^ 수학 계보 프로젝트의 마틴 데이비스 씨
  4. ^ Davis, Martin (1973). "Hilbert's tenth problem is unsolvable". Amer. Math. Monthly. 80 (3): 233–269. doi:10.2307/2318447. JSTOR 2318447.
  5. ^ 미국 수학회 펠로우 목록, 2014-03-17.

외부 링크

Wikimedia Commons에는 Martin Davis와 관련된 미디어가 있습니다.


Flag of United StatesScientist icon Racine carrée bleue.svg

미국 수학자에 대한 이 기사는 멍청하다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.