{{위키데이터 속성 추적}}
{{과학자 정보
| 이름 = 존 매카시
| 원어이름 = John McCarthy
| 그림 = John McCarthy Stanford.jpg
| 그림 크기 = 200px
| 그림 설명 = 존 매카시(2006)
| 태어난 날 = {{출생일|1927|9|4}}
| 태어난 곳 = {{국기|미국}} U.S.
| 죽은 날 = {{사망일과 나이|2011|10|24|1927|9|4}}
| 죽은 곳 = {{국기|미국}} [[스탠퍼드]]
| 거주지 = [[미국]]
| 국적 = 미국인
| 분야 = 컴퓨터 과학
| 소속 = [[스탠퍼드 대학교]], [[매사추세츠 공과대학교]], [[다트머스 대학교]], [[프린스턴 대학교]]
| 출신 대학 = 벨몬트 고등학교 (졸업, 1944)<br>[[캘리포니아 공과대학교]] (학사, 1948)<br>[[프린스턴 대학교]](박사, 1951)
| 지도교수 = [[솔로몬 렙셰츠]]
| 지도학생 = [[루제나 바이츠시]](Ruzena Bajcsy) <br /> [[랜들 데이비스]](Randall Davis)<br /> 코델 그린(Cordell Green)<br /> [[라마나단 V. 구하]](Ramanathan V. Guha)<br /> [[바버라 리스코프]](Barbara Liskov)<br /> 로버트 무어(Robert Moore)<br /> 프랜시스 모리스(Francis Morris) <br /> [[라지 레디]](Raj Reddy)<br /> [[도널드 카플란]](Donald Kaplan) <br /> [[이얄 아미르]](Eyal Amir) <br /> [[아라티 파머 마티노]](Aarati Parmar Martino) <br /> [[한스 모라백]](Hans Moravec)
| 주요 업적 = [[인공지능]], [[리스프]], [[한계 지정]](Circumscription), [[상황 계산]](Situation calculus)
| 수상 = [[튜링상]] (1971)<br />[[컴퓨터 파이오니어 상]] (1985)<br />[[IJCAI 우수 연구 상]] (1985)<br />[[교토상]] (1988)<br />[[미국 과학 훈장]] (1990)<br />[[벤자민 프랭클린 메달]] (2003)
}}

'''존 매카시'''(John McCarthy, [[1927년]] 9월 4일 - [[2011년]] 10월 24일) 박사는 미국의 [[컴퓨터과학자]]이자 [[인지과학자]]이다. [[인공지능]]에 대한 연구 업적을 인정받아 [[1971년]] [[컴퓨터 과학|컴퓨터과학]]계의 노벨상으로 일컫는 [[튜링상]]을 수상했다. [[리스프]] 프로그래밍 언어를 설계 및 구현하였으며, 1956년에 [[다트머스 학회]]에서 처음으로 [[인공지능]](Artificial Intelligence)이라는 용어를 창안했다.

== 학력 ==
* 1940년~1944년: 벨몬트 고등학교 (졸업)
* 1944년~1948년: [[캘리포니아 공과대학교]] (학사)
* 1948년~1951년: [[프린스턴 대학교]] (박사)

