Russell's 1903 - 1905 Anticipation of the Lambda Calculus

DOI10.1080/0144534031000076237zbMATH Open1044.03002OpenAlexW2036328448WikidataQ58531900 ScholiaQ58531900MaRDI QIDQ4448890FDOQ4448890

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formulation of the simple theory of types
• The inconsistency of certain formal logics
• The lambda calculus, its syntax and semantics
• 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
• A set of postulates for the foundation of logic

Cited In (6)

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

   Recommendations

• Revisiting the notion of function 👍 👎
• Title not available (Why is that?) 👍 👎
• Types in Logic and Mathematics before 1940 👍 👎
• RUSSELL'S EARLIEST INTERPRETATION OF CANTORIAN SET THEORY, 1896–1900 👍 👎
• Title not available (Why is that?) 👍 👎

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)