PDF of the second edition of Information Processing Language V Manual (1964).
The Wikipedia article details the Logic Theorist, created in 1956 by Allen Newell, Herbert A. Simon, and Cliff Shaw. Widely considered the first AI program, it successfully proved 38 of the first 52 theorems in Principia Mathematica, even discovering more elegant proofs than those originally crafted by Russell and Whitehead.
An interdisciplinary research project exploring the history and ideas behind the influential ELIZA chatbot, created in the 1960s. The project aims to contextualize ELIZA, analyze its code, and examine its cultural impact on human-computer interaction.
This paper explores the history of ELIZA, the world's first chatbot, and how it was actually intended as a platform for research into human-machine interaction and interpretation, not as a chatbot.
