John McCarthy (m. 2000). Su impacto en la informática podría ser incluso mayor que Turing. Estos son algunos de sus logros:
- Inventó LISP, el primer lenguaje de programación de propósito general basado en abstracciones matemáticas en lugar de hardware de computadora. Es esencialmente la base de los lenguajes modernos (ansiosos) funcionales. Además, fue el primer idioma con
- recolección de basura
- escritura dinámica
- expresiones condicionales
- recursividad
- programas representables como literales
- una función eval
- un ciclo de lectura-evaluación-impresión
- un compilador de alojamiento propio
- Básicamente, fundó la disciplina de la verificación formal del programa (y, posiblemente, la semántica denotacional). Escribió la primera prueba formal de un compilador, y su enfoque para la verificación del programa es esencialmente el utilizado por los probadores de teoremas interactivos hasta el día de hoy.
- Su proyecto de investigación entregó el primer sistema de tiempo compartido, y fue el primero en proponer la informática de servicios públicos (que evolucionó a la nube de hoy)
- Introdujo la recursividad en lenguajes estructurados en bloques (Algol 60).
- Él acuñó el término “inteligencia artificial”, organizó la primera conferencia de IA y fue un pionero importante de la IA (incluso más allá de LISP, que ha sido el lenguaje dominante para llevar a cabo el trabajo de IA). Por ejemplo, enfatizó la importancia de la representación del conocimiento (no se puede aprender lo que no se le puede decir), el uso de la lógica para representar el conocimiento y las formas de razonar con conocimiento incompleto.