Russell's 1903 - 1905 Anticipation of the Lambda Calculus

DOI10.1080/0144534031000076237MaRDI QIDQ4448890zbMATH OpenOpenAlexWikidataFDO

Authors 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

history of logicRusselllambda 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)

Recommendations

• Revisiting the notion of function
• scientific article; zbMATH DE number 1984512
• Types in Logic and Mathematics before 1940
• RUSSELL'S EARLIEST INTERPRETATION OF CANTORIAN SET THEORY, 1896–1900
• scientific article; zbMATH DE number 3866573

Cites work

• scientific article; zbMATH DE number 4063046 (Why is no real title available?)
• scientific article; zbMATH DE number 3790395 (Why is no real title available?)
• scientific article; zbMATH DE number 1237869 (Why is no real title available?)
• scientific article; zbMATH DE number 3794036 (Why is no real title available?)
• scientific article; zbMATH DE number 3249761 (Why is no real title available?)
• scientific article; zbMATH DE number 3198017 (Why is no real title available?)
• A formulation of the simple theory of types
• A set of postulates for the foundation of logic
• The Impact of the Lambda Calculus in Logic and Computer Science
• The Kleene Symposium. Proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A
• The inconsistency of certain formal logics
• The inconsistency of certain formal logics
• The lambda calculus, its syntax and semantics

Cited in

(6)

• Spiritus asper versus lambda: on the nature of functional abstraction
• Russell, his paradoxes, and Cantor's theorem. II.
• The functions of Russell's no class theory
• Functions in Frege, Bolzano and Husserl
• Abstraction in Fitch's basic logic
• Computation and indispensability

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4448890)