John McCarthy (Informatiker)
John McCarthy | |
---|---|
Geboren | 4. September 1927 Boston, Massachusetts, UNS. |
Gestorben | 24. Oktober 2011 (84 Jahre) Stanford, Kalifornien, UNS. |
Alma Mater | Princeton Universität, Kalifornisches Institut der Technologie |
Bekannt für | Künstliche Intelligenz, Lispeln, Umschreibung, Situationskalkül |
Auszeichnungen | Turing Award (1971) Computer Pioneer Award (1985) IJCAI Award for Research Excellence (1985) Kyoto -Preis (1988) Nationale Wissenschaftsmedaille (1990) Benjamin Franklin Medal (2003) |
Wissenschaftliche Karriere | |
Felder | Informatik |
Institutionen | Universität in Stanford, Massachusetts Institute of TechnologyAnwesendDartmouth College, Princeton Universität |
Doktorand | Donald C. Spencer |
Doktorand | Ruzena Bajcsy Ramanathan V. Guha Barbara Liskov Raj Reddy |
John McCarthy (4. September 1927 - 24. Oktober 2011) war ein Amerikaner Informatiker und Kognitiver Wissenschaftler. McCarthy war einer der Gründer der Disziplin von künstliche Intelligenz.[1] Er war Mitautor des Dokuments, das den Begriff geprägt hat "künstliche Intelligenz"(AI), entwickelte die Lispeln Programmiersprache Familie beeinflusste die Gestaltung des Algol Programmiersprache, populärisiert Zeitteilungund erfunden Müllsammlung.
McCarthy verbrachte den größten Teil seiner Karriere bei Universität in Stanford.[2] Er erhielt viele Auszeichnungen und Ehrungen, wie die 1971 Turing Award Für seine Beiträge zum Thema KI,[3] Die Vereinigten Staaten Nationale Wissenschaftsmedaille, und die Kyoto -Preis.
Frühes Leben und Ausbildung
John McCarthy wurde in geboren Boston, Massachusettsam 4. September 1927 zu einem irisch Vaterin mit Migrationshintergrund und a Litauisch -jüdisch Mutter mit Migrationshintergrund,[4] John Patrick und Ida (Glatt) McCarthy. Die Familie war verpflichtet, während der häufig umzuziehen Weltwirtschaftskrise, bis McCarthys Vater Arbeit als Organisator für die fand Zusammengesetzte Bekleidungsarbeiter in Los Angeles, Kalifornien. Sein Vater kam von Croman, ein kleines Fischerdorf in Grafschaft Kerry, Irland.[5] Seine Mutter starb 1957.[6]
Beide Eltern waren aktive Mitglieder der Kommunistische Partei In den 1930er Jahren förderten sie das Lernen und das kritische Denken. Bevor er die High School besuchte, interessierte er sich für die Wissenschaft, indem er eine Übersetzung eines russischen Populärwissenschaftsbuchs für Kinder las, heißt es 100.000 WHYS.[7] John spielte fließend in der russische Sprache und freundete sich mit russischen Wissenschaftlern bei mehreren Reisen zur Sovietunion aber er wurde desillusioniert, nachdem er die Besuche in der Sowjet Block was dazu führte, dass er ein wurde konservativ Republikaner.[8]
McCarthy absolvierte Belmont High School zwei Jahre früher.[9] McCarthy wurde 1944 in Caltech aufgenommen.
McCarthy zeigte eine frühe Eignung für Mathematik; Während seiner Teenager lehrte er sich das College -Mathematik, indem er die in der Nähe verwendeten Lehrbücher studierte Kalifornisches Institut der Technologie (Caltech). Infolgedessen konnte er die ersten zwei Jahre der Mathematik in Caltech überspringen.[10] McCarthy wurde an Caltech wegen Nicht teilnehmen Bewegungserziehung, Körpererziehung, Leibeserziehung Kurse.[11] Er diente dann in der US-Armee und wurde wieder aufgenommen und erhielt a B.S. in Mathematik 1948.[12]
Es war in Caltech, dass er an einem Vortrag von besuchte John von Neumann Das hat seine zukünftigen Bemühungen inspiriert.
McCarthy hat zunächst ein Graduiertenstudium bei Caltech abgeschlossen Princeton Universität. Er erhielt eine Ph.D. in Mathematik aus Princeton im Jahr 1951 nach Abschluss einer Dissertation mit dem Titel ""Projektionsbetreiber und partielle Differentialgleichungen", Unter Beobachtung von Donald C. Spencer.[13]
Akademische Karriere
Nach kurzfristigen Termine in Princeton und Universität in StanfordMcCarthy wurde Assistenzprofessor bei Dartmouth 1955.
Ein Jahr später zog McCarthy zu MIT als Forschung Gefährte im Herbst 1956. Am Ende seiner Jahre am MIT wurde er bereits liebevoll von seinen Schülern als "Onkel John" bezeichnet.[14]
1962 wurde McCarthy voll war Professor in Stanford, wo er bis zu seiner Pensionierung im Jahr 2000 blieb.
McCarthy setzte sich für Mathematik ein, z. Lambda -Kalkül und erfundene Logik zum Erreichen gesunder Menschenverstand in künstlicher Intelligenz.
Beiträge in der Informatik
John McCarthy ist einer der "Gründerväter" künstlicher Intelligenz zusammen mit Alan Turing, Marvin Minsky, Allen Newell, und Herbert A. Simon. McCarthy, Minsky, Nathaniel Rochester und Claude E. Shannon geprägt den Begriff "künstliche Intelligenz" in einem Vorschlag, den sie für die Berühmten geschrieben haben Dartmouth -Konferenz im Sommer 1956. Diese Konferenz begann KI als Feld.[9][15] (Minsky kam 1959 später bei McCarthy am MIT.)
1958 schlug er das vor Beratungsträger, die spätere Arbeiten an Frage-Answere inspirierte und Logikprogrammierung.
In den späten 1950er Jahren entdeckte McCarthy das primitive rekursive Funktionen könnte erweitert werden, um mit symbolischen Ausdrücken zu berechnen und die zu produzieren Lisp -Programmiersprache.[16] Diese funktionelle Programmier -Samenpapier hat auch die Lambda -Notation eingeführt, die aus der Syntax von entlehnt wurde Lambda -Kalkül in dem spätere Dialekte mögen Planen basierte seine Semantik. LISP wurde nach seiner Veröffentlichung im Jahr 1960 bald zur Programmiersprache der Wahl für KI -Anwendungen.
1958 war McCarthy in einem ACM Ad -hoc -Komitee für Sprachen tätig, das Teil des Ausschusses wurde, das entworfen wurde Algol 60. Im August 1959 schlug er die Verwendung von Rekursion und bedingten Ausdrücken vor, die Teil von Algol wurden.[17] Dann engagierte er sich mit der Entwicklung internationale Standards in Programmierung und Informatik als Mitglied der Internationale Föderation für Informationsverarbeitung (IFIP) IFIP Arbeitsgruppe 2.1 auf algorithmischen Sprachen und Kalkül,[18] die spezifizierten, pflegt und unterstützt Algol 60 und Algol 68.[19]
Um 1959 erfand er sogenannte "Müllsammlung"Methoden, eine Art automatisch Speicherverwaltung, um Probleme in Lisp zu lösen.[20][21]
Er half, die Schaffung von zu motivieren Projekt MAC bei MIT Als er dort arbeitete und an der Stanford University, half er, die zu etablieren Stanford AI Laboratoryseit vielen Jahren ein freundlicher Rivale von Project Mac.
McCarthy war maßgeblich an der Erschaffung von drei der frühesten beteiligt Zeitaustauschsysteme (Kompatibler Zeitaustauschsystem, BBN Time-Sharing-System, und Dartmouth Time Sharing System). Sein Kollege Lester Earnest erzählte der Los Angeles Times:
Das Internet hätte nicht annähernd so schnell wie möglich geschehen, außer dass John die Entwicklung von Zeit Sharing-Systemen initiierte. Wir erfinden immer wieder neue Namen für die Zeit zum Teilen. Es heißt Server ... jetzt nennen wir es Cloud Computing. Das ist immer noch nur zeitlich. John begann es.[9]
-Woo, Elaine
1961 war er vielleicht der erste, der öffentlich die Idee von vorschlug Utility Computing, in einer Rede zum Feiern von MITs Hundertjähriger: dieser Computer Zeitteilung Die Technologie kann zu einer Zukunft führen, in der Rechenleistung und sogar bestimmte Anwendungen über die verkauft werden könnten Dienstprogramm Geschäftsmodell (wie Wasser oder Elektrizität).[22][23] Diese Idee eines Computer- oder Informationsdienstprogramms war in den späten 1960er Jahren sehr beliebt, war jedoch Mitte der neunziger Jahre verblasst. Seit 2000 ist die Idee jedoch in neuen Formen wieder aufgetaucht (siehe Anwendungsanbieter, Raster Computing, und Cloud Computing).
1966 schrieben McCarthy und sein Team von Stanford ein Computerprogramm, mit dem eine Reihe von einer Reihe von Schach Spiele mit Kollegen in der Sovietunion; McCarthys Team verlor zwei Spiele und Drew zwei Spiele (siehe Kotok-McCarthy).
Von 1978 bis 1986 entwickelte McCarthy die Umschreibung Methode von Nicht-monotones Denken.
1982 scheint er die Idee des Weltraumbrunnen, eine Art Turm, der sich in den Weltraum erstreckt und durch die äußere Kraft eines Pellets, der von der Erde entlang einer Art Fördergürtel aus der Erde angetrieben wurde, vertikal gehalten wurde, der die Pellets zur Erde zurückgibt. Nutzlasten würden den Förderband nach oben fahren.[24]
Andere Aktivitäten
McCarthy kommentierte oft Weltangelegenheiten auf der Usenet Foren. Einige seiner Ideen finden Sie auf seiner Nachhaltigkeits -Webseite.[25] Dies "zielt darauf ab, zu zeigen, dass der Fortschritt des menschlichen materiellen Fortschritts wünschenswert und nachhaltig ist". McCarthy war ein ernsthafter Buchleser, ein Optimist und ein überzeugter Anhänger der Redefreiheit. Seine beste Usenet -Interaktion ist in den Archiven von Rec.Arts.Books sichtbar. Und McCarthy besuchte aktiv SF Bay Area Diners in Palo Alto von R.A.B. Leser nannten Rab-Feste. In Stanford verteidigte er die Redefreiheit, an der europäische ethnische Witze beteiligt waren.
McCarthy sah die Bedeutung der Mathematik- und Mathematikausbildung. Seine Usenet .Sig Jahrelang war: "Wer sich weigert, Arithmetik zu machen, ist zum Scheitern verurteilt, über Unsinn zu sprechen"; In ähnlicher Weise laut sein Nummernschild -Cover: "Machen Sie die Arithmetik oder sei zum Scheitern verurteilt, um Unsinn zu sprechen."[26][27] Er beriet 30 Doktoranden.[28]
Seine Kurzgeschichte von 2001 "Der Roboter und das Baby"[29] Farcically untersuchte die Frage, ob Roboter Emotionen und erwartete Aspekte der Internetkultur und erwartete Aspekte der Internetkultur haben (oder simulieren sollten) soziales Netzwerk Das sind in den folgenden Jahrzehnten immer prominenter geworden.[30]
Persönliches Leben
McCarthy war dreimal verheiratet. Seine zweite Frau war Vera Watson, ein Programmierer und Bergsteiger der 1978 starb, um zu skalieren Annapurna I Central als Teil eines All-Women Expedition. Er heiratete später Carolyn Talcott, ein Informatiker in Stanford und später SRI International.[31][32]
McCarthy erklärte sich in einer Rede über künstliche Intelligenz Atheistin bei Stanford Memorial Church.[33][34][35] Aufgewachsen wie a KommunistEr wurde konservativ Republikaner nach einem Besuch in Tschechoslowakei im Jahr 1968 nach der Sowjetische Invasion.[36] McCarthy starb am 24. Oktober 2011 in seinem Haus in Stanford.[37]
Philosophie der künstlichen Intelligenz
1979 schrieb McCarthy einen Artikel[38] mit dem Titel "Machtermaschinen zuschreiben". Darin schrieb er: "Maschinen, die so einfach wie Thermostate sind, um Überzeugungen zu haben, und es scheint ein Merkmal der meisten Maschinen zu sein, die zur Problemlösung in der Lage sind." 1980 der Philosoph John Searle antwortete mit seinem berühmten Chinesisches Zimmer Streit,[39][15] Nicht einverstanden mit McCarthy und der Haltung, dass Maschinen nicht glauben können, nur weil sie nicht bewusst sind. Searle argumentiert, dass Maschinen kein "Verständnis" oder "nicht" oder "nicht"Intentionalität"(Ein Begriff, der üblicherweise in der Philosophie des Geistes verwendet wird). Eine große Menge an Literatur wurde zur Unterstützung der einen oder anderen Seite geschrieben.
Auszeichnungen und Ehrungen
- Turing Award von dem Verband für Rechenmaschinen (1971).
- Kyoto -Preis (1988).
- Nationale Wissenschaftsmedaille (USA) in mathematischen, statistischen und Computerwissenschaften (1990).[40]
- Als Stipendiat der Computergeschichte Museum "Für seine Mitgründe der Felder der künstlichen Intelligenz (KI) und des Timesharing-Systems sowie für wichtige Beiträge zur Mathematik und Informatik". (1999)[41]
- Benjamin Franklin Medal in Computer- und Kognitionswissenschaft von der Franklin Institute (2003).
- Aufgenommen in IEEE Intelligente Systeme"AI's Hall of Fame (2011) für" wesentliche Beiträge zum Bereich der KI und intelligenten Systeme ".[42][43]
- Benannt als einer der 2012 Stanford Ingenieurhelden.[44]
Hauptpublikationen
- McCarthy, J. 1959. "Programme mit gesundem Menschenverstand" Bei der Wayback -Maschine (Archiviert 4. Oktober 2013). Im Verfahren der Teddington -Konferenz zur Mechanisierung von Denkprozessen, 756–91. London: Das Schreibwarenbüro Ihrer Majestät.
- McCarthy, J. 1960. "Rekursive Funktionen symbolischer Ausdrücke und ihre Berechnung nach Maschine" Bei der Wayback -Maschine (Archiviert 4. Oktober 2013). Kommunikation der ACM 3 (4): 184-195.
- McCarthy, J. 1963a "Eine Grundlage für eine mathematische Berechnungstheorie". Im Computerprogrammierung und formale Systeme. Nordholland.
- McCarthy, J. 1963b. Situationen, Handlungen und kausale Gesetze. Technischer Bericht, Stanford University.
- McCarthy, J. und Hayes, P. J. 1969. Einige philosophische Probleme vom Standpunkt der künstlichen Intelligenz aus Bei der Wayback -Maschine (Archiviert 25. August 2013). In Meltzer, B. und Michie, D., Hrsg.,, Maschineninformation 4. Edinburgh: Edinburgh University Press. 463–502.
- McCarthy, J. 1977. "erkenntnistheoretische Probleme der künstlichen Intelligenz". Im Ijcai, 1038–1044.
- McCarthy, J (1980). "CircumScription: Eine Form des nicht-monotonischen Denkens". Künstliche Intelligenz. 13 (1–2): 23–79. doi:10.1016/0004-3702 (80) 90011-9.
- McCarthy, J (1986). "Anwendungen der Umschreibung zum gesunden Menschenverstand". Künstliche Intelligenz. 28 (1): 89–116. Citeseerx 10.1.1.29.5268. doi:10.1016/0004-3702 (86) 90032-9.
- McCarthy, J. 1990. "Allgemeinheit in künstlicher Intelligenz". In Lifschitz, V., ed.,, Formalisieren des gesunden Menschenverstandes. Fähig. 226–236.
- McCarthy, J. 1993. "Anmerkungen zum formalisierenden Kontext". Im Ijcai, 555–562.
- McCarthy, J. und Buvac, S. 1997. "Formalisierende Kontext: Erweiterte Notizen". In Aliseda, a.; Van Glabbeek, R.; und Westernstahl, D., Hrsg.,, Berechnung der natürlichen Sprache. Universität in Stanford. Ebenfalls als Stanford Technical Note Stan-CS-TN-94-13 erhältlich.
- McCarthy, J. 1998. "Ausführungs -Toleranz". Im Arbeitspapiere des vierten internationalen Symposiums über logische Formalisierungen von vernünftigen Argumentation, CommonSense-1998.
- Costello, T. und McCarthy, J. 1999. "Nützliche Kontrafakte". Elektronische Transaktionen zur künstlichen Intelligenz 3 (a): 51-76
- McCarthy, J. 2002. "Aktionen und andere Ereignisse in Situation Calculus". In Fensel, D.; Giunchiglia, f.; McGuinness, D.; und Williams, M., Hrsg.,, Verfahren von KR-2002, 615–628.
Siehe auch
- Christopher StracheyEingereicht Anfang 1959 ein Patent für die Zeit zum Teilen von Zeit
- Füllhorn
- Rahmenproblem
- Liste der Pioniere in der Informatik
- Kotok-McCarthy
- McCarthy 91 Funktion
- McCarthy Formalismus
- Watson (Computer)
Verweise
- ^ Archiviert bei Ghostarchive und die Wayback -Maschine: John McCarthy (1927-2011): Künstliche Intelligenz (vollständig) -Denken erlaubt -jeffrey Mishlove, abgerufen 13. August, 2021
- ^ McCarthy, John. "Professor John McCarthy". jmc.stanford.edu.
- ^ "John McCarthy - A. M. Turing Award Laureate". Amturing.acm.org.
- ^ Shasha, Dennis; Lazere, Cathy (1998). Aus ihren Köpfen: Das Leben und Entdeckungen von 15 großen Informatikern. Springer. p. 23. ISBN 9780387982694. Abgerufen 27. Februar, 2016.
- ^ "Leading Academic, der den Begriff" künstliche Intelligenz "geprägt hat". Die irischen Zeiten. Abgerufen 28. Januar, 2016.
- ^ "Geschichte von Computern und Computer, Geburt des modernen Computers, Softwaregeschichte, Lisp von John McCarthy". history-computer.com. Abgerufen 28. Januar, 2016.
- ^ Nilsson, Nils J. "Eine biografische Memoiren" (PDF). Nationale Akademie der Wissenschaften. Abgerufen 20. Februar, 2022.
- ^ Ernsthaft, Les. "Sowjetische Übernahme der Tschechoslowakei im Jahr 1968 von John McCarthy beobachtet; Brief an Les Earnest vom 1. November 1968" (PDF). Prahlen und Fehler von Lester Donald Earnest. Abgerufen 20. Februar, 2022.
- ^ a b c Woo, Elaine (28. Oktober 2011). "John McCarthy stirbt bei 84; der Vater der künstlichen Intelligenz". Los Angeles Zeiten.
- ^ Hayes, Patrick J.; Morgenstern, Leora (2007). "Zu John McCarthys 80. Geburtstag zu Ehren seiner Beiträge". AI Magazine. Vereinigung zur Weiterentwicklung künstlicher Intelligenz. 28 (4): 93–102. Abgerufen 24. November, 2010.
- ^ Williams, Sam (5. März 2002). Argumentation A.I.: Der Kampf um die Wissenschaft des 21. Jahrhunderts. Zufällig. ISBN 978-0812991802.
- ^ Lester Earnest. "A. M. Turing Award: John McCarthy, USA - 1971". ACM. Abgerufen 5. September, 2012.
- ^ McCarthy, John (1951). Projektionsoperatoren und partielle Differentialgleichungen.
- ^ Steven Levy, Hacker, Helden der Computerrevolution, Gutenberg.org, p. 34
- ^ a b Roberts, Jacob (2016). "Denkmaschinen: Die Suche nach künstlicher Intelligenz". Destillationen. 2 (2): 14–23. Archiviert von das Original am 19. August 2018. Abgerufen 20. März, 2018.
- ^ McCarthy, John (1960). "Rekursive Funktionen symbolischer Ausdrücke und deren Berechnung nach Maschine". Kommunikation der ACM. 3 (4): 184–195. Citeseerx 10.1.1.422.5235. doi:10.1145/367177.367199. S2CID 1489409.
- ^ McCarthy, John (August 1959). "Leserbrief". Kommunikation der ACM. 2 (8): 2–3. doi:10.1145/368405.1773349. S2CID 7196706.
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17. August 2016). "Profil der IFIP -Arbeitsgruppe 2.1". Foswiki. Abgerufen 4. Oktober, 2020.
- ^ Swierstra, doitaitse; Gibbons, Jeremy; Meertens, Lambert (2. März 2011). "Scopeetc: IFIP21: Foswiki". Foswiki. Abgerufen 4. Oktober, 2020.
- ^ McCarthy, John (April 1960). "Rekursive Funktionen symbolischer Ausdrücke und ihre Berechnung nach Maschine". Kommunikation der ACM. 3 (4): 184–195. doi:10.1145/367177.367199. S2CID 1489409. Abgerufen 29. März, 2009.
- ^ "Rekursive Funktionen symbolischer Ausdrücke und ihre Berechnung nach Maschine, Teil I". Archiviert von das Original am 4. Oktober 2013. Abgerufen 24. November, 2013.
- ^ Garfinkel, Simson (1999). Abelson, Hal (Hrsg.). Architekten der Informationsgesellschaft, fünfunddreißig Jahre des Labors für Informatik am MIT. Cambridge: MIT Press. p. 1. ISBN 978-0-262-07196-3.
- ^ Der Vortrag mit dem Titel "Time Sharing Computer Systems" beträgt S. 220-248 in Management und der Computer der Zukunft (Ed Martin Greenberger), veröffentlicht 1962, später nachgedruckt als Computer und die Welt der Zukunft (1965).
- ^ McCarthy, John (31. Juli 1994). "Space Bridge kurz". Sci.space.tech Usenet Newsgroup Beiträge. Google -Gruppen.
- ^ McCarthy, John (4. Februar 1995). "Fortschritt und seine Nachhaltigkeit". formal.stanford.edu. Archiviert von das Original am 4. Oktober 2013. Abgerufen 24. November, 2013.
- ^ "Wer sich weigert, Arithmetik zu machen, ist zum Scheitern verurteilt, über Unsinn zu sprechen" (Usenet Newsgroup Sci.Environment Search).
- ^ "John McCarthy, 84, stirbt; Computer Design Pioneer". Die New York Times. 26. Oktober 2011.
- ^ "Baum von John McCarthy -Studenten für die Computergeschichte" Exponate ". Infolab.Stanford.edu. 21. April 2012. archiviert von das Original am 2. Dezember 2013. Abgerufen 24. November, 2013.
- ^ McCarthy, John (28. Juni 2001). "Der Roboter und das Baby". formal.stanford.edu. Archiviert von das Original am 4. Oktober 2013. Abgerufen 24. November, 2013.
- ^ Thomson, Cask J. (26. Oktober 2011). "Der Tod von echten technischen Innovatoren D. Ritchie & J. McCarthy - Doch der Tod von Steve Jobs überschattet alle". Wordswithmeaning -Blog.
- ^ Markoff, John (25. Oktober 2011). "John McCarthy, 84, stirbt; Computer Design Pioneer". Die New York Times.
- ^ "Biographie von Carolyn Talcott". Universität in Stanford. Archiviert von das Original Am 2. Dezember 2013.
- ^ "Computer Pioneer diskutiert den Atheismus, künstliche Intelligenz".
- ^ "Über John McCarthy". Universität in Stanford. Archiviert von das Original am 4. Oktober 2013. Abgerufen 1. Februar, 2013.
- ^ McCarthy, John (7. März 2003). "Kommentar zu Welt, uns und wissenschaftlichen Angelegenheiten". Universität in Stanford. Archiviert von das Original am 4. Oktober 2013. Abgerufen 1. Februar, 2013.
Übrigens bin ich ein Atheist.
- ^ Ernsthaft, Les. "Biografien von John McCarthy". Universität in Stanford. Abgerufen 14. Februar, 2016.
- ^ Myers, Andrew (25. Oktober 2011). "Stanfords John McCarthy, wegweisende Figur der künstlichen Intelligenz, stirbt bei 84". Stanford University News. Abgerufen 26. Oktober, 2011.
- ^ McCarthy, J. (1979), die Maschinen mentale Eigenschaften zuschreiben. In: Philosophische Perspektiven in der künstlichen Intelligenz, hrsg. M. Ringle. Atlantic Highlands, N.J.: Humanities Press.
- ^ Searle, John R (1980). "Köpfe, Gehirne und Programme" (PDF). Verhaltens- und Gehirnwissenschaften. 3 (3): 417–457. doi:10.1017/s0140525x00005756. S2CID 55303721.
- ^ "Nationale Wissenschaftsmedaille des Präsidenten: Empfängerdetails 1990". Nationale Wissenschaftsstiftung. 14. Februar 2006. Abgerufen 27. September, 2012.
- ^ CHM. "John McCarthy - CHM -Preisträger" Preisträger ". Archiviert von das Original am 3. April 2015. Abgerufen 30. März, 2015.[1]
- ^ "Ai's Hall of Fame" (PDF). IEEE Intelligente Systeme. 26 (4): 5–15. 2011. doi:10.1109/MIS.2011.64.
- ^ "IEEE Computer Society Magazine ehrt künstliche Intelligenzführer". Digitaljournal.com. 24. August 2011. Abgerufen 18. September, 2011. Pressemitteilungsquelle: Prweb (Gesang).
- ^ Beckett, Jamie (2. Dezember 2012). "Stanford School of Engineering nennt neue Ingenieurhelden". Stanford News. Abgerufen 2. Dezember, 2012.
Weitere Lektüre
- Philip J. Hilts, Wissenschaftliche Temperamente: Drei Leben in der zeitgenössischen Wissenschaft, Simon und Schuster, 1982. Lange Profile von John McCarthy, Physiker Robert R. Wilson und Genetikist Mark Ptashne.
- Pamela McCorduck, Maschinen, die denken: Eine persönliche Untersuchung der Geschichte und Aussichten künstlicher Intelligenz, 1979, zweite Ausgabe 2004.
- Pamela Weintraub, Hrsg.,, Die Omni -Interviews, New York: Ticknor und Fields, 1984. Gesammelte Interviews, die ursprünglich in veröffentlicht wurden in Omni Zeitschrift; Enthält ein Interview mit McCarthy.
Externe Links
- McCarthys Stanford Homepage Bei der Wayback -Maschine (Archiviert 11. Oktober 2013).
- John McCarthy bei DBLP Bibliographieserver
- John McCarthy Bei der Mathematik Genealogie -Projekt
- John McCarthy beim AI Genealogy Project.
- Feier von John McCarthys Leistungen an der Stanford University.
- Interview mit Guy Steele durchgeführt bei OOPSLA 2008; Interviews:
- Oral History Interview mit John McCarthy bei Charles Babbage Institute, University of Minnesota, Minneapolis. McCarthy diskutiert seine Rolle bei der Entwicklung der Zeit zum Teilen am Massachusetts Institute of Technology. Er beschreibt auch seine Arbeit in künstlicher Intelligenz (KI), die von der Agentur für Advanced Research Projects finanziert wird, einschließlich logikbasierter KI (LISP) und Robotik.
- Oral History Interview mit Marvin Minsky am Charles Babbage Institute, University of Minnesota, Minneapolis. Minsky beschreibt die Forschung für künstliche Intelligenz (KI) am Massachusetts Institute of Technology (MIT), einschließlich der Arbeit von John McCarthy.
- Oral History Interview mit Jack B. Dennis am Charles Babbage Institute, University of Minnesota, Minneapolis. Dennis diskutiert die Arbeit von John McCarthy über die Zeit zum Teilen und den Einfluss des Amtes für Informationsverarbeitungstechniken von DARPA auf die Entwicklung der Zeit zum Teilen.
- Oral History Interview mit Fernando J. Corbató am Charles Babbage Institute, University of Minnesota, Minneapolis.Corbató diskutiert die Informatikforschung, insbesondere die Time-Sharing, am Massachusetts Institute of Technology (MIT), einschließlich John McCarthy und Forschung zur Zeitabteilung.
- Nationale Akademie der Wissenschaften Biografische Memoiren