{"product_id":"advances-in-mathematical-logic-dedicated-to-the-memory-of-professor-gaisi-takeuti-saml-2018-kobe-japan-september-2018-selected-revised-contribu-9789811641756","title":"Avances en Lógica Matemática: Dedicado a la Memoria del Profesor Gaisi Takeuti, Saml 2018, Kobe, Japón, Septiembre de 2018, Contribuciones Seleccionadas y Revisadas","description":"Gaisi Takeuti fue uno de los lógicos más brillantes, geniales e influyentes del siglo XX. Fue profesor titular y profesor emérito de matemáticas en la Universidad de Illinois en Urbana-Champaign, EE. UU., antes de fallecer el 10 de mayo de 2017, a la edad de 91 años.\u003cp\u003e\u003c\/p\u003e \u003cp\u003eTakeuti fue uno de los fundadores de la \u003ci\u003eTeoría de la Prueba\u003c\/i\u003e, una rama de la lógica matemática que se originó a partir del programa de Hilbert sobre la consistencia de las matemáticas. Basándose en los trabajos pioneros de Gentzen sobre la teoría de la prueba en la década de 1930, propuso una conjetura en 1953 relativa a la naturaleza esencial de las pruebas formales de lógica de orden superior, ahora conocida como la conjetura fundamental de Takeuti y de la cual dio una solución parcial positiva. Sus argumentos sobre la conjetura y la teoría de la prueba en general han tenido una gran influencia en el desarrollo posterior de la lógica matemática, la filosofía de las matemáticas y las aplicaciones de la lógica matemática a la informática teórica.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e \u003cp\u003eEl trabajo de Takeuti abarcó todo el espectro de la lógica matemática, incluyendo la teoría de conjuntos, la teoría de la computabilidad, el análisis de valores booleanos, la lógica difusa, la aritmética acotada y la informática teórica. Escribió muchas monografías y libros de texto tanto en inglés como en japonés, y su monumental monografía \"Teoría de la prueba\", publicada en 1975, ha sido durante mucho tiempo una referencia estándar de la teoría de la prueba. Tenía un amplio rango de intereses que cubrían prácticamente todas las áreas de las matemáticas y se extendían a la física. Sus publicaciones incluyen muchos libros japoneses para estudiantes y lectores generales sobre lógica matemática, matemáticas en general y conexiones entre matemáticas y física, así como muchos ensayos para revistas científicas japonesas.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e Este volumen es una colección de artículos basados en el Simposio sobre Avances en Lógica Matemática 2018. El simposio se celebró del 18 al 20 de septiembre de 2018 en la Universidad de Kobe, Japón, y estuvo dedicado a la memoria del profesor Gaisi Takeuti.\u003cbr\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e \u003cp\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-13567431\"\u003eToshiyasu Arai\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 26\/01\/2023\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 229\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.76 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21h x 6.14w x 0.51d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9789811641756\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 9811641757\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-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM036000\"\u003eDiseño lógico\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM018000\"\u003eCiencia de datos | General\u003c\/a\u003e\u003cbr\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":44584691663085,"sku":"9789811641756","price":269.98,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_6089a29b-f269-480c-a697-ee1e085a5bd9.jpg?v=1702148567","url":"https:\/\/sureshotbooks.com\/es\/products\/advances-in-mathematical-logic-dedicated-to-the-memory-of-professor-gaisi-takeuti-saml-2018-kobe-japan-september-2018-selected-revised-contribu-9789811641756","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}