Russell's 1903 - 1905 Anticipation of the Lambda Calculus

DOI10.1080/0144534031000076237zbMath1044.03002OpenAlexW2036328448WikidataQ58531900 ScholiaQ58531900MaRDI QIDQ4448890

Kevin C. Klement

Publication date: 23 March 2004

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/0144534031000076237

zbMATH Keywords

Russellhistory of logiclambda abstractionfunctional notation

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Russell, His Paradoxes, and Cantor's Theorem: Part II ⋮ Spiritus asper versus lambda: on the nature of functional abstraction ⋮ Functions in Frege, Bolzano and Husserl ⋮ THE FUNCTIONS OF RUSSELL’S NO CLASS THEORY ⋮ Abstraction in Fitch's Basic Logic ⋮ Computation and Indispensability

Cites Work

• The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
• The lambda calculus, its syntax and semantics
• A set of postulates for the foundation of logic
• The inconsistency of certain formal logics
• The Impact of the Lambda Calculus in Logic and Computer Science
• A formulation of the simple theory of types
• The inconsistency of certain formal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Russell's 1903 - 1905 Anticipation of the Lambda Calculus