Запис атласу: https://www.aitimeline.dev/uk/events/evt-0090/

Дослідження · квітень 1960 р.

Розміщено за датою сучасного події першоджерела. Точна дата події невідома; нижче наведено підтверджений часовий інтервал.

Lisp

Маккарті описав мову, у якій програма і дані мають однакову форму списку, а обчислення визначено рекурсивними функціями над символами.

Чому це важливо

Символьні обчислення отримали робочий інструмент, і на ньому були написані майже всі системи ШІ наступних тридцяти років.

Стаття вводила eval як математичне визначення мови; Стів Рассел зауважив, що eval можна реалізувати, і зробив це на IBM 704. Складання сміття, замикання і однорідність коду й даних прийшли у широкий обіг саме звідси. STUDENT, DENDRAL і SHRDLU писалися на Lisp.

Відомості про подію

Дата події

1958 – квітень 1960 р.

Дата на часовій осі

Дата первинної публікації

Перевірка

Джерела зібрано автоматично · 17 вересня 2026 р.

Лінії

ID

evt-0090

Роботу над мовою розпочато 1958 року; стаття вийшла у CACM у квітні 1960 року. Прив'язка — за публікацією.

Джерела

першоджерело Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
Communications of the ACM · Опубліковано квітень 1960 р.
архівна копія Recursive Functions of Symbolic Expressions and Their Computation by Machine (AI Memo 8)
MIT DSpace (MIT AI Lab memo AIM-008) · Опубліковано 13 березня 1959 р.

Пов’язані події

Раніше

Пов’язано Програми зі здоровим глуздом 1958
Мова дала засіб записувати символьні вирази, потрібні системі на кшталт advice taker.

Пізніше

Спирається на SAINT 1961посилається на цей запис
Програму написано на Lisp.
- A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus · MIT
Спирається на STUDENT 1964посилається на цей запис
Програму написано на Lisp.
- Natural Language Input for a Computer Problem Solving System · MIT
Спирається на SHRDLU 1971посилається на цей запис
Програму написано на Lisp і на його основі побудовано мову Micro-Planner.
- Procedures as a Representation for Data in a Computer Program for Understanding Natural Language · MIT
Спирається на LCF: програма, що перевіряє доведення про обчислення 1972посилається на цей запис
За ретроспективою Гордона, единбурзьку LCF разом з інтерпретатором ML написано на Lisp.
- From LCF to HOL: a short history (Mike Gordon) · University of Cambridge Computer Laboratory (author's copy)
Спирається на Бойєр і Мур: індукція без підказок людини 1973посилається на цей запис
Програма доводить теореми саме про рекурсивні функції LISP і сама виконує їх інтерпретатором LISP, щоб побудувати формулу індукції.
- Proving Theorems about LISP Functions (Robert S. Boyer, J Strother Moore), Advance Papers of the Third International Joint Conference on Artificial Intelligence, 486-493 · IJCAI
Спирається на MYCIN 1974посилається на цей запис
Систему написано на Lisp.
- Computer-Based Medical Consultations: MYCIN · American Elsevier
Пов’язано Машина зв'язків 1985посилається на цей запис
Машину будували під обробку даних паралельно, а не під послідовне виконання символьного коду.