Trabajo Fin de Grado
Teoría de conjuntos finitos
Autor/es | Barea Marín, Pablo Luis |
Director | Lara Martín, Francisco Félix |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2023-06 |
Fecha de depósito | 2024-03-07 |
Titulación | Universidad de Sevilla. Grado en Matemáticas |
Resumen | La Teoría de Conjuntos es un área del conocimiento comprendida entre la Lógica
y las Matemáticas dedicada a la fundamentación de la segunda mediante herramientas
tomadas de la primera. Este Trabajo de Fin de Grado busca ... La Teoría de Conjuntos es un área del conocimiento comprendida entre la Lógica y las Matemáticas dedicada a la fundamentación de la segunda mediante herramientas tomadas de la primera. Este Trabajo de Fin de Grado busca servir de introducción ab initio a la Teoría de Conjuntos, prestando especial énfasis a las relaciones de buen orden y a las relaciones bien fundadas. Habiendo profundizado en ambas, aplicamos estos conocimientos a la Teoría de Conjuntos Finitos (FST) con el fin de, por un lado, estudiar las propiedades de varias nociones de finitud y probar en qué condiciones son equivalentes y, por otro, probar las relaciones de interdependencia entre varias teorías con respecto a FST, así como la independencia del Axioma de Regularidad de esta última teoría. Set Theory is a field of knowledge between Logic and Mathematics dedicated to using tools from the former to fund the latter. This Degree’s End Project aims to serve as an ab intio-introduction to Set Theory, placing a ... Set Theory is a field of knowledge between Logic and Mathematics dedicated to using tools from the former to fund the latter. This Degree’s End Project aims to serve as an ab intio-introduction to Set Theory, placing a special emphasis in well order and well founded relations. Once we have studied both in detail, we apply what we have learnt to the Finite Set Theory (FST) aiming to, on the one hand, study some definitions of finiteness, their properties and prove under which conditions they are equivalent; and on the other, demonstrate the interdependence relations among some theories and FST, as well as the independence of the Axiom of Regularity from this last theory. |
Cita | Barea Marín, P.L. (2023). Teoría de conjuntos finitos. (Trabajo Fin de Grado Inédito). Universidad de Sevilla, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
TFG GM BAREA MARIN, PABLO LUIS.pdf | 851.6Kb | [PDF] | Ver/ | |