{"product_id":"reverse-mathematics-problems-reductions-and-proofs-9783031113697","title":"Matemáticas inversas: problemas, reducciones y pruebas","description":"\u003cp\u003eLa matemática inversa estudia la complejidad de probar teoremas y resolver problemas matemáticos. Las preguntas típicas incluyen: ¿Podemos probar este resultado sin probar primero aquel? ¿Puede una computadora resolver este problema? Como parte muy activa de la lógica matemática y la teoría de la computabilidad, la materia ofrece resultados hermosos así como importantes conocimientos fundamentales.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eEste texto proporciona un tratamiento moderno de la matemática inversa que combina reducciones teóricas de la computabilidad y pruebas en aritmética formal para medir la complejidad de teoremas y problemas de todas las áreas de las matemáticas. Incluye introducciones detalladas a técnicas de matemática computable, análisis de estilo Weihrauch y otras partes de la computabilidad que se han vuelto integrales para la investigación en el campo.\u003c\/p\u003e\u003cp\u003e\u003cb\u003eTemas y características\u003c\/b\u003e: \u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003e\u003cp\u003eOfrece una introducción completa a la matemática inversa, incluyendo los antecedentes necesarios de la teoría de la computabilidad, la aritmética de segundo orden, el forzamiento, la inducción y la construcción de modelos\u003c\/p\u003e\u003c\/li\u003e\n\u003cli\u003e\u003cp\u003eOfrece un tratamiento exhaustivo de la matemática inversa de la combinatoria, incluyendo el teorema de Ramsey, el teorema de Hindman y muchos otros resultados\u003cbr\u003e\u003c\/p\u003e\u003c\/li\u003e\n\u003cli\u003e\u003cp\u003ePresenta resultados y métodos centrales de las últimas dos décadas, que aparecen en formato de libro por primera vez e incluyen técnicas de preservación y aplicaciones de argumentos probabilísticos\u003cbr\u003e\u003c\/p\u003e\u003c\/li\u003e\n\u003cli\u003e\u003cp\u003eIncluye un gran número de ejercicios de diferentes niveles de dificultad, complementando cada capítulo\u003c\/p\u003e\u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003eEl texto será accesible para estudiantes con un curso estándar de primer año en lógica matemática. También será una referencia útil para investigadores en matemática inversa, teoría de la computabilidad, teoría de la prueba y áreas relacionadas.\u003c\/p\u003e\u003cp\u003e\u003cb\u003eDamir D. Dzhafarov\u003c\/b\u003e es Profesor Asociado de Matemáticas en la Universidad de Connecticut, CT, EE. UU. \u003cb\u003eCarl Mummert\u003c\/b\u003e es Profesor de Informática y Tecnología de la Información en la Universidad Marshall, WV, EE. UU.\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-15542198\"\u003eDamir D. Dzhafarov\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-10016368\"\u003eCarl Mummert\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 26\/07\/2023\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 488\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.56 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.21 alto x 6.14 ancho x 1.03 fondo\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9783031113697\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 3031113691\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-COM\"\u003eComputadoras\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- \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","brand":"Springer","offers":[{"title":"Default Title","offer_id":44581982634221,"sku":"9783031113697","price":119.98,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_4236b600-8842-4891-815a-986add291b9b.jpg?v=1702097012","url":"https:\/\/sureshotbooks.com\/es\/products\/reverse-mathematics-problems-reductions-and-proofs-9783031113697","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}