Envío gratis siempre a todo México.
Haz clic para hacer zoom
Not Available
Levis Zerpa
The Logic, Philosophy, and History of the Lambda-Calculus
Cargando comentarios…
Comparte
$2,780
$2,502
Envío gratis siempre
Comentarios
Cargando el resumen…
Cargando comentarios…
product
7210156The Logic, Philosophy, and History of the Lambda-Calculushttps://www.gandhi.com.mx/the-logic--philosophy--and-history-of-the-lambda-calculus-9783031728518/phttps://gandhi.vtexassets.com/arquivos/ids/6759862/image.jpg?v=63871897207220000025022780MXNSpringer Nature SwitzerlandInStock/Ebooks/<p>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.</p><p>The book covers in detail some episodes of the history of the subject, including three comparative studies of the lambda-calculus with Vites algebra, Descartes analytic geometry, and Wittgensteins <em>Tractatus</em>. 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.</p><p>The book includes the following: a detailed treatment of the ambiguities of the concept of function (under the traditional or Eulers notation); an elucidation of the notion of transformative philosophical analysis; an account of Churchs 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.</p><p><em>The Logic, Philosophy, and History of the Lambda-Calculus</em> is essential reading for all scholars and researchers of the history of analytic philosophy and especially those focussing on logic-based analytic philosophy.</p>...6861477The Logic, Philosophy, and History of the Lambda-Calculus25022780https://www.gandhi.com.mx/the-logic--philosophy--and-history-of-the-lambda-calculus-9783031728518/phttps://gandhi.vtexassets.com/arquivos/ids/6759862/image.jpg?v=638718972072200000InStockMXN99999DIEbook20259783031728518_W3siaWQiOiJjZjM2MWZmNi0yY2Q5LTRhOWMtODFmNC00NTU1YWMyNWNjZjgiLCJsaXN0UHJpY2UiOjMwMjEsImRpc2NvdW50IjozMDIsInNlbGxpbmdQcmljZSI6MjcxOSwiaW5jbHVkZXNUYXgiOnRydWUsInByaWNlVHlwZSI6Ildob2xlc2FsZSIsImN1cnJlbmN5IjoiTVhOIiwiZnJvbSI6IjIwMjUtMDEtMDdUMTM6MDA6MDBaIiwidG8iOiIyMDI1LTAyLTA2VDIzOjU5OjU5WiIsInJlZ2lvbiI6Ik1YIiwiaXNQcmVvcmRlciI6dHJ1ZX0seyJpZCI6ImMzMDhiZWFiLTdhNDktNDJiNi1hNDZkLTczNzA3M2M0ZmQ0YSIsImxpc3RQcmljZSI6MzAyMSwiZGlzY291bnQiOjMwMiwic2VsbGluZ1ByaWNlIjoyNzE5LCJpbmNsdWRlc1RheCI6dHJ1ZSwicHJpY2VUeXBlIjoiV2hvbGVzYWxlIiwiY3VycmVuY3kiOiJNWE4iLCJmcm9tIjoiMjAyNS0wMi0wN1QwMDowMDowMFoiLCJyZWdpb24iOiJNWCIsImlzUHJlb3JkZXIiOmZhbHNlfV0=9783031728518_<p>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.</p><p>The book covers in detail some episodes of the history of the subject, including three comparative studies of the lambda-calculus with Vites algebra, Descartes analytic geometry, and Wittgensteins <em>Tractatus</em>. 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.</p><p>The book includes the following: a detailed treatment of the ambiguities of the concept of function (under the traditional or Eulers notation); an elucidation of the notion of transformative philosophical analysis; an account of Churchs 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.</p><p><em>The Logic, Philosophy, and History of the Lambda-Calculus</em> is essential reading for all scholars and researchers of the history of analytic philosophy and especially those focussing on logic-based analytic philosophy.</p>...9783031728518_Springer Nature Switzerlandlibro_electonico_9783031728518_9783031728518Levis ZerpaInglésMéxico2025-02-07T00:00:00+00:002025-01-06T00:00:00+00:00Springer Nature Switzerland