Análisis comparativo entre cuantores y conjuntos

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorCampos Benítez, Juan Manuel
dc.contributor.advisorCAMPOS BENITEZ, JUAN MANUEL; 123721
dc.contributor.authorGonzález Santoyo, Karla Estefanía
dc.date.accessioned2021-01-06T18:40:04Z
dc.date.available2021-01-06T18:40:04Z
dc.date.issued2020-11
dc.description.abstract“La relación entre lógica y matemática resulta hoy en día bastante cercana. Prueba de ello es la generación de una nueva área que se ha integrado a la matemática moderna, nombrada precisamente como lógica matemática. Esta área se divide en las siguientes ramas: teoría de la recursión, teoría de conjuntos, teoría de la demostración y teoría de modelos. Debido a que estas áreas trabajan con sistemas formales, comparten la característica de ser simbólicas, operatorias y calculables. El presente trabajo se enfoca en el estudio de una de estas ramas, que es la teoría de conjuntos. Específicamente se centra en uno de los resultados que ha dado pie a la construcción de esta teoría: la demostración de diferentes tamaños de infinitos. Esta demostración fue realizada en los años 1873 y 1874 por un matemático ruso bastante peculiar, de nombre George Cantor. El aporte de esta teoría ha sido vital para la matemática moderna, pero como se mostrará a lo largo de esta investigación, también ha influido en la lógica de predicados. La lógica de predicados, al igual que la teoría de conjuntos, dispone de signos de cantidad conocidos como cuantores o cuantificadores.”es_MX
dc.folio20201028151024-4466-TLes_MX
dc.formatpdfes_MX
dc.identificator4es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/9829
dc.language.isospaes_MX
dc.matricula.creator201110542es_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.classificationHUMANIDADES Y CIENCIAS DE LA CONDUCTAes_MX
dc.subject.lccMatemáticas--Filosofíaes_MX
dc.subject.lccLógica simbólica y matemática--Investigaciónes_MX
dc.subject.lccLenguajes infinitesimaleses_MX
dc.subject.lccCálculo proposicionales_MX
dc.subject.lccCálculo de predicadoses_MX
dc.subject.lccTeoría de conjuntoses_MX
dc.subject.viafCantor, Georg, 1845-1918es_MX
dc.thesis.careerLicenciatura en Filosofíaes_MX
dc.thesis.degreedisciplineÁrea de Ciencias Sociales y Humanidadeses_MX
dc.thesis.degreegrantorFacultad de Filosofía y Letrases_MX
dc.thesis.degreetoobtainLicenciado (a) en Filosofíaes_MX
dc.titleAnálisis comparativo entre cuantores y conjuntoses_MX
dc.typeTesis de licenciaturaes_MX
dc.type.conacytbachelorThesises_MX
dc.type.degreeLicenciaturaes_MX
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
20201028151024-4466-TL.pdf
Size:
1.1 MB
Format:
Adobe Portable Document Format
Description:
Download
Thumbnail Image
Name:
20201028151024-4466-Carta.jpg
Size:
216.93 KB
Format:
Joint Photographic Experts Group/JPEG File Interchange Format (JFIF)
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