LA CATEGORICIDAD DE LOS REALES EN HILBERT
DOI:
10.47976/RBHM2010v10n1939-65Palavras-chave:
Completez de Hilbert, CategoricidadResumo
Presentamos una visión del panorama estructuralista alrededor de 1900 para apreciar que en la presentación axiomática de los reales por Hilbert, su noción de completez estaba fuertemente influenciada por la obra de Dedekind y el pensamiento filosófico de la época, el cual lo representamos en Husserl. Para caracterizar desde una perspectiva formal esta completez, haremos una lectura desde la teoría de categorías para la axiomática de los números reales de Hilbert. Para tal efecto, formaremos la categoría de todos los cuerpos arquimedianos totalmente ordenados y probaremos que los números reales son el objeto
final de dicha categoría y así tendremos inmediatamente los teoremas de categoricidad e inmersión de los números reales. Esperamos dar una amplia sustentación para validar nuestra presentación que contrasta con las habituales lecturas conjuntistas, y proporciona una aproximación a los inicios del estructuralismo en las matemáticas en las cercanías de 1900.
Downloads
Métricas
Referências
[2] Awodey, S. and Reck, E. H., Completeness and Categoricity, Part II: Twentieth- Century Metalogic to Twenty-first-Century Semantics History and Philosophy of Logic, 23 (2002), 77-94.
[3] Bernays, P., Hilbert's investigations of the foundations of arithmetic, Traducción de Hilbets Untersuchugen Über de Grundlagen der Arithmetik (1935) a cargo de D. Schlimm y William B. Ewald, como parte del Bernays Project.
[4] Blyth, T. S., Lattices and ordered algebraic structures, Springer-Verlag, 2005
[5] Burris S. y Sankappanavar, H. A Course In Universal Algebra, Springer-Verlag, New York, 1981.
[6] Cohen, L. W. and Goffman, C., The topology of ordered abelian groups, Transactions of AMS, Vol. 67 (1949), pp. 310-319.
[7] Cohen, L. W. and Goffman, C., On completeness in the sense of Archimedes, American Journal of Mathematics, Vol. 72 (Oct., 1950), pp. 747-751.
Downloads
Publicado
Métricas
Visualizações do artigo: 224 PDF downloads: 211