{"product_id":"el-paraiso-sin-salida-las-paradojas-encriptadas-de-la-matematica-moderna-von-abel-luis-peralta","title":"El paraíso sin salida","description":"\u003cp\u003eSe suele sostener que la paradoja de Russell es inevitable en sistemas que no estén altamente formalizados. Si se estudia la versión del barbero, una formalización sería: Barbero afeita a X si y sólo si X no afeita a X. Reemplazando X por \"Barbero\" se obtiene fácilmente una contradicción: Barbero afeita a barbero si y sólo si barbero no afeita a barbero. Sin embargo, si usamos una formalización menos reductiva, un lenguaje más rico (con tiempo y modo), tenemos: El barbero debe afeitar a X si y sólo si X no ha afeitado a X. Reemplazando X: El barbero debe afeitar al barbero si y sólo el barbero no ha afeitado al barbero. En lenguaje natural: El barbero debe afeitarse si no se ha afeitado. Es una conclusión trivial, de ningún modo paradójica. ¿Es el exceso de formalización, y no la falta de ella (además de un lenguaje casi mutilado) lo que produce las paradojas? Desde este enfoque son analizados los teoremas de Gödel y de Turing (Halting Problem), y temas conexos, con la mira puesta en fomentar una alternativa constructivista.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786202247962\"\u003e\u003ch3\u003eLas paradojas encriptadas de la matemática moderna\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9786202247962","offer_id":39465472131165,"sku":"9786202247962","price":49.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b3245799-8a57-480f-a9ec-b9a5f529ae76.jpg?v=1757658443","url":"https:\/\/shop.autorenwelt.de\/products\/el-paraiso-sin-salida-las-paradojas-encriptadas-de-la-matematica-moderna-von-abel-luis-peralta","provider":"Autorenwelt Shop","version":"1.0","type":"link"}