stringtranslate.com

John McCarthy (informático)

John McCarthy (4 de septiembre de 1927 - 24 de octubre de 2011) fue un informático y científico cognitivo estadounidense . Fue uno de los fundadores de la disciplina de la inteligencia artificial . [1] Fue coautor del documento que acuñó el término " inteligencia artificial " (IA), desarrolló la familia de lenguajes de programación Lisp , influyó significativamente en el diseño del lenguaje ALGOL , popularizó el tiempo compartido e inventó la recolección de basura .

McCarthy pasó la mayor parte de su carrera en la Universidad de Stanford . [2] Recibió muchos elogios y honores, como el Premio Turing de 1971 por sus contribuciones al tema de la IA, [3] la Medalla Nacional de Ciencias de los Estados Unidos y el Premio Kyoto .

Temprana edad y educación

John McCarthy nació en Boston, Massachusetts , el 4 de septiembre de 1927, de padre inmigrante irlandés y madre inmigrante judía lituana , [4] John Patrick e Ida (Glatt) McCarthy. La familia se vio obligada a mudarse con frecuencia durante la Gran Depresión , hasta que el padre de McCarthy encontró trabajo como organizador para Amalgamated Clothing Workers en Los Ángeles, California . Su padre provenía de Cromane , un pequeño pueblo de pescadores en el condado de Kerry , Irlanda. [5] Su madre murió en 1957. [6]

Ambos padres fueron miembros activos del Partido Comunista durante la década de 1930 y fomentaron el aprendizaje y el pensamiento crítico. Antes de asistir a la escuela secundaria, McCarthy se interesó por la ciencia al leer una traducción de 100.000 Whys , un libro ruso de divulgación científica para niños. [7] Hablaba con fluidez el idioma ruso e hizo amistad con científicos rusos durante múltiples viajes a la Unión Soviética , pero se distanció después de realizar visitas al Bloque Soviético , lo que lo llevó a convertirse en un republicano conservador . [8]

McCarthy se graduó de Belmont High School dos años antes [9] y fue aceptado en Caltech en 1944.

Mostró una temprana aptitud para las matemáticas ; Durante su adolescencia, aprendió matemáticas por su cuenta en la universidad estudiando los libros de texto utilizados en el cercano Instituto de Tecnología de California (Caltech). Como resultado, pudo saltarse los primeros dos años de matemáticas en Caltech. [10] Fue suspendido de Caltech por no asistir a cursos de educación física . [11] Luego sirvió en el ejército de los EE. UU. y fue readmitido, recibiendo una licenciatura en matemáticas en 1948. [12]

Fue en Caltech donde asistió a una conferencia de John von Neumann que inspiró sus proyectos futuros.

McCarthy completó sus estudios de posgrado en Caltech antes de trasladarse a la Universidad de Princeton , donde recibió un doctorado en matemáticas en 1951 con su disertación " Operadores de proyección y ecuaciones diferenciales parciales ", bajo la supervisión de Donald C. Spencer . [13]

Carrera académica

Después de nombramientos de corta duración en Princeton y la Universidad de Stanford , McCarthy se convirtió en profesor asistente en Dartmouth en 1955.

Un año más tarde, en el otoño de 1956, se trasladó al MIT como investigador. Al final de sus años en el MIT, sus alumnos ya lo llamaban cariñosamente "tío John". [14]

En 1962, se convirtió en profesor titular en Stanford, donde permaneció hasta su jubilación en 2000.

McCarthy defendió matemáticas como el cálculo lambda e inventó lógicas para lograr el sentido común en la inteligencia artificial.

Aportes en informática

McCarthy en 2008

John McCarthy es uno de los "padres fundadores" de la inteligencia artificial, junto con Alan Turing , Marvin Minsky , Allen Newell y Herbert A. Simon . McCarthy, Minsky, Nathaniel Rochester y Claude E. Shannon acuñaron el término "inteligencia artificial" en una propuesta que escribieron para la famosa conferencia de Dartmouth en el verano de 1956. Esta conferencia inició la IA como campo. [9] [15] (Minsky se unió más tarde a McCarthy en el MIT en 1959).

