Skip to main content

Russell's 1903 - 1905 Anticipation of the Lambda Calculus

Buy Article:

$51.63 plus tax (Refund Policy)

Abstract:

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's 'Lambda Calculus' for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903 and 1905--surely unknown to Church--contain a more extensive anticipation of the essential details of the Lambda Calculus. Russell also anticipated Schönfinkel's Combinatory Logic approach of treating multi-argument functions as functions having other functions as value. Russell's work in this regard seems to have been largely inspired by Frege's theory of functions and 'value-ranges'. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell's paradox. In this article, I explore the genesis and demise of Russell's early anticipation of the Lambda Calculus.

Document Type: Research Article

DOI: http://dx.doi.org/10.1080/0144534031000076237

Publication date: January 1, 2003

More about this publication?
tandf/thpl/2003/00000024/00000001/art00002
dcterms_title,dcterms_description,pub_keyword
6
5
20
40
5

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more