Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

John McCarthy (computer scientist)

From Wikipedia, the free encyclopedia
American scientist (1927–2011)

John McCarthy
McCarthy at a conference in 2006
Born(1927-09-04)September 4, 1927
DiedOctober 24, 2011(2011-10-24) (aged 84)
EducationCalifornia Institute of Technology (BS)
Princeton University (MS,PhD)
Known forArtificial intelligence,Lisp,circumscription,situation calculus
Spouse(s)Vera Watson (her death, 1978)
Carolyn Talcott
AwardsTuring Award (1971)
Computer Pioneer Award (1985)
IJCAI Award for Research Excellence (1985)
Kyoto Prize (1988)
National Medal of Science (1990)
Benjamin Franklin Medal (2003)
Scientific career
FieldsComputer science
InstitutionsStanford University,Massachusetts Institute of Technology,Dartmouth College,Princeton University
Doctoral advisorDonald C. Spencer
Doctoral studentsRuzena Bajcsy
Ramanathan V. Guha
Barbara Liskov
Hans Moravec
Raj Reddy

John McCarthy (September 4, 1927 – October 24, 2011) was an Americancomputer scientist andcognitive scientist. He was one of the founders of the discipline ofartificial intelligence.[1] He co-authored the document that coined the term "artificial intelligence" (AI), developed theprogramming language familyLisp, significantly influenced the design of the languageALGOL, popularizedtime-sharing, and inventedgarbage collection.

McCarthy spent most of his career atStanford University.[2] He received many accolades and honors, such as the 1971Turing Award for his contributions to the topic of AI,[3] the United StatesNational Medal of Science, and theKyoto Prize.

Early life and education

[edit]

John McCarthy was born inBoston, Massachusetts, on September 4, 1927, to anIrish immigrant father and aLithuanian Jewish immigrant mother,[4] John Patrick and Ida (Glatt) McCarthy. The family was obliged to relocate frequently during theGreat Depression, until McCarthy's father found work as an organizer for theAmalgamated Clothing Workers inLos Angeles, California. His father came fromCromane, a small fishing village inCounty Kerry, Ireland.[5] His mother died in 1957.[6]

Both parents were active members of theCommunist Party during the 1930s, and they encouraged learning and critical thinking. Before he attended high school, McCarthy became interested in science by reading a translation of100,000 Whys, a Russian popular science book for children.[7] He was fluent in theRussian language and made friends with Russian scientists during multiple trips to theSoviet Union, but distanced himself after making visits to theSoviet Bloc, which led to him becoming aconservativeRepublican.[8]

McCarthy graduated fromBelmont High School two years early[9] and was accepted into Caltech in 1944.

He showed an early aptitude formathematics; during his teens, he taught himself college math by studying the textbooks used at the nearbyCalifornia Institute of Technology (Caltech). As a result, he was able to skip the first two years of math at Caltech.[10] He was suspended from Caltech for failure to attendphysical education courses.[11] He then served in theUS Army and was readmitted, receiving a Bachelor of Science (BS) inmathematics in 1948.[12]

It was at Caltech that he attended a lecture byJohn von Neumann that inspired his future endeavors.

McCarthy completed his graduate studies at Caltech before moving toPrinceton University, where he received aPhD in mathematics in 1951 with his dissertation "Projection operators andpartial differential equations", under the supervision ofDonald C. Spencer.[13]

Academic career

[edit]

After short-term appointments at Princeton andStanford University, McCarthy became an assistant professor atDartmouth in 1955.

A year later, he moved toMIT as a researchfellow in the autumn of 1956. By the end of his years at Massachusetts Institute of Technology (MIT) he was already affectionately referred to as "Uncle John" by his students.[14]

In 1962, he became a fullprofessor at Stanford, where he remained until his retirement in 2000.

McCarthy championed mathematics such aslambda calculus andinvented logics for achievingcommon sense in artificial intelligence.

Contributions in computer science

[edit]
McCarthy in 2008

John McCarthy is one of the "founding fathers" of artificial intelligence, together withAlan Turing,Marvin Minsky,Allen Newell, andHerbert A. Simon. McCarthy, Minsky,Nathaniel Rochester andClaude E. Shannon coined the term "artificial intelligence" in a proposal that they wrote for the famousDartmouth conference in Summer 1956. This conference started AI as a field.[9][15] (Minsky later joined McCarthy at MIT in 1959.)

