stringtranslate.com

John McCarthy (informático)

John McCarthy (4 de septiembre de 1927 - 24 de octubre de 2011) fue un científico 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ó numerosos 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 Kioto .

Vida temprana y educación

John McCarthy nació en Boston, Massachusetts , el 4 de septiembre de 1927, hijo de un padre inmigrante irlandés y una 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 de los Trabajadores de la Confección Amalgamated en Los Ángeles, California . Su padre provenía de Cromane , un pequeño pueblo pesquero 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 alentaron el aprendizaje y el pensamiento crítico. Antes de asistir a la escuela secundaria, McCarthy se interesó en la ciencia al leer una traducción de 100,000 Whys , un libro de ciencia popular ruso para niños. [7] Hablaba con fluidez el idioma ruso y se hizo amigo de 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.

Demostró una temprana aptitud para las matemáticas ; durante su adolescencia, aprendió matemáticas de manera autodidacta estudiando los libros de texto que se usaban en el cercano Instituto de Tecnología de California (Caltech). Como resultado, pudo saltarse los dos primeros años de matemáticas en Caltech. [10] Fue suspendido de Caltech por no asistir a los 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 futuros esfuerzos.

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 corto plazo en la Universidad de Princeton y Stanford , McCarthy se convirtió en profesor asistente en Dartmouth en 1955.

Un año después, en el otoño de 1956, se trasladó al MIT como investigador asociado . Al final de sus años en el MIT, sus estudiantes ya se referían a él cariñosamente como "tío John". [14]

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

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

Contribuciones 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 más tarde se unió a McCarthy en el MIT en 1959).

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

A finales de la década de 1950, McCarthy descubrió que las funciones recursivas primitivas podían extenderse para realizar cálculos con expresiones simbólicas, lo que produjo el lenguaje de programación Lisp . [16] Ese artículo seminal de 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 de elección para aplicaciones de IA después de su publicación en 1960.

En 1958, McCarthy formó parte de un comité ad hoc de la Association for Computing Machinery sobre lenguajes que pasó a formar parte del comité que diseñó ALGOL 60. En agosto de 1959 propuso el uso de la recursión y las 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 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre lenguajes algorítmicos y cálculos, [18] que especificó , mantiene y respalda ALGOL 60 y ALGOL 68. [ 19]

Alrededor de 1959, inventó los llamados métodos de " recolección de basura ", una especie de gestión automática de 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 Inteligencia Artificial de Stanford , durante muchos años un rival amistoso del Proyecto MAC.

McCarthy contribuyó decisivamente a la creación de tres de los primeros sistemas de tiempo compartido ( el sistema de tiempo compartido compatible , el sistema de tiempo compartido BBN y el sistema de tiempo compartido Dartmouth ). Su colega Lester Earnest le dijo al diario Los Angeles Times:

Internet no habría surgido tan rápidamente si no fuera por el hecho de que John inició el desarrollo de sistemas de tiempo compartido. Seguimos inventando nuevos nombres para el tiempo compartido. Empezó a llamarse servidores... Ahora lo llamamos computación en la nube. Eso sigue siendo simplemente tiempo compartido. John lo inició. [9]

—Elaine  Woo

En 1961, fue quizás el primero en sugerir públicamente la idea de la computación 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 como resultado 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 el agua o la electricidad ). [22] [23] Esta idea de una utilidad informática o de información fue muy popular a finales de la década de 1960, pero se había desvanecido a mediados de la década de 1990. Sin embargo, desde 2000, la idea ha resurgido en nuevas formas (véase proveedor de servicios de aplicaciones , computación en red 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 en la Unión Soviética ; el equipo de McCarthy perdió dos partidas y empató dos partidas (ver Kotok-McCarthy ).

Entre 1978 y 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 , un tipo de torre que se extiende hacia el espacio y se mantiene vertical gracias a la fuerza de un chorro de pellets impulsados ​​desde la Tierra a lo largo de una especie de cinta transportadora que devuelve los pellets a la Tierra. Las cargas útiles viajarían por la cinta transportadora hacia arriba. [24]

Otras actividades

McCarthy solía comentar 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 demostrar que el progreso material humano es deseable y sostenible". McCarthy era un ávido lector de libros, un optimista y un firme defensor de la libertad de expresión. Su mejor interacción con Usenet se puede ver en los archivos de rec.arts.books. Asistió activamente a las cenas de lectores de raza negra en el Área de la Bahía de San Francisco en Palo Alto , llamadas rab-fests. Luego pasó a defender las críticas a la libertad de expresión que incluían chistes étnicos europeos en Stanford [26] .

McCarthy comprendió la importancia de las matemáticas y de la educación matemática. Durante años, su firma en Usenet fue: "Quien se niega a hacer cálculos está condenado a decir tonterías"; la cubierta de su matrícula decía, de manera similar, "Haz cálculos 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ó de manera ridícula 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 se casó 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 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 un ejemplo ] en apoyo de uno u otro lado.

Premios y honores

Publicaciones importantes

Véase también

Referencias

  1. ^ Mishlove, Jeffrey (3 de noviembre de 2011). John McCarthy (1927-2011): Inteligencia artificial (completa) – Pensamiento permitido. YouTube (video). Archivado desde el original el 24 de marzo de 2013. Consultado el 8 de agosto de 2022 .También 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}}: CS1 maint: bot: estado de URL original desconocido ( enlace )
  2. ^ McCarthy, John. "Profesor John McCarthy". jmc.stanford.edu .
  3. ^ "John McCarthy – Ganador del premio AM Turing". amturing.acm.org .
  4. ^ Shasha, Dennis; Lazere, Cathy (1998). Fuera de sí: las vidas y los descubrimientos de 15 grandes científicos informáticos. Springer . p. 23. ISBN 9780387982694. Recuperado el 27 de febrero de 2016 .
  5. ^ "Académico destacado que acuñó el término 'inteligencia artificial'". The Irish Times . Consultado el 28 de enero de 2016 .
  6. ^ "Historia de las computadoras y la computación, Nacimiento de la computadora moderna, Historia del software, LISP de John McCarthy". history-computer.com . Consultado el 28 de enero de 2016 .
  7. ^ Nilsson, Nils J. "A Biographical Memoir" (PDF) . Academia Nacional de Ciencias . Consultado el 20 de febrero de 2022 .
  8. ^ Earnest, Les. "La toma de posesión soviética de Checoslovaquia en 1968, presenciada por John McCarthy; carta a Les Earnest fechada el 1 de noviembre de 1968" (PDF) . Fanfarronadas y desatinos 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 Angeles Times .
  10. ^ Hayes, Patrick J.; Morgenstern, Leora (2007). "En el 80.º cumpleaños de John McCarthy, en honor a sus contribuciones". AI Magazine . 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 . AtRandom. ISBN 978-0812991802.
  12. ^ Lester Earnest. «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ág. 34
  15. ^ ab Roberts, Jacob (2016). «Máquinas pensantes: la búsqueda de 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: MIT Press. p. 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). "Space Bridge Short". Publicaciones de grupos de noticias de Usenet de sci.space.tech . 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 cálculos aritméticos está condenado a decir tonterías" (grupo de noticias Usenet sci.environment search).
  28. ^ "Muere John McCarthy, pionero del diseño informático, a los 84 años". The New York Times . 26 de octubre de 2011.
  29. ^ "Árbol de estudiantes de John McCarthy para las Exhibiciones de Historia de la Computación". 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 eclipsa todo". Blog WordsWithMeaning . Archivado desde el original el 26 de abril de 2012.
  32. ^ Markoff, John (25 de octubre de 2011). «John McCarthy, 84, muere; pionero del diseño informático». The New York Times .
  33. ^ "Biografía de Carolyn Talcott". Universidad de Stanford . Archivado desde el original el 2 de diciembre de 2013.
  34. ^ "Un pionero de la informática habla sobre 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). «Commentary on World, US, and scientific affairs» (Comentario sobre asuntos mundiales, estadounidenses y científicos). Universidad de Stanford. Archivado desde el original el 4 de octubre de 2013. Consultado el 1 de febrero de 2013. Por cierto, soy ateo.
  37. ^ Earnest, Les. "Biografías de John McCarthy". Universidad de Stanford . Consultado el 14 de febrero de 2016 .
  38. ^ Myers, Andrew (25 de octubre de 2011). «John McCarthy, figura seminal de la inteligencia artificial, muere a los 84 años». Stanford University News . Consultado el 26 de octubre de 2011 .
  39. ^ McCarthy, J. (1979) Atribución de cualidades mentales a las máquinas. En: Philosophical perspectives in artificial intelligence, ed. M. Ringle. Atlantic Highlands, NJ: 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 Ciencias. 14 de febrero de 2006. Consultado el 27 de septiembre de 2012 .
  42. ^ CHM. «John McCarthy – Ganador del premio CHM Fellow Award». Archivado desde el original el 3 de abril de 2015. Consultado el 30 de marzo de 2015 .[1]
  43. ^ "AI's Hall of Fame" (PDF) . IEEE Intelligent Systems . 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». Stanford News . Consultado el 2 de diciembre de 2012 .

Lectura adicional

Enlaces externos