Beyond Lisp

Abstract

• Lisp programs are Lisp data—abstract syntax. Programming languages need functions for their abstract • English is important for its semantics—not its syntax • The largest piece of cake—Kleene µ operator • An elephant never forgets and is faithful. • Resolution considered harmful. • Special provers are just strategies—Davis-Putnam • Programs as logical formulas—Algol 48 and Algol..

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Some Lisp History and Some Programming Language Ideas.John McCarthy - unknown
Commentary on "the modularity of dynamic systems".Andy Clark - unknown
Commentary on "the modularity of dynamic systems".Teed Rockwell - unknown
Review of Papert, The Children's Machine. [REVIEW]Daniel C. Dennett - unknown
Problems of nomenclature and classification in medical expert systems.Peter Hucklenbroich - 1988 - Theoretical Medicine and Bioethics 9 (2).
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
The Limits of Mathematics.Lisp Source Code - unknown
Alcibiades' Lisp.W. B. Stanford - 1942 - The Classical Review 56 (02):72-.
Ideas On Electronic Commerce.John McCarthy - unknown
The traitor.André Gorz - 1959 - New York,: Simon & Schuster.
Kleene's three valued logics and their children.Melvin Fitting - unknown
Virtual symposium on virtual mind.Patrick Hayes, Stevan Harnad, Donald Perlis & Ned Block - 1992 - Minds and Machines 2 (3):217-238.
Information-oriented computation with BABY-SIT.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 19-34.
BABY-SIT: a computational medium based on situations.Erkan Tin & Varol Akman - 1993 - In Paul Dekker & Martin Stokhof (eds.), 9th Amsterdam Colloquium. Amsterdam, The Netherlands: Institute for Logic, Language and Computation.

Analytics

Added to PP
2010-12-22

Downloads
13 (#1,036,661)

6 months
1 (#1,471,540)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John C. McCarthy
Catholic University of America

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references