Russell's 1903 - 1905 Anticipation of the Lambda Calculus
From MaRDI portal
Publication:4448890
DOI10.1080/0144534031000076237zbMath1044.03002OpenAlexW2036328448WikidataQ58531900 ScholiaQ58531900MaRDI QIDQ4448890
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
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