En 1958, propuso el tomador de consejos , que inspiró trabajos posteriores sobre programación lógica y respuesta a preguntas .

A finales de la década de 1950, McCarthy descubrió que las funciones recursivas primitivas podían ampliarse para calcular con expresiones simbólicas, produciendo el lenguaje de programación Lisp . [16] Ese artículo fundamental sobre programación funcional también introdujo la notación lambda tomada de la sintaxis del cálculo lambda en la que dialectos posteriores como Scheme basaron su semántica. Lisp pronto se convirtió en el lenguaje de programación elegido para aplicaciones de IA después de su publicación en 1960.

En 1958, McCarthy formó parte de un comité ad hoc sobre Idiomas de la Asociación de Maquinaria de Computación que pasó a formar parte del comité que diseñó ALGOL 60 . En agosto de 1959 propuso el uso de recursividad y expresiones condicionales, que pasaron a formar parte de ALGOL. [17] Luego se involucró en el desarrollo de estándares internacionales en programación e informática, como miembro del Grupo de Trabajo IFIP 2.1 de la Federación Internacional para el Procesamiento de Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [18] que especificaba , mantiene y respalda ALGOL. 60 y ALGOL 68 . [19]

Alrededor de 1959, inventó los métodos llamados de " recolección de basura ", una especie de gestión automática de la memoria , para resolver problemas en Lisp. [20] [21]

Durante su estancia en el MIT , ayudó a motivar la creación del Proyecto MAC , y mientras estuvo en la Universidad de Stanford, ayudó a establecer el Laboratorio de IA de Stanford , durante muchos años un rival amistoso del Proyecto MAC.

McCarthy jugó un papel decisivo en la creación de tres de los primeros sistemas de tiempo compartido ( Compatible Time-Sharing System , BBN Time-Sharing System y Dartmouth Time Sharing System ). Su colega Lester Earnest dijo a Los Angeles Times:

Internet no habría existido tan pronto como lo hizo, excepto por el hecho de que John inició el desarrollo de sistemas de tiempo compartido. Seguimos inventando nuevos nombres para el tiempo compartido. Se pasó a llamar servidores… Ahora lo llamamos computación en la nube. Eso sigue siendo sólo tiempo compartido. Juan lo empezó. [9]

—Elaine  Woo

En 1961, fue quizás el primero en sugerir públicamente la idea de la informática de utilidad , en un discurso pronunciado para celebrar el centenario del MIT: que la tecnología de tiempo compartido de las computadoras podría dar lugar a un futuro en el que la potencia informática e incluso aplicaciones específicas podrían venderse a través del modelo de negocio de servicios públicos (como agua o electricidad ). [22] [23] Esta idea de una computadora o utilidad de información fue muy popular a fines de la década de 1960, pero se había desvanecido a mediados de la década de 1990. Sin embargo, desde el año 2000, la idea ha resurgido en nuevas formas (ver proveedor de servicios de aplicaciones , computación grid y computación en la nube ).

En 1966, McCarthy y su equipo en Stanford escribieron un programa de computadora utilizado para jugar una serie de partidas de ajedrez con sus homólogos de la Unión Soviética ; El equipo de McCarthy perdió dos juegos y empató dos (ver Kotok-McCarthy ).

De 1978 a 1986, McCarthy desarrolló el método de circunscripción del razonamiento no monótono .

En 1982, parece haber tenido la idea de la fuente espacial , una especie de torre que se extiende en el espacio y se mantiene vertical gracias a la fuerza hacia el exterior de una corriente de bolitas impulsadas desde la Tierra a lo largo de una especie de cinta transportadora que devuelve las bolitas a la Tierra. Las cargas útiles subirían por la cinta transportadora. [24]

Otras actividades