In 1958, he proposed theadvice taker, which inspired later work on question-answering andlogic programming.

In the late 1950s, McCarthy discovered thatprimitive recursive functions could be extended to compute with symbolic expressions, producing theLisp programming language.[16] That functional programming seminal paper also introduced the lambda notation borrowed from the syntax oflambda calculus in which later dialects likeScheme based its semantics. Lisp soon became the programming language of choice for AI applications after its publication in 1960.

In 1958, McCarthy served on anAssociation for Computing Machinery ad hoc committee on Languages that became part of the committee that designedALGOL 60. In August 1959 he proposed the use of recursion and conditional expressions, which became part of ALGOL.[17] He then became involved with developinginternational standards in programming and informatics, as a member of theInternational Federation for Information Processing (IFIP)Working Group 2.1 on Algorithmic Languages and Calculi,[18] whichspecified, maintains, and supports ALGOL 60 andALGOL 68.[19]

Around 1959, he invented so-called "garbage collection" methods, a kind of automaticmemory management, to solve problems in Lisp.[16][20]

During his time atMIT, he helped motivate the creation ofProject MAC, and while at Stanford University, he helped establish theStanford AI Laboratory, for many years a friendly rival to Project MAC.

McCarthy was instrumental in the creation of three of the very earliesttime-sharing systems (Compatible Time-Sharing System,BBN Time-Sharing System, andDartmouth Time-Sharing System). His colleagueLester Earnest told the Los Angeles Times:

The Internet would not have happened nearly as soon as it did except for the fact that John initiated the development of time-sharing systems. We keep inventing new names for time-sharing. It came to be called servers ... Now we call it cloud computing. That is still just time-sharing. John started it.[9]

— Elaine Woo

In 1961, he was perhaps the first to suggest publicly the idea ofutility computing, in a speech given to celebrate MIT's centennial: that computertime-sharing technology might result in a future in which computing power and even specific applications could be sold through theutility business model (likewater orelectricity).[21][22] This idea of a computer or information utility was very popular during the late 1960s, but had faded by the mid-1990s. However, since 2000, the idea has resurfaced in new forms (seeapplication service provider,grid computing, andcloud computing).

In 1966, McCarthy and his team at Stanford wrote a computer program used to play a series ofchess games with counterparts in theSoviet Union; McCarthy's team lost two games anddrew two games (seeKotok-McCarthy).

From 1978 to 1986, McCarthy developed thecircumscription method ofnon-monotonic reasoning.

In 1982, he seems to have originated the idea of thespace fountain, a type of tower extending into space and kept vertical by the outward force of a stream of pellets propelled from Earth along a sort of conveyor belt which returns the pellets to Earth. Payloads would ride the conveyor belt upward.[23]

Other activities

[edit]

McCarthy often commented on world affairs on theUsenet forums. Some of his ideas can be found in his sustainability Web page,[24] which is "aimed at showing that human material progress is desirable and sustainable". McCarthy was an avid book reader, an optimist, and a staunch supporter of free speech. His best Usenet interaction is visible in rec.arts.books archives. He actively attended San Francisco (SF) Bay Area dinners inPalo Alto of r.a.b. readers, called rab-fests. He went on to defend free speech criticism involving European ethnic jokes at Stanford.[25]

McCarthy saw the importance of mathematics and mathematics education. HisUsenet signature block (.sig) for years was, "He who refuses to do arithmetic is doomed to talk nonsense"; his license plate cover read, similarly, "Do the arithmetic or be doomed to talk nonsense."[26][27] He advised 30 PhD graduates.[28]

His 2001 short story "The Robot and the Baby"[29] farcically explored the question of whether robots should have (or simulate having) emotions, and anticipated aspects of Internet culture andsocial networking that became increasingly prominent during ensuing decades.[30]

Personal life

[edit]

McCarthy was married three times. His second wife wasVera Watson, a programmer andmountaineer who died in 1978 attempting to scaleAnnapurna I Central as part of anall-women expedition. He later marriedCarolyn Talcott, a computer scientist at Stanford and later Scientific Research Institute(SRI) International.[31][32]

McCarthy declared himself an atheist in a speech about artificial intelligence atStanford Memorial Church.[33][34][35] Raised as aCommunist, he became a conservativeRepublican after a visit toCzechoslovakia in 1968 after theSoviet invasion.[36] He died at his home in Stanford on October 24, 2011.[37]

