The Herbert Stoyan collection on LISP programming contains materials documenting the origins, evolution, and use of the LISP programming language and many of its applications in artificial intelligence. Stoyan collected these materials during his career as a researcher and professor, beginning in the former German Democratic Republic (Deutsche Demokratische Republik) and moving to the Federal Republic of Germany (Bundesrepublik Deutschland) in 1981. Types of material collected by Stoyan include memoranda, manuals, technical reports, published and unpublished papers, source program listings, computer media (tapes and flexible diskettes), promotional material, and correspondence. The collection also includes manuscripts of several books written by Stoyan and a small quantity of his personal papers.
Biography / Administrative History
Herbert Stoyan was born in 1943 in what was to become East Germany. Stoyan received a Ph.D. in Philosophy from the Technical University Dresden in 1970 and joined an artificial intelligence (AI) group led by Egbert Lehmann at Robotron. Stoyan implemented the LISP system that was used for all AI work in East Germany, working only from the book The Programming Language LISP: Its Operation and Applications (see Bibliography below). In 1977 he became interested in LISP history; publishing a book on LISP and its history in 1979. In 1981 he moved to West Germany and changed his career from industrial research to university teaching. In 1986 he became Professor of Information Sciences at the University of Konstanz, in 1989 he became Professor of Interdisciplinary Studies in Darmstadt, and in 1990 he became Professor of Artificial Intelligence at the University of Erlangen. He published papers on LISP history in 1984 and 1991 and a two-volume book Programmiermethoden der Künstlichen Intelligenz [Programming Methods of Artificial Intelligence] in 1991. Stoyan retired in 2008.
The programming language LISP was originally designed and implemented by John McCarthy and his group at the Massachusetts Institute of Technology (MIT) as a tool for exploring the then-new field of artificial intelligence. McCarthy received a Ph.D. from Princeton University in 1951 and became an Assistant Professor of Mathematics at Dartmouth College in 1955. In the summer of 1956, he, Marvin Minsky, Nathaniel Rochester, and Claude Shannon organized the Dartmouth Summer Research Project on Artificial Intelligence; it was around this time that McCarthy began thinking about the programming language requirements for artificial intelligence applications. In 1958 McCarthy became Assistant Professor of Communication Science at Massachusetts Institute of Technology; it was there that his thoughts on AI programming began to coalesce into the LISP language. In 1962, McCarthy became Professor of Computer Science at Stanford University, where he stayed until his retirement in 2000.
LISP spread widely and informally as institutions around the world ported or re-implemented it for their local computing environment. In the 1980s a dialect called Common Lisp was introduced with the hope of facilitating the creation of commercial artificial intelligence applications that could run on any Common LISP implementation. In the late 1980s Common Lisp underwent international standardization, but the AI Winter resulting from reduced investment in artificial intelligence at the end of the Cold War substantially impacted the demand for artificial intelligence applications and interest in LISP.
For more information on the history of LISP and LISP programming see the bibliography.
Includes: V. R. Pratt: LISP - An Amicus Curiae Brief, February 4, 1977 -- an unpublished MIT memo on choice of programming language for teaching. Also includes: J.P. Fitch and A.C. Norman. Implementing LISP in a High-level Language. Software Practice and Experience, Volume 7, 1977, pages 713-725. Also: Knut Bahr. Facilities and Restraints of Implementing Lisp in PL/I, Darmstadt, 1970. Also: manual for DEKALISP (for a Motorola 68000 processor in a Zusatzkarte AP20) for the Apple II has been scanned.
Yearly synopsis of projects at Laboratory for Computer Science (LCS). Includes interdisciplinary work, artificial intelligence and expert systems. Early reports included activity in Project MAC. Missing 18,22,23,26,27 and 30.
Hussmann: Unification in Conditional-Equational Theories; Geser and Hussmann: Rapid Prototyping for Algebraic Specifications - Examples for the use of the RAP system; Geser: A Specification of the Intel 8085 Microprocessor - a Case Study.
1985 Projects and Personnel, Wilks: Machine Translation and Artificial Intelligence: Issues and their Histories; Coombs: Artificial Intelligence Foundations for a Cognitive Technology.
