Дослідження · квітень 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 р.

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

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

Записи, що посилаються на цей

Спирається на SAINT
Програму написано на Lisp.
A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus
Спирається на STUDENT
Програму написано на Lisp.
Natural Language Input for a Computer Problem Solving System
Спирається на SHRDLU
Програму написано на Lisp і на його основі побудовано мову Micro-Planner.
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language
Спирається на MYCIN
Систему написано на Lisp.
Computer-Based Medical Consultations: MYCIN
Пов’язано Машина зв'язків
Машину будували під обробку даних паралельно, а не під послідовне виконання символьного коду.
Спирається на LCF: програма, що перевіряє доведення про обчислення
За ретроспективою Гордона, единбурзьку LCF разом з інтерпретатором ML написано на Lisp.
From LCF to HOL: a short history (Mike Gordon)
Спирається на Бойєр і Мур: індукція без підказок людини
Програма доводить теореми саме про рекурсивні функції 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