John McCarthy (컴퓨터 과학자)

John McCarthy (computer scientist)
존 매카시
John McCarthy Stanford.jpg
2006년 컨퍼런스에서 매카시
태어난(802-09-04)1927년 9월 4일
보스턴, 매사추세츠, 미국
죽은2011년 10월 24일(2011-10-24)(84)
스탠포드, 캘리포니아, 미국
모교프린스턴 대학교 캘리포니아 공과대학
로 알려져 있다인공지능, 리스프, 원주법, 상황미적분
어워드튜링상(1971년)
컴퓨터 개척자상(1985년)
IJCAI 연구 우수상(1985년)
교토상(1988년)
국립과학훈장(1990)
벤자민 프랭클린 메달(2003)
과학 경력
필드컴퓨터 공학
기관스탠포드 대학교, 매사추세츠 공과대학, 다트머스 대학교, 프린스턴 대학교
박사 어드바이저도날드 C.스펜서
박사과정 학생루제나 바지시
라마나단 5세구하
바바라 리스코프
라지 레디

존 매카시(John McCarthy, 1927년 9월 4일 ~ 2011년 10월 24일)는 미국의 컴퓨터 과학자이자 인지 과학자이다.매카시는 인공지능 [1]분야의 창시자 중 한 명이었다.그는 인공지능(AI)이라는 용어를 만들고 리스프 프로그래밍 언어군을 개발했으며 ALGOL 프로그래밍 언어 설계에 큰 영향을 미쳤으며 시분할을 대중화하고 가비지 컬렉션을 발명했다.

매카시는 그의 경력의 대부분을 스탠포드 대학에서 보냈다.[2]AI에 [3]대한 공헌으로 1971년 튜링상, 미국 국립과학훈장, 교토상 등 많은 영예와 상을 받았다.

초기 생활과 교육

존 맥카시는 1927년 9월 4일 매사추세츠 주 보스턴에서 아일랜드 이민자 아버지와 리투아니아 유대인 이민자 어머니 [4]존 패트릭과 아이다 맥카시 사이에서 태어났다.맥카시의 아버지가 캘리포니아 로스엔젤레스에 있는 의류 노동자들의 조직원으로 일하기 전까지, 그 가족은 대공황 동안 자주 이주해야만 했다.그의 아버지는 아일랜드 [5]케리 카운티의 작은 어촌인 크로메인 출신이다.그의 어머니는 [6]1957년에 돌아가셨다.

1930년대 두 부모는 모두 공산당원이었고 학습과 비판적 사고를 장려했다.고등학교에 다니기 전, 그는 10만 [7]Whys라는 러시아 인기 어린이 과학 책을 번역하면서 과학에 관심을 갖게 되었다.존은 러시아어에 능통했고 소련을 여러 차례 방문하면서 러시아 과학자들과 친해졌지만 소련을 방문한 뒤 환멸을 느껴 보수적인 [8]공화당이 됐다.

맥카시는 벨몬트 고등학교를 2년 [9]일찍 졸업했다.매카시는 1944년에 칼텍에 입학했다.

McCarthy는 수학에 대한 초기 적성을 보였고, 10대 때 그는 근처 캘리포니아 공과대학에서 사용되는 교과서를 공부하면서 대학 수학을 독학했다.그 결과, 그는 [10]Caltech에서 처음 2년간의 수학을 건너뛸 수 있었다.매카시는 체육 [11]수업을 듣지 않아 칼텍에서 정학을 당했다.그 후 그는 미군에서 복무했고 1948년 [12]수학 학사 학위를 받으며 재입학했다.

그가 존 폰 노이만의 강연에 참석한 것은 칼텍에서였다.

매카시는 처음에 프린스턴 대학으로 옮기기 전에 칼텍에서 대학원 과정을 마쳤다.그는 1951년 도널드 C의 지도 아래 투영 연산자와 편미분 방정식이라는 박사학위 논문을 완성한 뒤 프린스턴에서 수학 박사학위를 받았다. 스펜서.[13]