== 수상 및 명예 ==
* [[튜링상]] (1971년)
* [[교토상]] (1988년)
* [[미국 과학 훈장]] (1990년)<ref>{{웹 인용|url=http://www.nsf.gov/od/nms/recip_details.cfm?recip_id=233|accessdate=2012-09-27|제목=President's National Medal of Science: Recipient Details 1990|date= 2006년 2월 14일|publisher=National Science Foundation}}</ref>
* [[컴퓨터 역사 박물관]]의 회원으로 입회 (1999년)
* [[벤자민 프랭클린 메달]] (2003년)
* [[IEEE 인텔리전트 시스템]]의 AI의 명예의 전당 (2011년) - AI와 지능 체계 분야에 중대한 기여를 함<ref>{{저널 인용
| doi = 10.1109/MIS.2011.64
| title = AI's Hall of Fame
| url = http://www.computer.org/cms/Computer.org/ComputingNow/homepage/2011/0811/rW_IS_AIsHallofFame.pdf
| journal = [[IEEE Intelligent Systems]]
| publisher = [[IEEE Computer Society]]
| volume = 26
| issue = 4
| pages = 5–15
| year = 2011
| pmid = 
| pmc = 
| 확인날짜 = 2015-05-02
| 보존url = https://web.archive.org/web/20111216235804/http://www.computer.org/cms/Computer.org/ComputingNow/homepage/2011/0811/rW_IS_AIsHallofFame.pdf
| 보존날짜 = 2011-12-16
| url-status = dead
}}</ref><ref>{{뉴스 인용|url=http://www.digitaljournal.com/pr/399442|제목=IEEE Computer Society Magazine Honors Artificial Intelligence Leaders|date={{시작 날짜|2011|8|24}}|newspaper=[[DigitalJournal.com]]|accessdate={{시작 날짜|2011|9|18}}}} Press release source: ''[[PRWeb]]'' ([[Vocus]]).</ref>
* 2012 [[스탠퍼드 대학교|스탠퍼드]] 엔지니어링 히어로즈의 한 명으로 이름을 올림

== 주요 저서 ==
* McCarthy, J. 1959. [http://www-formal.stanford.edu/jmc/mcc59.html Programs with Common Sense]. In ''Proceedings of the Teddington Conference on the Mechanization of Thought Processes'', 756-91. London: Her Majfice.
* McCarthy, J. 1960. [https://web.archive.org/web/20131004215327/http://www-formal.stanford.edu/jmc/recursive.html Recursive functions of symbolic expressions and their computation by machine]. ''Communications of the ACM'' 3(4):184-195.
* McCarthy, J. 1963a A basis for a mathematical theory of computation. In ''Computer Programming and formal systems''. North-Holland.
* McCarthy, J. 1963b. Situations, actions, and causal laws. Technical report, Stanford University.
* McCarthy, J., and Hayes, P. J. 1969. [http://www-formal.stanford.edu/jmc/mcchay69.pdf Some philosophical problems from the standpoint of artificial intelligence]. In Meltzer, B., and Michie, D., eds., ''Machine Intelligence'' 4. Edinburgh: Edinburgh University Press. 463-502.
* McCarthy, J. 1977. Epistemological problems of artificial intelligence. In ''IJCAI'', 1038-1044.
* McCarthy, J. 1980. Circumscription: A form of non-monotonic reasoning. ''Artificial Intelligence'' 13(1-2):23-79.
* McCarthy, J. 1986. Applications of circumscription to common sense reasoning. ''Artificial Intelligence'' 28(1):89-116.
* McCarthy, J. 1990. Generality in artificial intelligence. In Lifschitz, V., ed., ''Formalizing Common Sense''. Ablex. 226-236.
* McCarthy, J. 1993. Notes on formalizing context. In ''IJCAI'', 555-562.
* McCarthy, J., and Buvac, S. 1997. Formalizing context: Expanded notes. In Aliseda, A.; van Glabbeek, R.; and Westerstahl, D., eds., ''Computing Natural Language''. Stanford University. Also available as Stanford Technical Note STAN-CS-TN-94-13.
* McCarthy, J. 1998. Elaboration tolerance. In ''Working Papers of the Fourth International Symposium on Logical formalizations of Commonsense Reasoning'', Commonsense-1998.
* Costello, T., and McCarthy, J. 1999. Useful counterfactuals. ''[[Electronic Transactions on Artificial Intelligence]]'' 3(A):51-76
* McCarthy, J. 2002. Actions and other events in situation calculus. In Fensel, D.; Giunchiglia, F.; McGuinness, D.; and Williams, M., eds., ''Proceedings of KR-2002'', 615-628.

== 같이 보기 ==
* [[크리스토퍼 스트래치]]
* [[사고범위 문제]]
== 참조 ==
<references />

== 외부 링크 ==
{{위키공용분류}}
* {{수학계보|id=22145|title=John McCarthy}}
* {{Find a Grave|79297117}}

{{튜링상 수상자}}
{{전거 통제}}
{{기본정렬:매카시, 존}}

[[분류:1927년 출생]]
[[분류:2011년 사망]]
[[분류:튜링상 수상자]]
[[분류:미국의 컴퓨터 과학자]]
[[분류:미국 과학 아카데미의 회원]]
[[분류:프로그래밍 언어 설계자]]
[[분류:프린스턴 대학교 동문]]
[[분류:캘리포니아 공과대학교 동문]]
[[분류:스탠퍼드 대학교 교수]]
[[분류:매사추세츠 공과대학교 교수]]
[[분류:다트머스 대학교]]
[[분류:프린스턴 대학교 교수]]
[[분류:다트머스 대학교 교수]]
[[분류:리투아니아 유대계 미국인]]
[[분류:아일랜드계 미국인]]
[[분류:보스턴 출신]]
[[분류:리투아니아계 미국인]]
[[분류:미국의 무신론자]]
[[분류:ACM 석학회원]]