{"product_id":"a-lambda-calculus-satellite-9781848904156","title":"Un satélite de cálculo lambda","description":"\u003cp\u003eEn 1936, la noción de computabilidad intuitiva se operacionalizó de dos maneras diferentes: a través de las máquinas de Turing y a través del cálculo lambda. La diferencia consistía en manipular cuentas (bits) para el primer enfoque frente a manipular árboles (reescribir términos lambda) para el segundo. Ambas propuestas resultaron formalizar la misma noción de computabilidad y llevaron a la Tesis de Church-Turing, afirmando que la computabilidad intuitiva se captura de la manera correcta.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eEsto resultó en la fundación de la programación imperativa y funcional. Las variantes del cálculo lambda se están utilizando en otro potente campo de aplicaciones, a saber, la verificación de pruebas, la base para certificar teoremas matemáticos y, por lo tanto, productos industriales de alta tecnología. Estas dos áreas de investigación aún se investigan activamente y hacen del cálculo lambda una herramienta importante en las etapas actuales de la ciencia y de la revolución industrial.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eEn este libro, el cálculo lambda se considera desde otro ángulo: como un estudio de estas estructuras en forma de árbol, investigando la relación entre su forma y su acción. Esto es como estudiar los números cualitativamente, en lugar de por sus aplicaciones que tratan cuantitativamente con objetos y fenómenos en el mundo.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eEl libro de Barendregt \"The Lambda Calculus, its Syntax and Semantics\" (1981\/84) trata el tema desde el mismo punto de vista metodológico e incluye varias conjeturas abiertas. En las más de cuatro décadas que han transcurrido, la mayoría —pero no todas— de estas conjeturas se han resuelto, a veces en ingeniosas tesis doctorales. Este \"Satélite\" del libro antes mencionado presenta estas soluciones con un estilo uniforme y añade otros temas de interés.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-14248744\"\u003eHenk Barendregt\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-15732137\"\u003eGiulio Manzonetto\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e College Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 05\/10\/2022\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 602\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 2.34lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.69h x 7.44w x 1.22d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781848904156\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1848904150\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-PHI\"\u003eFilosofía\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-PHI011000\"\u003eLógica\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":44497859051757,"sku":"9781848904156","price":44.67,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_cb1d0c63-97cb-4aad-beec-0c2ec864e396.jpg?v=1700955455","url":"https:\/\/sureshotbooks.com\/es\/products\/a-lambda-calculus-satellite-9781848904156","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}