AWhat changed
McCarthy described symbolic expressions, recursively defined functions and their realization in the Lisp programming system. Programs could manipulate structured symbols, providing a foundation for symbolic computing and AI research tools.
Scientific scope
McCarthy described symbolic expressions, recursively defined functions and their realization in the Lisp programming system. Programs could manipulate structured symbols, providing a foundation for symbolic computing and AI research tools. Scope limitation: This is human-designed computing infrastructure. Its role in AI does not make it an AI-authored discovery. The paper is one contribution within the MIT team’s broader implementation work.
Evidence
Assessment uses the catalogue-linked source evidence for the stated contribution. This is human-designed computing infrastructure. Its role in AI does not make it an AI-authored discovery. The paper is one contribution within the MIT team’s broader implementation work.
Contributors
- John McCarthy · SCIENCE: Named source contributor; exact labor shares are not measured.
- Recursive functions of symbolic expressions and their computation by machine, Part I
- Recursive functions of symbolic expressions and their computation by machine, Part I — deposited bibliography
- McCarthy: Recursive Functions — introduction
- McCarthy: Recursive Functions of Symbolic Expressions
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction