Skip to main content

Russell's 1903 - 1905 Anticipation of the Lambda Calculus

Buy Article:

$60.90 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: https://doi.org/10.1080/0144534031000076237

Publication date: 2003-01-01

More about this publication?
  • Access Key
  • Free ContentFree content
  • Partial Free ContentPartial Free content
  • New ContentNew content
  • Open Access ContentOpen access content
  • Partial Open Access ContentPartial Open access content
  • Subscribed ContentSubscribed content
  • Partial Subscribed ContentPartial Subscribed content
  • Free Trial ContentFree trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect 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