https://bvhumanidades.usac.edu.gt/files/original/7318e42300e991d17ea3dd7b19bdea68.pdf 169c6455572dcd131ce5f08b7d6d87bb Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource PEDAGOGÍA Text A resource consisting primarily of words for reading. Examples include books, letters, dissertations, poems, newspapers, articles, archives of mailing lists. Note that facsimiles or images of texts are still of the genre Text. Dublin Core The Dublin Core metadata element set is common to all Omeka records, including items, files, and collections. For more information see, http://dublincore.org/documents/dces/. Title A name given to the resource Pruebas de Consistencia Identifier An unambiguous reference to the resource within a given context https://libroslibresgratis.wordpress.com/category/libros/ciencias-generales/matematicas-ciencias-generales/page/3/ Description An account of the resource El propósito de este libro es proporcionar al lector las técnicas básicas que permiten demostrar la indecidibilidad de una gran variedad de afirmaciones matemáticas. El primer paso en esta dirección es advertir que todos los teoremas que los matemáticos consideran “demostrados”, pueden demostrarse en el sentido preciso de la palabra “demostración” que proporciona la lógica matemática a partir de los axiomas de la teoría de conjuntos de Zermelo-Fraenkel ZFC (ex-cepto aquellos que usan explícitamente axiomas adicionales, como la hipótesis del continuo, el diamante de Jensen, etc.) De este modo, demostrar que una afirmación es indecidible, es decir, que un matemático jamas llegara a demostrarla o a refutarla por más que se esfuerce, equivale a demostrar que no puede demostrarse ni refutarse formalmente a partir de los axiomas de ZFC. Esto supone una enorme concreción del problema. Coverage The spatial or temporal topic of the resource, the spatial applicability of the resource, or the jurisdiction under which the resource is relevant null Publisher An entity responsible for making the resource available Libros Libres & Gratuitos Jerarquías constructibles Modelos Booleanos.