La técnica de forcing y algunas aplicaciones

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorIbarra Contreras, Manuel
dc.contributorMartínez Ruíz, Iván
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.authorGarcía Balán, Sergio Atayan
dc.creatorGARCIA BALAN, SERGIO ATAYAN; 290065
dc.date.accessioned2020-10-20T14:33:41Z
dc.date.available2020-10-20T14:33:41Z
dc.date.issued2014-07-10
dc.description.abstract“La hipótesis del continuo (HC), fue uno de los problemas que Hilbert presento como los más importantes (a resolver), en el Congreso Internacional de Maten áticos de 1900. HC nos dice que si tomamos un subconjunto infinito A de números reales, entonces existe una biyección entre A y N o existe una biyección entre A y R. Georg Cantor dedico gran parte de su vida a probar la validez de HC sin tener ´éxito. En 1940 Godel construye un modelo de ZFE donde se valida HC dando así esperanzas al trabajo iniciado por Cantor. Sin embargo, en 1963 Paul Cohen construye un modelo de ZFE donde se verifica la negación de HC. Juntando estos dos resultados, obtenemos que HC es independiente de ZFE, lo cual quiere decir que trabajando en ZFE no podemos probar ni refutar HC. Como conclusión, Cantor jamás hubiera podido probar HC. En este trabajo nos ocupamos de la técnica de forcing introducida por Cohen en su demostración de la consistencia de la negación de HC. Su importancia radica en la cantidad de aplicaciones que ha tenido desde su aparición. Resulta ser una herramienta muy eficaz en la construcción de diversos modelos de la teoría de conjuntos”.es_MX
dc.folio127215Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/8511
dc.language.isospaes_MX
dc.matricula.creator212470172es_MX
dc.publisherBenemérita Universidad Autónoma de Pueblaes_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.lccTeoría de conjuntos--Investigaciónes_MX
dc.subject.lccHipótesis del continuoes_MX
dc.subject.lccTeoría de modeloses_MX
dc.subject.lccForcing (Modelo, Teoría)es_MX
dc.subject.viafPaul Joseph Cohen, matemàtices_MX
dc.thesis.careerMaestría en Ciencias (Matemáticas)es_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.titleLa técnica de forcing y algunas aplicacioneses_MX
dc.typeTesis de maestríaes_MX
dc.type.conacytmasterThesises_MX
dc.type.degreeMaestríaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
127215T.pdf
Size:
990.52 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Tesis de Maestría