학력

프린스턴과 스탠포드 대학에서 단기 임용된 후, 매카시는 1955년 다트머스 대학의 조교수가 되었다.

1년 후, 매카시는 1956년 가을 연구원으로 MIT로 옮겼다.MIT에서의 그의 학년이 끝날 무렵, 그는 이미 [14]그의 학생들에게 "존 삼촌"이라고 애칭되었다.

1962년, 맥카시는 스탠포드 대학의 정교수가 되었고, 2000년 은퇴할 때까지 그곳에서 머물렀다.

매카시는 람다 미적분과 같은 수학을 옹호했고 인공지능 상식을 얻기 위한 논리를 발명했다.

컴퓨터 공학에 대한 공헌

2008년 매카시

존 맥카시는 앨런 튜링, 마빈 민스키, 앨런 뉴웰, 허버트 A와 함께 인공지능의 "창시 아버지" 중 한 명이다. 사이먼, 매카시, 민스키, 나다니엘 로체스터, 클로드 E. 섀넌은 1956년 여름 유명한 다트머스 컨퍼런스에서 작성한 제안서에서 "인공지능"이라는 용어를 만들었다.이 컨퍼런스는 AI를 [9][15]분야로 시작했다.(민스키는 1959년 MIT에서 맥카시에 입사했다.)

1958년, 그는 조언자를 제안했고, 이것은 이후 질의응답과 논리 프로그래밍에 대한 작업에 영감을 주었습니다.

1950년대 후반, McCarthy는 원시 재귀 함수가 Lisp 프로그래밍 [16]언어를 생산하면서 기호 표현으로 계산하도록 확장될 수 있다는 것을 발견했습니다.그 함수 프로그래밍의 중요한 논문은 또한 Scheme와 같은 이후의 방언들이 그것의 의미론을 기반으로 한 람다 미적분학의 구문에서 차용한 람다 표기법을 도입했다.리스프는 1960년 출판된 이후 AI 어플리케이션에서 선택된 프로그래밍 언어가 되었습니다.

1958년, McCarthy는 ALGOL 60을 설계한 위원회의 일부가 된 ACM 언어 특별 위원회에서 근무했습니다.8월 1959년 그는 ALGOL.[17]의 그 후 그는 프로그래밍과 인포매틱스에서 국제 표준을 개발해 내는 참여하게 되면서 일부 반복과 조건부 표현의 국제 정보 처리 연맹 IFIP 워킹 그룹 2.1연산 언어와 Calculi,[18]wh에(IFIP)의 일원으로 사용을 제안했다.ich spe는 ALGOL 60 및 ALGOL [19]68을 설정, 유지보수 및 지원합니다.

1959년경,[20][21] 그는 리스프의 문제를 해결하기 위해 일종의 자동 메모리 관리인 소위 "쓰레기 수집" 방법을 발명했습니다.

그는 MIT에서 일할 때 Project MAC의 설립 동기를 부여하고 스탠포드 대학에서는 수년간 Project MAC의 우호적인 라이벌인 Stanford AI Laboratory를 설립하는 데 기여했습니다.

McCarthy는 가장 초기의 3개의 시분할 시스템(Compatible Time-Sharing System, BBN Time-Sharing System, Dartmouth Time Sharing System)을 만드는 데 중요한 역할을 했습니다.그의 동료 레스터 어니스트는 로스앤젤레스 타임즈와의 인터뷰에서 다음과 같이 말했다.

존이 시분할 시스템의 개발을 시작했다는 사실을 제외하면 인터넷은 그렇게 빨리 일어나지 않았을 것이다.우리는 시분할을 위한 새로운 이름을 계속 만들고 있다.서버라고 불리게 되었습니다.클라우드 컴퓨팅이라고 부릅니다.그것은 여전히 시간 공유일 뿐이다.존이 시작했어요.[9]

--

