La coinducción matemática en la construcción de los números reales
Tipo de documento
Lista de autores
Quintero, James Adrián y Castiblanco, Airon Stiven
Resumen
El presente trabajo de grado tiene como objeto de interés ilustrar la manera en que el principio de coinducción posibilita una vía alternativa para el estudio ´o construcción de los números reales, lo cual pone de manifiesto que las matemáticas como ciencia no son siempre es inductivas. Se estudia a R mediante la dualidad que existe con N por medio de la teoría de categorías, la cual permite observar la estructura de estos objetos y definir a los números naturales como un objeto inicial, y por lo tanto cumple con los principios de inducción y de recursión. Dualmente, los números reales se definen como un objeto final, en consecuencia, se establecen los principios de coinducción y de corecursión.
Fecha
2014
Tipo de fecha
Estado publicación
Términos clave
Evolución histórica de conceptos | Números naturales | Números reales
Enfoque
Idioma
Revisado por pares
Formato del archivo
Tipo de tesis
Institución (tesis)
Referencias
Aczel, P. (1988). Non-well-founded sets. Stanford: Library of Congress Cataloging in Publication Data. Balbes, R., & Dwinger, P. (1974) Distributive Lattices,Columbia: University of Missouri Press. Blyth, T. (2005) Lattices and Ordered Algebraic Structures. San Francisco: Springer. Cejas, A. M. (2000). Teoría de Punto Fijo. Las matemáticas del siglo XX una mira en 1001 articulos. p,(329-332). Crespin,D. (2014). Números Naturales y Recursión. Recuperado el 13 de agosto de 2014, http://www.matematica.ciens.ucv .ve/dcrespin/Pub/NumNat.pdf Dedekind, R. (1998). ¿Qué son y para qué sirven los números? Madrid: Alianza. Primera versión en alemán, 1888. González, L. D. (2007). Conducción: de la Teoría de Categorías a la Programación Funcional (tesis de pregrado). Universidad Nacional Autónoma, México. García, J. (2005-2006). Conjuntos Ordenados. Retículos y ´algebras de Boole. Recuperado el 21 de marzo del 2014, de http:// www.ugr.es/jesusgm/Curso2005-2006/Matemáticas Discreta/Ordenes.pdf. Geiss, C. (2005) Algunas Propiedades De Los Números Los Naturales. Recuperado el 7 marzo de 2014, en http://www. matem .unam.mx/christof/ cursos/AS/Nota2.pdf Gómez, J.L. Un paseo alrededor de la teoría de conjuntos. LA GACETA DE LA RSME.Vol.(11),pp.(45-96). Hilton,P.(1982).Curso de álgebra moderna(pp. 71-80). España: EDITORIAL REVERTE, S.A. Hrbacek, K.,& Jech, T. (1999). Introduction to set theory, New York: Marcel Dekker. Jacobs,B. & Rutten,J.(1997).A Tutorial on (Co)Algebras and (Co)Induction.EATCS Bulletin.Vol.(62),pp.(62-212). Jacobs, B. & Rutten, J. (1997) A Tutorial on (Co)Algebras and (Co)induction* .EATCS Bulletin. (62), pp. (222-259). Munkres, J.R. (2000). Segunda Edición, Topología, Madrid: Isabel Campella,pp.(59-85) Ortiz, G. R. (2010). Borrador de una Propuesta para un curso de Teoría de Conjuntos y Sistema Numéricos. Santiago de Cali: Universidad del Valle. Ortiz, G., & Valencia, S. (2010). La categoricidad de los reales en Hilbert. Revista Brasileira de Historia da Matemática. Vol. 10, No. 19, pp. (39-65). Pavlovic, D. and Escardo, M. (1998) Calculus in coinductive form. In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. (408–417). Pavlovic, D., & Pratt, V. (2002, 09). The continuum as a final coalgebra. Theoretical Computer Science, volumen (280), (105-106). Rafael,F.,Isaacs,G.,Sabogal, P., & Sonia, M.(2005).Números naturales y recursividad. Recuperado el 30 de enero del 2014, de http://matematicas.uis.edu.co/risaacs/AMA/doc/Recursivas.pdf Roman, S. (2008). Lattices and ordenred set, Newyork USA: Springer, pp. (263-269) Serrano, F. (2008). Elementos de matemáticas formalizadas en Isabelle/Isar (Tesis doctoral). Universidad de Sevilla, Sevilla, España. Téllez, A.(2011).Existencia de coalgebras finales para funtores polinomiales(Tesis de pregrado). Universidad Del Valle, Santiago de Cali. Zalamea, F. (2009). Hacia una filosofía sintética de las matemáticas contemporáneas. Bogotá: Universidad Nacional,pp.(21-33) Zermelo, E. (1908). Investigations in the foundations of set theory I. En H. Ebbinghaus, C. Fraser, & A. Kanamori (Eds), Ernest Zermelo. Collected Works (pp. 189-228). Berlin Freiburg: Springer-Verlag. (Tambi´en en Van Heijenoort (1967, pp. 199-215)). Zermelo, E. (1930). On boundary numbers and domains of sets. New investigations in the foundations of set theory. En H. Ebbinghaus, C. Fraser, & A. Kanamori (Eds), Ernest Zermelo. Collected Works (pp. 401-431). Berlin Freiburg: Springer-Verlag.
