Téléchargez le livre : The Logic, Philosophy, and History of the Lambda-Calculus

The Logic, Philosophy, and History of the Lambda-Calculus

Theory and Applications de

Éditeur :

Palgrave Macmillan


Collection :

History of Analytic Philosophy

Paru le : 2025-01-06

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
137,14 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church. The book starts a new field called “lambda-philosophy”: a branch of logic-based analytic philosophy in the tradition of Frege and Russell, directly constructed from the lambda-calculus. Another innovation of the book is a new graphical and intuitive logico-mathematical notation for the lambda-calculus called “the container notation”.
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.
Pages
255 pages
Collection
History of Analytic Philosophy
Parution
2025-01-06
Marque
Palgrave Macmillan
EAN papier
9783031728501
EAN PDF
9783031728518
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
25
Taille du fichier
3164 Ko
Prix
137,14 €
EAN EPUB
9783031728518
Informations sur l'ebook
Nombre pages copiables
2
Nombre pages imprimables
25
Taille du fichier
3492 Ko
Prix
137,14 €

Suggestions personnalisées