1990 | OriginalPaper | Buchkapitel
Computational Philosophy
verfasst von : W. Richard Stark
Erschienen in: LISP, Lore, and Logic
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The essentials of LISP that we have developed so far support some interesting and important computational philosophy. At this point, a little philosophy—like a smile on a friend’s face—is an appropriate interruption to the serious study of LISP programming. The objective of this chapter is to introduce some theoretical aspects of functional programming and computing. This will consist of a bit of classical recursion theory, pure LISP, types of recursion, and the folklore of fixed-point computation.