2026-04-27T14:36:50Zhttps://uvadoc.uva.es/oai/requestoai:uvadoc.uva.es:10324/382152021-06-30T01:43:13Zcom_10324_38col_10324_852
Cano Torres, José María
Martín Valmaseda, Rubén
Universidad de Valladolid. Facultad de Ciencias
2019-09-27T07:27:45Z
2019-09-27T07:27:45Z
2019
http://uvadoc.uva.es/handle/10324/38215
Este trabajo es una pequeña recopilación de diferentes libros y notas sobre
lógica y teoría de conjuntos con el objeto de conocer la base sólida en la que
se apoyan todas las matemáticas.
Observando que todas las ramas de la matemática parten de unos axiomas
y se demuestran enunciados a partir de ellos se intuía que podía haber una
relación entre la matemática y la lógica y por eso matemáticos como Zermello
y 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 sus
sintaxis y algunos resultados porque saber razonar en lógica es saber razonar
en matemáticas y en la vida en general.
El trabajo acaba con los axiomas de Zermello-Fraenkel y la construcción de
los números naturales.
Grado en Matemáticas
application/pdf
spa
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Lógica
Teoría de conjuntos
Zermello-Fraenkel
Introducción a la lógica y teoría axiomática de conjuntos. Construcción del conjunto de los números naturales
info:eu-repo/semantics/bachelorThesis