McCarthy comentaba a menudo sobre asuntos mundiales en los foros de Usenet . Algunas de sus ideas se pueden encontrar en su página web sobre sostenibilidad, [25] que "tiene como objetivo mostrar que el progreso material humano es deseable y sostenible". McCarthy era un ávido lector de libros, optimista y firme partidario de la libertad de expresión. Su mejor interacción en Usenet es visible en los archivos rec.arts.books. Asistió activamente a cenas de lectores rabistas del Área de la Bahía de San Francisco en Palo Alto , llamadas rab-fests. Continuó defendiendo las críticas a la libertad de expresión que involucraban chistes étnicos europeos en Stanford. [26]

McCarthy vio la importancia de las matemáticas y la educación matemática. Su Usenet .sig durante años fue: "Quien se niega a hacer aritmética está condenado a decir tonterías"; En la tapa de su matrícula se leía de manera similar: "Haz la aritmética o estarás condenado a decir tonterías". [27] [28] Asesoró a 30 graduados de doctorado. [29]

Su cuento de 2001 "El robot y el bebé" [30] exploró ridículamente la cuestión de si los robots deberían tener (o simular tener) emociones, y anticipó aspectos de la cultura de Internet y las redes sociales que se volvieron cada vez más prominentes durante las décadas siguientes. [31]

Vida personal

McCarthy estuvo casado tres veces. Su segunda esposa fue Vera Watson , una programadora y alpinista que murió en 1978 intentando escalar el Annapurna I Central como parte de una expedición exclusivamente femenina . Más tarde se casó con Carolyn Talcott , una científica informática de Stanford y más tarde de SRI International . [32] [33]

McCarthy se declaró ateo en un discurso sobre inteligencia artificial en la Stanford Memorial Church . [34] [35] [36] Criado como comunista , se convirtió en un republicano conservador después de una visita a Checoslovaquia en 1968 después de la invasión soviética . [37] Murió en su casa en Stanford el 24 de octubre de 2011. [38]

Filosofía de la inteligencia artificial

En 1979 McCarthy escribió un artículo [39] titulado "Atribuir cualidades mentales a las máquinas". En él escribió: "Se puede decir que máquinas tan simples como los termostatos tienen creencias, y tener creencias parece ser una característica de la mayoría de las máquinas capaces de resolver problemas". En 1980, el filósofo John Searle respondió con su famoso Argumento de la habitación china , [40] [15] en desacuerdo con McCarthy y adoptando la postura de que las máquinas no pueden tener creencias simplemente porque no son conscientes. Searle sostiene que las máquinas carecen de intencionalidad . Se ha escrito una gran cantidad de literatura [ se necesita ejemplo ] en apoyo de un lado o del otro.

Premios y honores

Publicaciones principales

Ver también