1961년, 그는 MIT 100주년 기념 연설에서 유틸리티 컴퓨팅의 아이디어를 최초로 공개적으로 제안했습니다.컴퓨터 시분할 테크놀로지는 미래의 컴퓨팅 능력 및 특정 애플리케이션까지도 유틸리티 비즈니스 [22][23]모델(물이나 전기 등)을 통해 판매할 수 있는 결과를 가져올 수 있습니다.컴퓨터나 정보유틸리티에 대한 이러한 생각은 1960년대 후반에는 매우 인기가 있었지만 1990년대 중반에는 퇴색했다.그러나 2000년 이후 이 아이디어는 새로운 형태로 다시 등장했습니다(애플리케이션 서비스 프로바이더, 그리드 컴퓨팅 및 클라우드 컴퓨팅 참조).

1966년, 스탠포드의 맥카시와 그의 팀은 소련에서 체스 게임을 하는 컴퓨터 프로그램을 만들었다; 맥카시의 팀은 두 게임을 지고 두 게임을 비겼다.

1978년부터 1986년까지 맥카시는 비단조적 추론의 제한 방법을 개발했다.

1982년, 그는 우주로 뻗어나가는 일종의 탑인 우주 분수의 아이디어를 고안해 냈고, 펠릿을 지구로 돌려보내는 컨베이어 벨트의 종류를 따라 지구에서 추진된 펠릿의 흐름의 외부 힘에 의해 수직을 유지한 것으로 보인다.적재물은 컨베이어 벨트를 타고 [24]올라갑니다.

기타 액티비티

McCarthy는 종종 Usenet 포럼에서 세계 문제에 대해 언급했다.그의 아이디어 중 일부는 "인간의 물질적 진보가 바람직하고 지속가능하다는 것을 보여주기 위한" 그의 지속가능성 웹 [25]페이지에서 찾을 수 있습니다.매카시는 진지한 독서자, 낙천주의자, 그리고 언론의 자유에 대한 확고한 지지자였다.그의 최고의 유즈넷 상호작용은 rec.arts.books 아카이브에서 확인할 수 있습니다.그리고 맥카시는 팔로알토에서 열린 랍 페스트라고 불리는 독자들의 SF 베이 에리어 디너에 적극적으로 참석했다.그는 스탠포드에서 유럽 민족적 농담과 관련된 언론의 자유를 옹호했다.

매카시는 수학과 수학 교육의 중요성을 깨달았다.수년 동안 그의 유스넷 .sig는 "산수를 거부하면 말도 안 되는 소리를 하게 된다"였고, 그의 번호판 표지에도 비슷하게 "산수를 하지 않으면 말도 [26][27]안 되는 소리를 하게 된다"라고 쓰여 있었다.그는 박사과정 졸업생 [28]30명에게 조언했다.

그의 2001년 단편 소설 "로봇과 아기"[29]는 로봇이 감정을 가져야 하는가(또는 가진 척해야 하는가)에 대한 질문을 익살스럽게 탐구했고, 이후 수십 [30]년 동안 점점 더 두드러져 온 인터넷 문화와 소셜 네트워킹의 예상 측면을 다루었다.

일상 생활

매카시는 세 번 결혼했다.그의 두 번째 부인은 프로그래머이자 산악인인 베라 왓슨으로 1978년 여성 원정대의 일환으로 안나푸르나 센트럴을 등반하려다 사망했다.그는 후에 스탠포드 대학 컴퓨터 과학자인 캐롤린 탤콧과 결혼했고 후에 SRI [31][32]인터내셔널과 결혼했다.

매카시는 스탠포드 메모리얼 [33][34][35]교회에서 열린 인공지능에 대한 연설에서 자신을 무신론자라고 선언했다.공산주의자로 성장한 그는 소련의 [36]침공 이후인 1968년 체코슬로바키아를 방문한 후 보수적인 공화당이 되었다.맥카시는 2011년 [37]10월 24일 스탠포드 자택에서 사망했다.

인공지능의 철학

