El axioma de elección en el quehacer matemático contemporáneo
DOI:
https://doi.org/10.29105/aitas2.3-31Palabras clave:
Axioma de elección, quehacer matemático, Gödel, Cohen, platonismo matemático.Resumen
Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey.
Descargas
Citas
Alemán Pardo, Anastasio. “El argumento de indispensabilidad en matemáticas.” Teorema, 18, no. 2 (1999): 49-61.
Alemán Pardo, Anastasio. Lógica, matemáticas y realidad. Madrid: Editorial Tecnos, 2011.
Álvarez Velasco, Ana. “Axioma de elección y Teoría de la Medida.” Tesis de Licenciatura. México: Facultad de Ciencias, UNAM, 2003.
Álvarez Velasco, Ana y Miguel Ángel Mota Gaytán. “Forcing. Otros mundos posibles.” Ciencias, no. 78 (abril-junio 2005): 66-73.
Aristóteles. Opera. Vol. 2, Aristoteles Graece Ex recognitione Immanuelis Bekkeri. Berlín: Georgium Reimer, 1831.
Aristóteles. Tratados de Lógica (El Organon). México: Editorial Porrúa, 1993.
Asse Dayán, Jacobo. “El ficcionalismo hermenéutico en la filosofía de las matemáticas.” Tesis de Maestría. México: Facultad de Filosofía y Letras, UNAM, 2008.
Asse Dayán, Jacobo. “Naturalismo, ficción y objetos matemáticos.” signos filosóficos 13, no. 25 (enero-junio 2011): 47-71.
Bagaria, Joan. Natural Axioms of set theory and the continuum problem. Barcelona: Universidad de Barcelona, 2004.
Batistella, Ernesto H., trad. Selección de textos de Gottlob Frege. Zulia: Universidad del Zulia, 1972.
Batistella, Ernesto H., Vincenzo P. Lo Monaco y B. Sánchez M. Brouwer, Wittgenstein, Lakatos: Tres concepciones de la matemática. Caracas: Instituto de Filosofía U.C.V., 1988.
Bell, John L. The axiom of choice. Londres: College Publications, 2009.
Benacerraf, Paul y Hilary Putnam, eds. Philosophy of Mathematics: Selected Readings. Cambridge: Cambridge University Press, 1983.
Bernal González, Luis y Tomás Domínguez Benavides. Nociones de análisis funcional. Sevilla: Universidad de Sevilla, Departamento de Análisis Matemático, 2010. Bernays, Paul. El platonismo en matemática. Traducido por Vincenzo P. Lo Monaco y Benjamín Sánchez. Caracas: Universidad Central de Venezuela, Ediciones de la Biblioteca, 1982.
Bollobás, Béla, ed. Littlewood’s Miscellany. Cambridge: Cambridge University Press, 1986.
Boolos, George. “The Iterative Conception of Set.” En Logic, Logic, and Logic, editado por Richard Jeffrey. Cambridge: Harvard University Press, 1971.
Caba Sánchez, Antonio. “Algunas consideraciones sobre el argumento de indispensabilidad en matemáticas.” Revista de Filosofía 27, no. 1, (2002): 111-133.
Caicedo, Xavier y Germán Enciso. “El Teorema de Hahn-Banach como principio de elección.” Revista de la Academia Colombiana de Ciencias 28, no. 106 (Marzo 2004): 11-20.
Cantor, Georg. “Beiträge zur Begründung der transfiniten Mengenlehre.” Mathematische Annalen 46, (November 1895): 481-512.
Cantor, Georg. “Beiträge zur Begründung der transfiniten Mengenlehre.” Mathematische Annalen 49, (June 1897): 207-246.
Cantor, Georg. Fundamentos para una teoría general de conjuntos: escritos y correspondencia selecta. Traducido por José Ferreirós y Emilio Gómez-Caminero. Barcelona: Editorial Crítica, 2005.
Cantor, Georg. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Berlin: Springer-Verlag, 1932.
Carnap, Rudolf. “Die logizistische Grundlegung der Mathematik.” Erkenntnis 2, (1931): 91-105.
Chang, C. C. y Jerome Keisler. Model Theory. Mineola, N.Y.: Dover Publications, 2012.
Chela, Raimundo. Matemáticas y lógica. Caracas: Fondo Editorial Acta Científica Venezolana, 1986.
Cohen, Paul J. “The independence of the continuum hypothesis.” Proceedings of the National Academy of Sciences 50, no. 6 (December 1963): 1143-1148.
Cohen, Paul J. “The independence of the continuum hypothesis, II.” Proceedings of the National Academy of Sciences 51, no. 1 (January 1964): 105-110.
Courant, Richard y Herbert Robbins. ¿Qué es la matemática? Una exposición elemental de sus ideas y métodos. Traducido por Luis Bravo Gala. Madrid: Aguilar, 1962.
Crespin, Daniel. “Axioma de Elección y Lema de Zorn.” En Cartillas Matemáticas, 1-20. Caracas: Escuela de Matemáticas, Universidad Central de Venezuela, 2007.
De Lorenzo, Javier. “Del hacer matemático y sus filosofías.” ILUIL 26, (2003): 903-917.
De Lorenzo, Javier. La matemática: de sus fundamentos y sus crisis. Madrid: Editorial Tecnos, 1998.
Dedekind, Richard. Was sind und sollen die Zahlen? Braunschweig: Vieweg, 1888.
Di Prisco, Carlos Augusto. Introducción a la Lógica Matemática. Manaos: EMALCA, 2009.
Di Prisco, Carlos Augusto. “Mathematics versus Metamathematics in Ramsey Theory of the real numbers.” En Logic, Methodology
and Philosophy of Science Proceedings of the Twelfth International Congress, editado por Petr Hájek, Luis Valdés-Villanueva y Dag
Westerståhl, 171-188. London: College Publications, 2005.
Di Prisco, Carlos Augusto. Teoría de Conjuntos. Caracas: Universidad Central de Venezuela, Consejo de Desarrollo Científico y Humanístico, 2008.
Di Prisco, Carlos Augusto. Una introducción a la teoría de conjuntos y los fundamentos de la matemática. Vol. 20. Campinas: Coleção CLE, 1997.
Di Prisco, Carlos Augusto y Franklin Galindo. “Perfect set propiertes in models de ZF.” Fundamenta Mathematicae 208, no. 3 (2010): 249-262.
Di Prisco, Carlos Augusto y James M. Henle. “Doughnuts, Floating Ordinals, Square Brackets and Ultraflitters.” The Journal of Symbolic Logic 65, no. 1 (Mar. 2000): 461-473.
Di Prisco, Carlos Augusto y James M. Henle. “Partitions of the reals and choice.” En Models, algebras, and proofs, editado por Xavier Caicedo y Carlos Montenegro, 13-24. New York: Marcel Dekker, 1999.
Dummet, Michael. “El platonismo.” En La verdad y otros enigmas, traducido por Alfredo Herrera Patiño, 282-295. México: Fondo de Cultura Económica, 1990.
Enderton, Herber B. Una Introducción Matemática a la Lógica. Traducido por José Alfredo Amor Montaño. México: Universidad Nacional Autónoma de México, 2004.
Ferreirós, José. “El enfoque conjuntista en matemáticas.” La Gaceta de la Real Sociedad Matemática 1, no. 3 (1998): 389-412.
Ferreirós, José. “Matemáticas y platonismo(s).” La Gaceta de la Real Sociedad Matemática Española 2, no. 3 (1999): 446-473.
Ferreirós, José. “Un episodio de la crisis de fundamentos: 1904.” La Gaceta de la Real Sociedad Matemática Española 7, no. 2 (2004): 449-467.
Fraenkel, Adolf. “Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre.” Mathematische Annalen 86, (September 1922): 230-237. (Reproducido en Felgner 1979).
Galindo, Franklin. “Algunos métodos de la lógica y una revisión crítica de los mismos en relación con los fundamentos de las matemáticas.” Trabajo de ascenso no publicado. Caracas: Universidad Central de Venezuela, 2014.
Galindo, Franklin. “Tópicos de Ultrafiltros.” Divulgaciones Matemáticas 21, no. 1-2 (2020): 54-77.
Galindo, Franklin. “Tres tópicos de Lógica.” Trabajo de ascenso no publicado. Caracas: Universidad Central de Venezuela, 2012.
Garciadiego, Alejandro R. “Philip Jourdain, Historiador de las matemáticas.” LLULL 22, no. 43 (1999): 193-199.
Gödel, Kurt. “La consistencia del Axioma de Elección y la Hipótesis generalizada del continuo con los axiomas de la teoría de conjuntos
(1940).” En Obras Completas. Madrid: Alianza, 1981.
Haack, Susan. Filosofía de las lógicas. Traducido por Amador Antón y Teresa Orduña. Madrid: Ediciones Cátedra, 1991.
Halmos, Paul R. Naive set theory. New York: Springer, 1974.
Halpern, J. D. y A. Levy. “The boolean prime ideal theorem does not imply the axiom of choice.” En Axiomatic Set Theory, Proceedings of Symposia in Pure Mathematics, editado por Dana S. Scott. Vol. 13, Part 1, 83-134. Providence, R.I.: American Mathematical Society, 1971.
Hauser, Kai. “Is Choice Self-Evident?” American Philosophical Quarterly 42, no. 4 (Oct. 2005): 237-261.
Herrlich, Horst. Axiom of choice. Berlin: Springer, 2006.
Heyting, Arend. “Die intuitionistische Grundlegung der Mathematik.” Erkenntnis 2, (1931): 106-115.
Heyting, Arend. Introducción al Intuicionismo. Traducido por Víctor Sánchez de Zavala. Madrid: Editorial Tecnos, 1976.
Hilbert, David. Fundamentos de las Matemáticas. Traducido por Luis Felipe Segura. México: UNAM, 1993.
Hilbert, David. Gesammelte Abhandlungen. Vol. 3. New York: Chelsea Publishing, 1965. (Reimpresión de la edición original: Berlin, Springer, 1933-35).
Horsten, Leon. “Philosophy of Mathematics.” En The Stanford Encyclopedia of Philosophy. Stanford University, 1997-. Artículo
publicado September 25, 2007; revisión September 26, 2017. https://plato.stanford.edu/archives/win2017/entries/philosophymathematics.
Howard, Paul y Jean E. Rubin. Consequences of the Axiom of Choice. Providence, R.I.: American Mathematical Society, 1998.
Jané, Ignacio. “¿De qué trata la teoría de conjuntos?” En Filosofía de la lógica, editado por Raúl Orayen y Alberto Moretti, 247-276. Madrid: Editorial Trotta, 2004.
Jech, Thomas J. The Axiom of Choice. Mineola, N.Y.: Dover Publications, 2008.
Jech, Thomas J. Set Theory. Berlin: Springer, 2006.
Johnstone, P. T. “Tychonoff’s Theorem without the axiom of choice.” Fundamenta Mathematicae 113, no. 1 (1981): 21-35.
Kneale, William y Martha Kneale. El desarrollo de la lógica Traducido por Javier Muguerza. Madrid: Editorial Tecnos, 1980.
Körner, Stephan. The philosophy of mathematics: an introductory essay. London: Hutchinson University Library, 1971.
Kunen, Kenneth. Set Theory. An introduction to Independence proofs. London: College Publications, 2011.
Lecea Blanco, Rufino. “Ontología y significado en Michael Dummett: Una filosofía del lenguaje.” Tesis Doctoral. España: Facultad de Filosofía, UNED, 2011.
Lehman, Hugh. Introduction to the philosophy of mathematics. Oxford: Rowman & Littlefield, 1979.
Levi, Beppo. Leyendo a Euclides. Buenos Aires: Libros del Zorzal, 2003.
Lewin, Renato A. Teoría axiomática de conjuntos. Chile: Universidad Católica de Chile, 2004.
Lindström, Sten, Erik Palmgren, Krister Segerberg y Viggo Stoltenberg-Hansen, eds. Logicism, Intuitionism, and Formalism: What has become of them? Dordrecht: Springer, 2009.
Łoś, J. y Czesław Ryll-Nardzewski. “On the application of Tychonoff’s theorem in mathematical proofs.” FundamentaMathematicae 38, no. 1 (1951): 233-237.
López Abad, Jordi y Carlos Augusto Di Prisco. Teoría de Ramsey y Espacios de Banach. Mérida, Venezuela: EMALCA, 2008.
Łukasiewicz, Jan. Estudios de lógica y filosofía. Madrid: Biblioteca de la Revista de Occidente, 1970.
Maddy, Penelope. Naturalism in Mathematics. Oxford: Clarendon Press, 1997.
Mancosu, Paolo. “Algunas observaciones sobre la filosofía de la práctica matemática.” Disputatio, Philosophical Research Bulletin 5, no. 6 (Dic. 2016): 131-156.
Manzano, María. Teoría de Modelos. Madrid: Alianza Editorial,1989.
Marcus, Marvin y Henryk Minc. Elementos de álgebra lineal, México: Editorial Limusa. 1971.
Martin-Löf, Per. “100 years of Zermelo’s axiom of choice: what was the problem with it?” The Computer Journal 49, no. 3 (May 2006): 345-350.
Martínez-Adame, Carmen. “¿Es necesario el Axioma de Zermelo para comprender la Teoría de la Medida?” Metatheoria – Revista de Filosofía e Historia de la Ciencia 3, no. 2 (2013): 37-64.
Moore, Gregory H. “A house divided against itself: the emergence of first-order logic as the basis for mathematics.” En Studies in the
History of Mathematics, editado por Esther R. Phillips, 98-136. Washington, D.C.: Mathematical Association of America, 1987.
Moore, Gregory H. Zermelo’s Axiom of Choice. Its Origins, Development, and Influence. New York: Springer, 1982.
Mosterín, Jesús. Los lógicos. Madrid: Editorial Espasa Calpe, 2000.
Nagel, Ernst y James R. Newman. El Teorema de Gödel. Madrid: Editorial Tecnos, 2005.
Peano, G. “Demonstration de i’integrabilite des equations difterentielles ordinaire.” Mathematische Annalen 37, (1890): 182-228.
Peirce, Charles. “La esencia de la matemática.” En Sigma: El mundo de las matemáticas. Volumen 5, editado por James R. Newman, 155-171. Barcelona: Editorial Grijalbo, 1976.
Pérez, Juan Antonio. “Los Teoremas de Tychonoff y de los productos conexos son equivalentes.” Revista de Matemática: Teoría aplicaciones 23, no. 1 (2016): 1-10.
Pincus, David. “The strength of the Hahn-Banach theorem.” En Victoria Symposium on Non-Standard Analysis. Lecture Notes in
Mathematics, editado por Albert Hurd y Peter Loeb. Vol. 369, 203-248. Berlin: Springer-Verlag, 1974.
Rubin, Herman y Jean E. Rubin. Equivalents of axiom of choice. Amsterdam: North-Holland Publishing Company, 1970.
Savater, Fernando. El Valor de Educar. Barcelona: Editorial Ariel, 1997.
Sieg, Wilfried. Hilbert’s Program and Beyond. New York: Oxford University Press, 2013.
Solovay, Robert M. “On the cardinality of sets ∑_2^1 of reals.” En Foundations of Mathematics. Symposium Papers commemorating the sixtieth birthday of Kurt Gödel, editado por Jack J. Bullof, Thomas C. Holyoke y Samuel W. Hahn, 58-73. Berlin: Springer, 1969.
Solow, Daniel. The Keys to Advanced Mathematics: Recurrent Themes in Abstract Reasoning. Mansfield, OH: BookMasters, 1995.
Torreti, Roberto. “El Método Axiomático.” En La Ciencia, estructura y desarrollo, editado por César Ulises Moulines, 89- 91. Madrid: Editorial Trotta, 1993.
Torreti, Roberto. El Paraíso de Cantor. La tradición conjuntista en la filosofía de la matemática. Santiago de Chile: Editorial Universitaria, 1998.
Tymoczko, Thomas. “¿Nuevas direcciones en filosofía de la matemática?” Ágora, papeles de filosofía (1997) 16, no. 2: 123-137.
Van Heijenoort, Jean, ed. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, M.A.: Oxford University Press, 1967.
Von Neumann, John. “El matemático.” En Sigma: El mundo de las matemáticas. Volumen 5, editado por James R. Newman, 443- 453. Barcelona: Editorial Grijalbo, 1976.
Von Neumann, Johann. “Die formalistische Grundlegung der Mathematik.” Erkenntnis 2, (1931): 116-121.
Weyl, Hermann. “El modo matemático de pensar.” En Sigma:El mundo de las matemáticas. Volumen 5, editado por James R. Newman, 220-237. Barcelona: Editorial Grijalbo, 1976.
Zermelo, E. “Beweis, daß jede Menge wohlgeordnet werden kann.” Mathematische Annalen 59, (1904): 514-516.
Zermelo, E. “Neuer Beweis für die Möglichkeit einer Wohlordnung.” Mathematische Annalen 65, (1908): 107-128.
Zermelo, Ernest. “Über den Begriff der Definitheit in der Axiomatik.” Fundamenta Mathematicae 14, no. 1 (1929): 339-344.
Zermelo, Ernest. “Über Grenzzahlen und Mengenbereiche.” Fundamenta Mathematicae 16, no. 1 (1930): 29-47.
Zermelo, E. “Untersuchungen über die Grundlagen der Mengenlehre.I.” Mathematische Annalen 65, (June 1908): 261-281.
Descargas
Publicado
Cómo citar
Número
Sección
Categorías
Licencia
Derechos de autor 2022 Franklin Galindo, Randy Alzate
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
Los autores/as que publiquen en esta revista aceptan las siguientes condiciones:
1. Los autores/as conservan los derechos de autor y ceden a la revista AITÍAS el derecho de la primera publicación, con el trabajo registrado con la licencia de atribución de Creative Commons CC-BY, que permite a terceros utilizar lo publicado siempre que mencionen la autoría del trabajo y a la primera publicación en esta revista.
2. Los autores/as pueden realizar otros acuerdos contractuales independientes y adicionales para la distribución no exclusiva de la versión del artículo publicado en esta revista (p. ej., incluirlo en un repositorio institucional o publicarlo en un libro) siempre que indiquen claramente que el trabajo se publicó por primera vez en AITÍAS, Revista de Estudios Filosóficos del Centro de Estudios Humanísticos de la UANL.
