RT info:eu-repo/semantics/bachelorThesis
T1 Introducción a la lógica y teoría axiomática de conjuntos. Construcción del conjunto de los números naturales
A1 Martín Valmaseda, Rubén
A2 Universidad de Valladolid. Facultad de Ciencias
K1 Lógica
K1 Teoría de conjuntos
K1 Zermello-Fraenkel
AB Este trabajo es una pequeña recopilación de diferentes libros y notas sobrelógica y teoría de conjuntos con el objeto de conocer la base sólida en la quese apoyan todas las matemáticas.Observando que todas las ramas de la matemática parten de unos axiomasy se demuestran enunciados a partir de ellos se intuía que podía haber unarelación entre la matemática y la lógica y por eso matemáticos como Zermelloy Hilbert redujeron las matemáticas a la lógica y a la teoría de conjuntos.Este trabajo comienza con lógica proposicional y de primer orden viendo sussintaxis y algunos resultados porque saber razonar en lógica es saber razonaren matemáticas y en la vida en general.El trabajo acaba con los axiomas de Zermello-Fraenkel y la construcción delos números naturales.
YR 2019
FD 2019
LK http://uvadoc.uva.es/handle/10324/38215
UL http://uvadoc.uva.es/handle/10324/38215
LA spa
DS UVaDOC
RD 25-abr-2024