1979년 맥카시는 "기계에게 정신적 자질을 부여한다"는 제목의 기사를[38] 썼다.그는 이 글에서 "온도조절기처럼 단순한 기계는 신념을 가지고 있다고 말할 수 있고, 신념을 갖는 것은 문제를 해결할 수 있는 성능을 가진 대부분의 기계의 특징인 것 같다"고 썼다.1980년, 철학자 존 설은 그의 유명한 중국식 [39][15]방 논쟁으로 대응했고, 맥카시의 의견에 반대하며 기계가 단지 의식이 없다는 이유만으로 믿음을 가질 수 없다는 입장을 취했다.Searle은 기계가 "이해" 또는 "의도"가 부족하다고 주장한다.어느 한쪽을 지지하는 방대한 양의 문헌이 쓰여져 왔다.

수상과 영예우

주요 출판물

  • 매카시, J. 1959Wayback Machine의 "상식을 갖춘 프로그램"(2013년 10월 4일 아카이브)사고 과정의 기계화에 관한 테딩턴 회의의 진행, 756–91.런던:여왕 폐하의 문방구 사무실입니다.
  • 매카시, J. 1960Wayback Machine(2013년 10월 4일 보관)의 "기호 표현과 기계에 의한 계산의 반복 함수"ACM 3(4)의 통신:184-195.
  • McCarthy, J. 1963a "계산 수학 이론의 기초"컴퓨터 프로그래밍 및 정식 시스템에서.노스홀랜드.
  • 매카시, J. 1963b상황, 행동 및 인과관계 법칙.스탠포드 대학의 기술 보고서입니다.
  • 1969년 J. 매카시와 P. J. 헤이스.Wayback Machine의 인공지능 관점에서 몇 가지 철학적 문제(2013년 8월 25일 보관).B. 멜처와 D. 미치, ED.에서 머신인텔리전스 4.에든버러: 에든버러 대학 출판부.463–502.
  • 매카시, J. 1977"인공지능의 생태학적 문제"IJCAI, 1038~1044년.
  • McCarthy, J (1980). "Circumscription: A form of non-monotonic reasoning". Artificial Intelligence. 13 (1–2): 23–79. doi:10.1016/0004-3702(80)90011-9.
  • McCarthy, J (1986). "Applications of circumscription to common sense reasoning". Artificial Intelligence. 28 (1): 89–116. CiteSeerX 10.1.1.29.5268. doi:10.1016/0004-3702(86)90032-9.
  • 매카시, J. 1990"인공지능의 일반성"Lifschitz, V., ed.에서 상식을 공식화.에이블렉스 226~236
  • 매카시, J. 1993"문맥 공식화 주의사항"IJCAI에서는 555-562.
  • J. McCarthy와 1997년 S. Buvac.「컨텍스트의 형식화:확장 노트"를 참조하십시오.A. A., van Glabbeek, R. 및 Westerstahl, D. eds, Computing Natural Language.스탠퍼드 대학교스탠포드 테크니컬 노트 STAN-CS-TN-94-13으로도 이용 가능합니다.
  • 매카시, J. 1998'엘러베이션 내성'제4회 상식추론의 논리적 형식화에 관한 국제심포지엄의 실무논문, Commonsense-1998.
  • 코스텔로, T.와 매카시, J. 1999."유용한 역효과주의자"인공지능 전자거래 3(A) : 51-76
  • 매카시, J. 2002"상황 미적분에서의 행동과 다른 사건들"펜셀, D.; 준치글리아, F.; 맥기네스, D.; 윌리엄스, M., eds, KR-2002, 615-628.

「 」를 참조해 주세요.

