Recursive functions of symbolic expressions and their computation by machine, Part I

1960/04/01 by John McCarthy · 35 citations
Computer Science · #Evolutionary Algorithms and Applications #Cellular Automata and Applications #Logic, programming, and type systems

paper · pdf · doi:10.1145/367177.367199

Abstract

A programming system called LISP (for LISt Processor) has been developed for the IBM 704 computer by the Artificial Intelligence group at M.I.T. The system was designed to facilitate experiments with a proposed system called the Advice Taker, whereby a machine could be instructed to handle declarative

Cited by

• Can programming be liberated from the von Neumann style?
• Computing with Hereditarily Finite Sequences
• Evolution of Emacs Lisp
• LaForge: Always-Correct and Fast Incremental Builds from Simple\n Specifications
• Semantic Hypergraphs
• Hey Pentti, We Did (More of) It!: A Vector-Symbolic Lisp With Residue Arithmetic
• GPU-based track-finding for the J-PARC muon g-2/EDM experiment
• Revisiting Elementary Denotational Semantics
• The development of computational methods for Feynman diagrams
• Pantograph: A Fluid and Typed Structure Editor
• Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
• Solar forecasting methods for renewable energy integration
• Bringing Algebraic Hierarchical Decompositions to Concatenative Functional Languages
• The Design Principles of the Elixir Type System
• 2500 years of going meta: from Aristotle to SysML v2
• The Design and Algorithms of a Verification Condition Generator
• Comparative Analysis of Classic Garbage-Collection Algorithms for a Lisp-like Language
• A Lambda Calculus for Quantum Computation
• Advancing SLM Tool-Use Capability using Reinforcement Learning
• Incremental Computation: What Is the Essence?
• Josephine: Using JavaScript to safely manage the lifetimes of Rust data
• Bit-Blasting ACL2 Theorems
• Views: a hardware-friendly graph database model for storing semantic information
• Early LISP history (1956 - 1959)
• XRate: a fast prototyping, training and annotation tool for phylo-grammars. [europepmc]
• A formal mathematical framework for physiological observations, experiments and analyses. [europepmc]
• Computational science: shifting the focus from tools to models. [europepmc]
• Pattern activation/recognition theory of mind. [europepmc]
• Enabling External Inquiries to an Existing Patient Registry by Using the Open Source Registry System for Rare Diseases: Demonstration of the System Using the European Society for Immunodeficiencies Registry. [europepmc]
• A Genetic Programming-Based Low-Level Instructions Robot for Realtimebattle. [europepmc]
• Advancements in Microprocessor Architecture for Ubiquitous AI-An Overview on History, Evolution, and Upcoming Challenges in AI Implementation. [europepmc]
• A Robust Design-Based Expert System for Feature Selection and COVID-19 Pandemic Prediction in Japan. [europepmc]
• Principled Limitations on Self-Representation for Generic Physical Systems. [europepmc]
• AI generations: from AI 1.0 to AI 4.0. [europepmc]
• Deep Generation of Coq Lemma Names Using Elaborated Terms [europepmc]

Related

• Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp
• 06271 Executive Summary - Challenges in Symbolic Computation Software
• A Symbolic Computing Perspective on Software Systems
• Schoonschip '91
• Symbolic Computing with Grassman Variables