John McCarthy

John McCarthy (2006)

John McCarthy (nacido el 4 de septiembre de, 1927 en Boston , Massachusetts , † 23 de de octubre de, 2011 en Palo Alto , California ) fue un estadounidense lógico, científico de la computación y autor. Es el inventor del lenguaje de programación LISP . Por sus importantes contribuciones al campo de la inteligencia artificial , McCarthy recibió el Premio Turing en 1971 y un Premio de Kioto en 1988 . En 1991 recibió la Medalla Nacional de Ciencias .

Vida

McCarthy recibió su licenciatura en matemáticas del Instituto de Tecnología de California en 1948 . Obtuvo su doctorado tres años después en 1951 en la Universidad de Princeton con Solomon Lefschetz ( Operadores de proyección y ecuaciones diferenciales parciales ). Después de estadías en la Universidad de Stanford , Dartmouth College y el Instituto de Tecnología de Massachusetts , fue profesor en Stanford desde 1962, donde se jubiló en 2000. Estuvo activo como profesor emérito en la Universidad de Stanford hasta su muerte y a menudo comentaba sobre eventos mundiales en foros de Internet desde una perspectiva matemático-científica.

El primer estudiante de doctorado de McCarthy fue Raj Reddy , quien más tarde también ganó el premio Turing. McCarthy también fue el supervisor de doctorado de la ganadora del Premio Turing Barbara Liskov .

De 1957 a 1959 fue ascendido a Sloan Fellow en el campo de la ciencia física. Fue miembro de la Academia Estadounidense de Artes y Ciencias (1974), la Asociación Estadounidense para el Avance de la Ciencia , la Sociedad Matemática Estadounidense y la Asociación de Maquinaria de Computación . En 1987 fue admitido en la Academia Nacional de Ingeniería y en 1989 en la Academia Nacional de Ciencias . Fue presidente de la Asociación Estadounidense de Inteligencia Artificial de 1983 a 1984 y formó parte del consejo editorial de Artificial Intelligence Journal desde 1975 .

Escribió historias breves en las que el desarrollo de la IA juega un papel.

McCarthy era ateo. Cita:

“Respondiendo a que Richard Dawkins molestaba a sus compañeros ateos para que 'salieran del armario', menciono que de hecho soy ateo. Para considerarse ateo no es necesario pretender tener una prueba de que no existen dioses. Uno simplemente necesita pensar que la evidencia sobre la cuestión de Dios está en el mismo estado que la evidencia sobre la cuestión del hombre lobo ".

Actuar

La primera conferencia sobre inteligencia artificial, la Conferencia de Dartmouth , tuvo lugar en el verano de 1956. En 1955, McCarthy acuñó el término inteligencia artificial en la solicitud de financiación de la Fundación Rockefeller para esta conferencia . McCarthy es el inventor del lenguaje de programación LISP , cuyo diseño presentó en 1960 en la revista Communications of the ACM . LISP fue una de las primeras implementaciones de un cálculo lógico en una computadora.

También se le atribuye la invención del algoritmo alfa-beta , que hizo una contribución decisiva a la fuerza de juego de los programas de ajedrez, y el primer algoritmo de marca y barrido para la recolección automática de basura.

Otros

El premio John McCarthy de la IJCAI se otorga a científicos de mitad de carrera en inteligencia artificial.

literatura

  • Vladimir Lifschitz: John McCarthy (1927-2011). En: Nature , Volumen 480, 2011, p. 40.

enlaces web

Commons : John McCarthy  - Colección de imágenes, videos y archivos de audio

documentos de respaldo

  1. tweet de Stanford Engineering
  2. a b c ((Requiescat) in (pace)): Sobre la muerte de John McCarthy . heise.de, 25 de octubre de 2011; Consultado el 25 de octubre de 2011.
  3. jmc / personal Universidad de Stanford
  4. ^ McCarthy et al: una propuesta para el proyecto de investigación de verano de Dartmouth sobre inteligencia artificial . ( Memento del 30 de septiembre de 2008 en Internet Archive ) Agosto de 1955, p. 1 (solicitud de financiación)