레퍼런스

  1. ^ Ghostarchive 및 Wayback Machine에서 아카이브:
  2. ^ McCarthy, John. "Professor John McCarthy". jmc.stanford.edu.
  3. ^ "John McCarthy – A.M. Turing Award Laureate". amturing.acm.org.
  4. ^ Shasha, Dennis; Lazere, Cathy (1998). Out of Their Minds: The Lives and Discoveries of 15 Great Computer Scientists. Springer. p. 23. ISBN 9780387982694. Retrieved February 27, 2016.
  5. ^ "Leading academic who coined the term 'artificial intelligence'". The Irish Times. Retrieved January 28, 2016.
  6. ^ "History of Computers and Computing, Birth of the modern computer, Software history, LISP of John McCarthy". history-computer.com. Retrieved January 28, 2016.
  7. ^ Nilsson, Nils J. "A Biographical Memoir" (PDF). National Academy of Sciences. Retrieved February 20, 2022.
  8. ^ Earnest, Les. "Soviet takeover of Czechoslovakia in 1968 witnessed by John McCarthy; Letter to Les Earnest dated Nov. 1, 1968" (PDF). Brags and Blunders of Lester Donald Earnest. Retrieved February 20, 2022.
  9. ^ a b c Woo, Elaine (October 28, 2011). "John McCarthy dies at 84; the father of artificial intelligence". Los Angeles Times.
  10. ^ Hayes, Patrick J.; Morgenstern, Leora (2007). "On John McCarthy's 80th Birthday, in Honor of his Contributions". AI Magazine. Association for the Advancement of Artificial Intelligence. 28 (4): 93–102. Retrieved November 24, 2010.
  11. ^ Williams, Sam (March 5, 2002). Arguing A.I.: The Battle for Twenty-first-Century Science. AtRandom. ISBN 978-0812991802.
  12. ^ Lester Earnest. "A. M. Turing award: John McCarthy, United States – 1971". ACM. Retrieved September 5, 2012.
  13. ^ McCarthy, John (1951). Projection operators and partial differential equations.
  14. ^ Steven Levy, Hackers, Heroes of the Computer Revolution, Gutenberg.org, p. 34
  15. ^ a b Roberts, Jacob (2016). "Thinking Machines: The Search for Artificial Intelligence". Distillations. 2 (2): 14–23. Archived from the original on August 19, 2018. Retrieved March 20, 2018.
  16. ^ McCarthy, John (1960). "Recursive Functions of Symbolic Expressions and Their Computation by Machine". Communications of the ACM. 3 (4): 184–195. CiteSeerX 10.1.1.422.5235. doi:10.1145/367177.367199. S2CID 1489409.
  17. ^ McCarthy, John (August 1959). "Letter to the editor". Communications of the ACM. 2 (8): 2–3. doi:10.1145/368405.1773349. S2CID 7196706.
  18. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (August 17, 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved October 4, 2020.
  19. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (March 2, 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved October 4, 2020.
  20. ^ McCarthy, John (April 1960). "Recursive functions of symbolic expressions and their computation by machine". Communications of the ACM. 3 (4): 184–195. doi:10.1145/367177.367199. S2CID 1489409. Retrieved March 29, 2009.
  21. ^ "Recursive functions of symbolic expressions and their computation by machine, Part I". Archived from the original on October 4, 2013. Retrieved November 24, 2013.
  22. ^ Garfinkel, Simson (1999). Abelson, Hal (ed.). Architects of the Information Society, Thirty-Five Years of the Laboratory for Computer Science at MIT. Cambridge: MIT Press. p. 1. ISBN 978-0-262-07196-3.
  23. ^ "시간 공유 컴퓨터 시스템"이라는 제목의 이 강의는 1962년 출판된 "경영과 미래의 컴퓨터" (ed 마틴 그린버거) 220-248페이지입니다. 나중에 컴퓨터와 미래 세계 (1965년)로 전재되었습니다.
  24. ^ McCarthy, John (July 31, 1994). "Space Bridge Short". sci.space.tech Usenet newsgroup posts. Google Groups.
  25. ^ McCarthy, John (February 4, 1995). "Progress and its sustainability". formal.stanford.edu. Archived from the original on October 4, 2013. Retrieved November 24, 2013.
  26. ^ "He who refuses to do arithmetic is doomed to talk nonsense" (Usenet newsgroup sci.environment search).
  27. ^ "John McCarthy, 84, Dies; Computer Design Pioneer". The New York Times. October 26, 2011.
  28. ^ "Tree of John McCarthy students for the Computer History Exhibits". infolab.Stanford.edu. April 21, 2012. Archived from the original on December 2, 2013. Retrieved November 24, 2013.
  29. ^ McCarthy, John (June 28, 2001). "The Robot and the Baby". formal.stanford.edu. Archived from the original on October 4, 2013. Retrieved November 24, 2013.
  30. ^ Thomson, Cask J. (October 26, 2011). "The Death of TRUE Tech Innovators D. Ritchie & J. McCarthy – Yet the Death of Steve Jobs Overshadows All". WordsWithMeaning blog.
  31. ^ Markoff, John (October 25, 2011). "John McCarthy, 84, Dies; Computer Design Pioneer". The New York Times.
  32. ^ "Biography of Carolyn Talcott". Stanford University. Archived from the original on December 2, 2013.
  33. ^ "Computer pioneer discusses atheism, artificial intelligence".
  34. ^ "About John McCarthy". Stanford University. Archived from the original on October 4, 2013. Retrieved February 1, 2013.
  35. ^ McCarthy, John (March 7, 2003). "Commentary on World, US, and scientific affairs". Stanford University. Archived from the original on October 4, 2013. Retrieved February 1, 2013. By the way I'm an atheist.
  36. ^ Earnest, Les. "Biographies of John McCarthy". Stanford University. Retrieved February 14, 2016.
  37. ^ Myers, Andrew (October 25, 2011). "Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84". Stanford University News. Retrieved October 26, 2011.
  38. ^ McCarthy, J. (1979) 정신적 자질을 기계에 귀속시킨다.인: 인공지능에 대한 철학적 관점, ed.M. 링글애틀랜틱 하이랜드, 뉴저지 주:인문계 출판사
  39. ^ Searle, John R (1980). "Minds, brains, and programs" (PDF). Behavioral and Brain Sciences. 3 (3): 417–457. doi:10.1017/s0140525x00005756. S2CID 55303721.
  40. ^ "President's National Medal of Science: Recipient Details 1990". National Science Foundation. February 14, 2006. Retrieved September 27, 2012.
  41. ^ CHM. "John McCarthy – CHM Fellow Award Winner". Archived from the original on April 3, 2015. Retrieved March 30, 2015.[1]
  42. ^ "AI's Hall of Fame" (PDF). IEEE Intelligent Systems. 26 (4): 5–15. 2011. doi:10.1109/MIS.2011.64.
  43. ^ "IEEE Computer Society Magazine Honors Artificial Intelligence Leaders". DigitalJournal.com. August 24, 2011. Retrieved September 18, 2011. 보도자료 출처: PRWeb(Vocus).
  44. ^ Beckett, Jamie (December 2, 2012). "Stanford School of Engineering names new engineering heroes". Stanford News. Retrieved December 2, 2012.

추가 정보

  • Philip J. Hilts, 과학적 기질: '현대과학의 세 삶', 사이먼과 슈스터, 1982년.물리학자 존 매카시의 장황한 프로필입니다윌슨과 유전학자 마크 프타슈네입니다
  • 파멜라 맥코덕, 생각하는 기계: 인공지능의 역사와 전망에 대한 개인적인 질문, 1979년, 2004년 제2판.
  • 파멜라 웨인트로브, 뉴욕 옴니 인터뷰 에디션:1984년, 티크너와 필즈Omni 매거진에 게재된 취재를 정리한 것으로, McCarthy와의 인터뷰가 포함되어 있습니다.

외부 링크

Wikimedia Commons에는 John McCarthy와 관련된 미디어가 있습니다.
위키 인용문에는 존 맥카시와 관련된 인용문이 있다.
선행 벤자민 프랭클린 컴퓨터 인지과학상
2003 		에 의해 성공자