Referencias

  1. ^ Mishlove, Jeffrey (3 de noviembre de 2011). John McCarthy (1927-2011): Inteligencia artificial (completo) – Pensar permitido. Video de Youtube ). Archivado desde el original el 24 de marzo de 2013 . Consultado el 8 de agosto de 2022 .Además, con el mismo título. Archivo fantasma . Archivado desde el original el 31 de julio de 2021 . Consultado el 8 de agosto de 2022 .{{cite AV media}}: Mantenimiento CS1: bot: estado de la URL original desconocido ( enlace )
  2. ^ McCarthy, John. "Profesor John McCarthy". jmc.stanford.edu .
  3. ^ "John McCarthy - Premio AM Turing". amturing.acm.org .
  4. ^ Shasha, Dennis; Lazere, Cathy (1998). Fuera de sus mentes: las vidas y los descubrimientos de 15 grandes informáticos. Saltador . pag. 23.ISBN 9780387982694. Consultado el 27 de febrero de 2016 .
  5. ^ "Académico líder que acuñó el término 'inteligencia artificial'". Los tiempos irlandeses . Consultado el 28 de enero de 2016 .
  6. ^ "Historia de las computadoras y la informática, nacimiento de la computadora moderna, historia del software, LISP de John McCarthy". historia-computadora.com . Consultado el 28 de enero de 2016 .
  7. ^ Nilsson, Nils J. "Una memoria biográfica" (PDF) . Academia Nacional de Ciencias . Consultado el 20 de febrero de 2022 .
  8. ^ Serio, Les. "Toma soviética de Checoslovaquia en 1968 presenciada por John McCarthy; carta a Les Earnest fechada el 1 de noviembre de 1968" (PDF) . Alardes y errores de Lester Donald Earnest . Consultado el 20 de febrero de 2022 .
  9. ^ abc Woo, Elaine (28 de octubre de 2011). "John McCarthy muere a los 84 años; el padre de la inteligencia artificial". Los Ángeles Times .
  10. ^ Hayes, Patrick J.; Morgenstern, Leora (2007). "En el 80 cumpleaños de John McCarthy, en honor a sus contribuciones". Revista AI . 28 (4). Asociación para el Avance de la Inteligencia Artificial : 93–102. Archivado desde el original el 23 de septiembre de 2011 . Consultado el 24 de noviembre de 2010 .
  11. ^ Williams, Sam (5 de marzo de 2002). Argumentando la IA: la batalla por la ciencia del siglo XXI . Al azar. ISBN 978-0812991802.
  12. ^ Lester serio. "Premio AM Turing: John McCarthy, Estados Unidos - 1971". ACM . Consultado el 5 de septiembre de 2012 .
  13. ^ McCarthy, John (1951). Operadores de proyección y ecuaciones diferenciales parciales.
  14. ^ Steven Levy, Hackers, héroes de la revolución informática, Gutenberg.org, p. 34
  15. ^ ab Roberts, Jacob (2016). "Máquinas pensantes: la búsqueda de la inteligencia artificial". Destilaciones . 2 (2): 14-23. Archivado desde el original el 19 de agosto de 2018 . Consultado el 20 de marzo de 2018 .
  16. ^ McCarthy, John (1960). "Funciones recursivas de expresiones simbólicas y su cálculo por máquina". Comunicaciones de la ACM . 3 (4): 184-195. CiteSeerX 10.1.1.422.5235 . doi :10.1145/367177.367199. S2CID  1489409. 
  17. ^ McCarthy, John (agosto de 1959). "Carta al editor". Comunicaciones de la ACM . 2 (8): 2–3. doi :10.1145/368405.1773349. S2CID  7196706.
  18. ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 del IFIP". Foswiki . Consultado el 4 de octubre de 2020 .
  19. ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "AlcanceEtc: IFIP21: Foswiki". Foswiki . Consultado el 4 de octubre de 2020 .
  20. ^ McCarthy, John (abril de 1960). "Funciones recursivas de expresiones simbólicas y su cálculo por máquina". Comunicaciones de la ACM . 3 (4): 184-195. doi : 10.1145/367177.367199 . S2CID  1489409.
  21. ^ "Funciones recursivas de expresiones simbólicas y su cálculo por máquina, Parte I". Archivado desde el original el 4 de octubre de 2013 . Consultado el 24 de noviembre de 2013 .
  22. ^ Garfinkel, Simson (1999). Abelson, Hal (ed.). Arquitectos de la Sociedad de la Información, Treinta y cinco años del Laboratorio de Ciencias de la Computación del MIT. Cambridge: Prensa del MIT. pag. 1.ISBN 978-0-262-07196-3.
  23. ^ La conferencia, titulada "Sistemas informáticos de tiempo compartido", se encuentra en las páginas 220-248 de Management and the Computer of the Future (ed. Martin Greenberger), publicada en 1962 y posteriormente reimpresa como Computers and the world of the Future (1965).
  24. ^ McCarthy, John (31 de julio de 1994). "Puente espacial corto". sci.space.tech Publicaciones del grupo de noticias de Usenet . Grupos de Google.
  25. ^ McCarthy, John (4 de febrero de 1995). "El progreso y su sostenibilidad". formal.stanford.edu. Archivado desde el original el 4 de octubre de 2013 . Consultado el 24 de noviembre de 2013 .
  26. ^ McCarthy, John (12 de mayo de 1997). "Intento de censura de bibliotecas electrónicas en la Universidad de Stanford en 1989". formal.stanford.edu . Consultado el 5 de diciembre de 2023 .
  27. ^ "Quien se niega a hacer aritmética está condenado a decir tonterías" (búsqueda en el grupo de noticias Usenet sci.environment).
  28. ^ "Muere John McCarthy, 84 años; pionero del diseño informático". Los New York Times . 26 de octubre de 2011.
  29. ^ "Árbol de estudiantes de John McCarthy para las exhibiciones de historia de la informática". infolab.Stanford.edu. 21 de abril de 2012. Archivado desde el original el 2 de diciembre de 2013 . Consultado el 24 de noviembre de 2013 .
  30. ^ McCarthy, John (28 de junio de 2001). "El robot y el bebé". formal.stanford.edu. Archivado desde el original el 4 de octubre de 2013 . Consultado el 24 de noviembre de 2013 .
  31. ^ Thomson, Cask J. (26 de octubre de 2011). "La muerte de los VERDADEROS innovadores tecnológicos D. Ritchie y J. McCarthy; sin embargo, la muerte de Steve Jobs lo eclipsa todo". Blog de palabras con significado . Archivado desde el original el 26 de abril de 2012.
  32. ^ Markoff, John (25 de octubre de 2011). "Muere John McCarthy, 84 años; pionero del diseño informático". Los New York Times .
  33. ^ "Biografía de Carolyn Talcott". Universidad Stanford . Archivado desde el original el 2 de diciembre de 2013.
  34. ^ "El pionero de la informática analiza el ateísmo y la inteligencia artificial". 23 de enero de 2023.
  35. ^ "Acerca de John McCarthy". Universidad de Stanford. Archivado desde el original el 4 de octubre de 2013 . Consultado el 1 de febrero de 2013 .
  36. ^ McCarthy, John (7 de marzo de 2003). "Comentario sobre asuntos mundiales, estadounidenses y científicos". Universidad Stanford. Archivado desde el original el 4 de octubre de 2013 . Consultado el 1 de febrero de 2013 . Por cierto, soy ateo.
  37. ^ Serio, Les. "Biografías de John McCarthy". Universidad Stanford . Consultado el 14 de febrero de 2016 .
  38. ^ Myers, Andrew (25 de octubre de 2011). "John McCarthy de Stanford, figura fundamental de la inteligencia artificial, muere a los 84 años". Noticias de la Universidad de Stanford . Consultado el 26 de octubre de 2011 .
  39. ^ McCarthy, J. (1979) Atribución de cualidades mentales a las máquinas. En: Perspectivas filosóficas de la inteligencia artificial, ed. Señor Ringle. Atlantic Highlands, Nueva Jersey: Humanities Press.
  40. ^ Searle, John R (1980). "Mentes, cerebros y programas" (PDF) . Ciencias del comportamiento y del cerebro . 3 (3): 417–457. doi :10.1017/s0140525x00005756. S2CID  55303721.
  41. ^ "Medalla Nacional de Ciencias del Presidente: Detalles del destinatario 1990". Fundación Nacional de Ciencia. 14 de febrero de 2006 . Consultado el 27 de septiembre de 2012 .
  42. ^ CHM. "John McCarthy - Ganador del premio CHM Fellow". Archivado desde el original el 3 de abril de 2015 . Consultado el 30 de marzo de 2015 .[1]
  43. ^ "Salón de la fama de la IA" (PDF) . Sistemas inteligentes IEEE . 26 (4): 5-15. 2011. doi :10.1109/MIS.2011.64. Archivado desde el original (PDF) el 16 de diciembre de 2011 . Consultado el 4 de septiembre de 2015 .
  44. ^ Beckett, Jamie (2 de diciembre de 2012). "La Escuela de Ingeniería de Stanford nombra nuevos héroes de la ingeniería". Noticias de Stanford . Consultado el 2 de diciembre de 2012 .

Otras lecturas

Enlaces externos