{"product_id":"foundations-of-combinatory-logic-grundlagen-der-kombinatorischen-logik-9781848902022","title":"Fundamentos de la lógica combinatoria: (Grundlagen der kombinatorischen Logik)","description":"\u003cp\u003eLa disertación doctoral de Curry \u003cem\u003eIntroducción a la lógica combinatoria\u003c\/em\u003e representa un primer trabajo importante sobre un nuevo tema. El interés de Curry en el tema comenzó cuando notó la forma complicada de sustitución en Principia Mathematica y se propuso tratar de encontrar una forma más simple de esta regla. Esto lo llevó en 1926 a algunos de los combinadores. En 1928, Curry fue a Gotinga y completó su disertación en 1929 bajo la dirección de David Hilbert. Este libro es una traducción de la disertación. \u003c\/p\u003e\u003cp\u003e La disertación de Curry fue la primera publicación en ofrecer un desarrollo formal completo de la lógica combinatoria como un sistema formal en el que los términos se construyen a partir de \u003cem\u003evariables\u003c\/em\u003e y una serie de constantes (combinadores que incluyen \u003cem\u003eB, C\u003c\/em\u003e y \u003cem\u003eK\u003c\/em\u003e) por medio de la \u003cem\u003eaplicación\u003c\/em\u003e. La prueba de la consistencia del sistema enfrentó la gran dificultad de que la única relación de reducción que tenía Curry era lo que ahora llamamos reducción débil. Esto hizo imposible probar el Teorema de Church-Rosser, que ahora es la forma estándar de probar la consistencia de sistemas de este tipo. En cambio, Curry estaba buscando secuencias basadas en lo que ahora llamamos contracciones débiles con cadenas de variables añadidas a la derecha. \u003c\/p\u003e\u003cp\u003eDespués de su disertación, Curry desarrolló ideas innovadoras adicionales que continúan siendo muy influyentes. Estas incluyen la \u003cem\u003efuncionalidad\u003c\/em\u003e (que se convirtió en la base de lo que ahora llamamos asignación de tipos), la correspondencia entre tipos y fórmulas de implicación (el comienzo de la idea de \"proposiciones como tipos\") y la funcionalidad generalizada (una forma de tipos dependientes en los sistemas de tipos modernos). Las ideas de Curry continúan influyendo en los desarrollos en matemáticas, lógica y computación. \u003c\/p\u003e\u003cp\u003e\u003cbr\u003e Esperamos que la disponibilidad de su tesis original en inglés ayude a clarificar sus ideas. \u003cbr\u003e Hemos utilizado toda la información que pudimos encontrar de Curry, principalmente de notas marginales en su copia de la disertación, que indican correcciones al alemán original.\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-11117338\"\u003eHaskell Curry\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e College Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 19\/04\/2017\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 176\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.56lbs\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.38d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781848902022\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1848902026\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":44696588124397,"sku":"9781848902022","price":26.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_8e398ad4-611d-471a-8459-86dc81321d81.jpg?v=1703802222","url":"https:\/\/sureshotbooks.com\/es\/products\/foundations-of-combinatory-logic-grundlagen-der-kombinatorischen-logik-9781848902022","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}