Philosophy of artificial intelligence

[edit]

In 1979 McCarthy wrote an article[38] entitled "Ascribing Mental Qualities to Machines". In it he wrote, "Machines as simple asthermostats can be said to have beliefs, and having beliefs seems to be a characteristic of most machines capable of problem-solving performance." In 1980 the philosopherJohn Searle responded with his famousChinese Room Argument,[39][15] disagreeing with McCarthy and taking the stance that machines cannot have beliefs simply because they are not conscious. Searle argues that machines lackintentionality. A vast amount of literature[example needed] has been written in support of one side or the other.

Awards and honors

[edit]

Major publications

[edit]
  • McCarthy, J. 1959."Programs with Common Sense" at theWayback Machine (archived October 4, 2013). InProceedings of the Teddington Conference on the Mechanisation of Thought Processes, 756–91. London: Her Majesty's Stationery Office.
  • McCarthy, J. 1960."Recursive functions of symbolic expressions and their computation by machine" at theWayback Machine (archived October 4, 2013).Communications of the ACM 3(4):184-195.
  • McCarthy, J. 1963a "A basis for a mathematical theory of computation". InComputer 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.Some philosophical problems from the standpoint of artificial intelligence at theWayback Machine (archived August 25, 2013). In Meltzer, B., and Michie, D., eds.,Machine Intelligence 4. Edinburgh: Edinburgh University Press. 463–502.
  • McCarthy, J. 1977. "Epistemological problems of artificial intelligence". InIJCAI, 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.
  • McCarthy, J. 1990. "Generality in artificial intelligence". In Lifschitz, V., ed.,Formalizing Common Sense. Ablex. 226–236.
  • McCarthy, J. 1993. "Notes on formalizing context". InIJCAI, 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". InWorking 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.

See also

[edit]

References

[edit]
  1. ^Mishlove, Jeffrey (November 3, 2011).John McCarthy (1927-2011): Artificial Intelligence (complete) – Thinking Allowed.YouTube (video).Archived from the original on March 24, 2013. RetrievedAugust 8, 2022. Also,with the same title.Ghost Archive. Archived from the original on July 31, 2021. RetrievedAugust 8, 2022.{{cite AV media}}: CS1 maint: bot: original URL status unknown (link)
  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. RetrievedFebruary 27, 2016.
  5. ^"Leading academic who coined the term 'artificial intelligence'".The Irish Times. RetrievedJanuary 28, 2016.
  6. ^"History of Computers and Computing, Birth of the modern computer, Software history, LISP of John McCarthy".history-computer.com. Archived fromthe original on January 3, 2020. RetrievedJanuary 28, 2016.
  7. ^Nilsson, Nils J."A Biographical Memoir"(PDF).National Academy of Sciences. RetrievedFebruary 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. Archived fromthe original(PDF) on June 7, 2023. RetrievedFebruary 20, 2022.
  9. ^abcWoo, 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.28 (4).Association for the Advancement of Artificial Intelligence:93–102. Archived fromthe original on September 23, 2011. RetrievedNovember 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. RetrievedSeptember 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. ^abRoberts, Jacob (2016)."Thinking Machines: The Search for Artificial Intelligence".Distillations.2 (2):14–23. Archived fromthe original on August 19, 2018. RetrievedMarch 20, 2018.
  16. ^abMcCarthy, John (April 1960)."Recursive Functions of Symbolic Expressions and Their Computation by Machine, Pt I".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. RetrievedOctober 4, 2020.
  19. ^Swierstra, Doaitse;Gibbons, Jeremy;Meertens, Lambert (March 2, 2011)."ScopeEtc: IFIP21: Foswiki".Foswiki. RetrievedOctober 4, 2020.
  20. ^"Recursive functions of symbolic expressions and their computation by machine, Part I". Archived fromthe original on October 4, 2013. RetrievedNovember 24, 2013.
  21. ^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.
  22. ^The lecture, entitled "Time Sharing Computer Systems," is pp. 220-248 inManagement and the Computer of the Future (ed Martin Greenberger), published 1962, later reprinted asComputers and the world of the future (1965).
  23. ^McCarthy, John (July 31, 1994)."Space Bridge Short".sci.space.techUsenet newsgroup posts. Google Groups.
  24. ^McCarthy, John (February 4, 1995)."Progress and its sustainability". formal.stanford.edu. Archived fromthe original on October 4, 2013. RetrievedNovember 24, 2013.
  25. ^McCarthy, John (May 12, 1997)."Attempt at Censorship of Electronic Libraries at Stanford University in 1989". formal.stanford.edu. RetrievedDecember 5, 2023.
  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 fromthe original on December 2, 2013. RetrievedNovember 24, 2013.
  29. ^McCarthy, John (June 28, 2001)."The Robot and the Baby". formal.stanford.edu. Archived fromthe original on October 4, 2013. RetrievedNovember 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. Archived fromthe original on April 26, 2012.
  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 fromthe original on December 2, 2013.
  33. ^"Computer pioneer discusses atheism, artificial intelligence". January 23, 2023.
  34. ^"About John McCarthy". Stanford University. Archived fromthe original on October 4, 2013. RetrievedFebruary 1, 2013.
  35. ^McCarthy, John (March 7, 2003)."Commentary on World, US, and scientific affairs". Stanford University. Archived fromthe original on October 4, 2013. RetrievedFebruary 1, 2013.By the way I'm an atheist.
  36. ^Earnest, Les."Biographies of John McCarthy". Stanford University. Archived fromthe original on June 11, 2016. RetrievedFebruary 14, 2016.
  37. ^Myers, Andrew (October 25, 2011)."Stanford's John McCarthy, seminal figure of artificial intelligence, dies at 84".Stanford University News. RetrievedOctober 26, 2011.
  38. ^McCarthy, J. (1979) Ascribing mental qualities to machines. In: Philosophical perspectives in artificial intelligence, ed. M. Ringle. Atlantic Highlands, N.J.: Humanities Press.
  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. RetrievedSeptember 27, 2012.
  41. ^CHM."John McCarthy – CHM Fellow Award Winner". Archived fromthe original on April 3, 2015. RetrievedMarch 30, 2015.[1]Archived April 3, 2015, at theWayback Machine
  42. ^"AI's Hall of Fame"(PDF).IEEE Intelligent Systems.26 (4):5–15. 2011.doi:10.1109/MIS.2011.64. Archived fromthe original(PDF) on December 16, 2011. RetrievedSeptember 4, 2015.
  43. ^Beckett, Jamie (December 2, 2012)."Stanford School of Engineering names new engineering heroes".Stanford News. RetrievedDecember 2, 2012.

