Estudio en los fundamentos de las matemáticas comparando algunas de sus axiomatizaciones

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorMartínez Ruíz, Iván
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.authorHuerta y Munive, Jonathan Julián
dc.creatorHUERTA Y MUNIVE, JONATHAN JULIAN; 336113
dc.date.accessioned2021-05-07T15:44:47Z
dc.date.available2021-05-07T15:44:47Z
dc.date.issued2016-04
dc.description.abstract“La lógica, a lo largo de los últimos doscientos años, se ha diversificado en su alcance. En la actualidad, para llevar a cabo su investigación, un lógico puede requerir conocimientos de teoría de conjuntos, teoría de prueba, teoría de modelos, computabilidad, aritmética, teoría de categorías, topología, lenguajes de programación, teorías de tipos y/o álgebra. Esta diversidad se dio principalmente por las contribuciones de las matemáticas en la lógica y viceversa. En el presente trabajo el interés recae en la interrelación entre la lógica y los fundamentos de las matemáticas. Particularmente, en la formalización de los teoremas matemáticos dentro de un sistema lógico. Es sabido que esto se puede hacer de diversas maneras, siendo la predilecta en los cursos de licenciatura, la formalización de las matemáticas en la teoría de conjuntos ZFC (Zermelo-Fraenkel-Choice). No obstante, otras aproximaciones al problema menos conocidas tienen ventajas y desventajas en comparación con ésta. Con el motivo de mostrar la variedad de sistemas en los cuales se pueden axiomatizar las matemáticas, el presente trabajo exhibe la formalización estándar de las matemáticas en el sistema ZFC así como una implementación moderna en la denominada teoría de tipos homotopía, HoTT. A la par se efectúa una comparación conceptual entre ambos enfoques”.es_MX
dc.folio252016TLes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/12838
dc.language.isospaes_MX
dc.matricula.creator201115358es_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.lccNotación matemáticaes_MX
dc.subject.lccLógica simbólica y matemáticaes_MX
dc.subject.lccTeoría de conjuntoses_MX
dc.subject.lccMatemáticas--Filosofíaes_MX
dc.subject.lccSemánticaes_MX
dc.thesis.careerLicenciatura en Matemáticases_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainLicenciado (a) en Matemáticases_MX
dc.titleEstudio en los fundamentos de las matemáticas comparando algunas de sus axiomatizacioneses_MX
dc.typeTesis de licenciaturaes_MX
dc.type.conacytbachelorThesises_MX
dc.type.degreeLicenciaturaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
252016TL.pdf
Size:
1.04 MB
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 Licenciatura