Placeholder text
The Logic, Philosophy, and History of the Lambda-Calculus
By Levis Zerpa
0 - Default Title
Description
The book covers in detail some episodes of the history of the subject, including three comparative studies of the lambda-calculus with Viète's algebra, Descartes' analytic geometry, and Wittgenstein's Tractatus. A didactic approach to the logico-mathematical aspects of the lambda-calculus, partially based on cognitive science, provides the technical basis for the analysis. In this way, the book provides a systematic and coherent treatment of diverse logico-philosophical aspects and applications of the lambda-calculus as part of the platform offered by lambda-philosophy.
The book includes the following: a detailed treatment of the ambiguities of the concept of function (under the traditional or Euler's notation); an elucidation of the notion of transformative philosophical analysis; an account of Church's methodology which shows that the lambda-calculus is an adequate solution to the problem of a philosophical analysis of functions as rules of computation; a didactic treatment of the formal aspects of the lambda-calculus through the container notation; and diverse arithmetical and logical examples of the container notation. The book questions a dogma of algorithmic thinking by arguing that the lambda-calculus is more intuitive and natural than Turing machines.
The Logic, Philosophy, and History of the Lambda-Calculus is essential reading for all scholars and researchers of the history of analytic philosophy and especially those focussing on logic-based analytic philosophy.
Product details
Binding:
Paperback
Number of Pages:
288
Release Date:
2026-01-07
Publication Date:
2026-01-07
Publisher:
Springer
Languages:
Original:
English
ISBN10:
303172853X
ISBN13:
9783031728532
GPSR Manufacturer Reference:
Weight:
376 g
Height:
148 cm
Width:
210 cm
Thickness:
16 cm
Currently sold out