Further reading

[edit]
  • Philip J. Hilts,Scientific Temperaments: Three Lives in Contemporary Science, Simon and Schuster, 1982. Lengthy profiles of John McCarthy, physicist Robert R. Wilson and geneticist Mark Ptashne.
  • Pamela McCorduck,Machines Who Think: a personal inquiry into the history and prospects of artificial intelligence, 1979, second edition 2004.
  • Pamela Weintraub, ed.,The Omni Interviews, New York: Ticknor and Fields, 1984. Collected interviews originally published inOmni magazine; contains an interview with McCarthy.

External links

[edit]
Wikimedia Commons has media related toJohn McCarthy.
Wikiquote has quotations related toJohn McCarthy.
Preceded by Benjamin Franklin Medal in Computer and Cognitive Science
2003
Succeeded by
Features
Object systems
Implementations
Standardized
Common
Lisp
Scheme
ISLISP
Unstandardized
Logo
POP
Operating system
Hardware
Community
of practice
Technical standards
Education
Books
Curriculum
Organizations
Business
Education
People
Common Lisp
Scheme
Logo
POP
Implementations
Technical
standards
Dialects
Formalisms
Community
Organizations
Professional
associations
Business
Education
Government
People
ALGOL 58
MAD
ALGOL 60
Simula
ALGOL 68
Comparison
Behavioral and social science
1960s
1980s
1990s
2000s
2010s
2020s
Biological sciences
1960s
1970s
1980s
1990s
2000s
2010s
2020s
Chemistry
1960s
1980s
1990s
2000s
2010s
Engineering sciences
1960s
1970s
1980s
1990s
2000s
2010s
2020s
Mathematical, statistical, and computer sciences
1960s
1970s
1980s
1990s
2000s
2010s
2020s
Physical sciences
1960s
1970s
1980s
1990s
2000s
2010s
2020s
International
National
Academics
People
Other
Retrieved from "https://en.wikipedia.org/w/index.php?title=John_McCarthy_(computer_scientist)&oldid=1299814128"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp