In 1958, John McCarthy, a pivotal figure in the founding of artificial intelligence who coined the term in 1955, invented the list-processing language LISP, which became the preferred choice for programming AI systems. Programs developed in LISP have been utilized in NASA spacecraft and are integral to various practical AI applications. McCarthy's 1960 paper, “Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I,” laid the theoretical groundwork for LISP as a universal computational formalism. Additionally, he made groundbreaking contributions to the verification of program specifications. He passed away in 2011 at the age of 84.

LISP is celebrated for its flexibility and power, enabling the creation of a diverse array of software, including operating systems, compilers, games, and artificial intelligence systems. LISP Machines, Inc., founded by Richard Greenblatt, and Symbolics, founded by AI Lab ex-administrator Russell Noftsker, were key players in the…