{"product_id":"undecidable-theories-studies-in-logic-and-the-foundation-of-mathematics-9780486477039","title":"Teorías indecidibles: Estudios sobre lógica y el fundamento de las matemáticas","description":"Este libro de nivel de posgrado es bien conocido por su prueba de que muchos sistemas matemáticos, incluida la teoría de retículos, la geometría proyectiva abstracta y las álgebras de cierre, son indecidibles. Basado en investigaciones realizadas entre 1938 y 1952, consta de tres tratados de un autor prolífico que se encuentra entre los más grandes lógicos de todos los tiempos. \u003cbr\u003eEl primer artículo, \"Un método general en las pruebas de indecidibilidad\", examina las teorías con formalización estándar, las teorías indecidibles, la interpretabilidad y la relativización de los cuantificadores. La segunda característica, \"Indecidibilidad e indecidibilidad esencial en matemáticas\", explora la definibilidad en teorías arbitrarias y la aritmética formalizada de los números naturales. También considera la recursividad, la definibilidad y la indecidibilidad en las subteorías de la aritmética, así como la extensión de los resultados a otras teorías aritméticas. La compilación concluye con \"Indecidibilidad de la teoría elemental de grupos\".\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-337515\"\u003eAlfred Tarski\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e Dover Publications\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 19\/08\/2010\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 98\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 0.35 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 8.20 alto x 5.30 ancho x 0.40 profundidad\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9780486477039\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 0486477037\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-MAT\"\u003eMatemáticas\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT014000\"\u003eTeoría de grupos\u003c\/a\u003e\u003cbr\u003e\u003cbr\u003e\u003cp\u003e\u003cb\u003eAcerca del autor\u003c\/b\u003e\u003cbr\u003eEl matemático polaco Alfred Tarski (1901-83) se encuentra entre los lógicos más grandes de todos los tiempos. Mejor conocido por su trabajo en teoría de modelos, meta matemáticas y lógica algebraica, contribuyó a muchos otros campos de las matemáticas y enseñó en la Universidad de California, Berkeley, durante más de 40 años.\u003cbr\u003eEl estudiante de Tarski, Andrzej Mostowksi, trabajó en la Universidad de Varsovia en lógica de primer orden y teoría de modelos.\u003cbr\u003eEl colega de Tarski en la Universidad de California, Raphael M. Robinson, se basó en el concepto de indecidibilidad esencial de Tarski y probó que varias teorías matemáticas eran indecidibles.\u003c\/p\u003e\u003cp\u003e\u003ci\u003eEste título no es retornable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"Dover Publications","offers":[{"title":"Default Title","offer_id":42675257573613,"sku":"9780486477039","price":14.95,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_2e5dcc82-633c-4008-8b37-900f54c5729e.jpg?v=1649600773","url":"https:\/\/sureshotbooks.com\/es\/products\/undecidable-theories-studies-in-logic-and-the-foundation-of-mathematics-9780486477039","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}