El axioma de elección en el quehacer matemático contemporáneo
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...
| Autores principales: | , |
|---|---|
| Formato: | Artículo |
| Lenguaje: | español |
| Publicado: |
Universidad Autónoma de Nuevo León
2022
|
| Materias: | |
| Acceso en línea: | https://aitias.uanl.mx/index.php/a/article/view/31 |
| _version_ | 1824324606861770752 |
|---|---|
| author | Galindo, Franklin Alzate, Randy |
| author_facet | Galindo, Franklin Alzate, Randy |
| author_sort | Galindo, Franklin |
| collection | Artículos de Revistas UANL |
| description | 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.
|
| first_indexed | 2025-01-23T21:59:39Z |
| format | Article |
| id | aitias-article-31 |
| institution | UANL |
| language | spa |
| last_indexed | 2025-01-23T21:59:39Z |
| physical | Aitias, Revista de Filosofía del CEH; Vol. 2 No. 3 (2022): Enero-Junio 2022; 49-126 Aitías, Revista de Estudios Filosóficos del Centro de Estudios Humanísticos de la UANL; Vol. 2 Núm. 3 (2022): Enero-Junio 2022; 49-126 Aitías, Revue d'études philosophiques du Centre d'études humanistes de l'UANL; Vol. 2 No 3 (2022): Enero-Junio 2022; 49-126 2683-3263 |
| publishDate | 2022 |
| publisher | Universidad Autónoma de Nuevo León |
| record_format | ojs |
| spelling | aitias-article-312023-08-15T22:29:37Z The axiom of choice in contemporary mathematical work El axioma de elección en el quehacer matemático contemporáneo Galindo, Franklin Alzate, Randy Axioma de elección, quehacer matemático, Gödel, Cohen, platonismo matemático. axiom of choice, mathematical work, Gödel, Cohen, mathematical platonism For mathematicians interested in problems of foundations, logical-mathematicians and philosophers of mathematics, the axiom of choice is an obligatory center of reflection, since it has been considered essential in the debate within the positions considered classic in the philosophy of mathematics (intuitionism, formalism, logicism, platonism), but it has also had a fundamental presence in the development of contemporary mathematics and metamathematics. From a position that privileges the mathematical task, we intend to show the contributions that the axiom has had in several fundamental areas of mathematics, its application in first-order logic, as well as a brief description of the relative consistency tests due to Gödel and Cohen, who established their independence from the Zermelo-Fraenkel (ZF) axiomatic system. With all of the above, we will show how contemporary mathematical work is ascribed to mathematical platonism in the terms of Bernays and Ferreirós. We will also review the arguments of Zermelo and Cantor to allow the use of assumptions in mathematics, which are close to the approaches of scientific research and outline relationships with the philosophy of mathematical practice. Finally, we justify the use of the axiom of choice in contemporary times, advocating for equitable relations between mathematics and philosophy, also presenting its full validity, through reference to some currently open problems that link the axiom of choice with Ramsey theory. 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. Universidad Autónoma de Nuevo León 2022-07-01 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Dossier (colaboraciones evaluados por pares) application/pdf https://aitias.uanl.mx/index.php/a/article/view/31 10.29105/aitas2.3-31 Aitias, Revista de Filosofía del CEH; Vol. 2 No. 3 (2022): Enero-Junio 2022; 49-126 Aitías, Revista de Estudios Filosóficos del Centro de Estudios Humanísticos de la UANL; Vol. 2 Núm. 3 (2022): Enero-Junio 2022; 49-126 Aitías, Revue d'études philosophiques du Centre d'études humanistes de l'UANL; Vol. 2 No 3 (2022): Enero-Junio 2022; 49-126 2683-3263 spa https://aitias.uanl.mx/index.php/a/article/view/31/25 Derechos de autor 2022 Franklin Galindo, Randy Alzate https://creativecommons.org/licenses/by/4.0 |
| spellingShingle | Axioma de elección, quehacer matemático, Gödel, Cohen, platonismo matemático. axiom of choice, mathematical work, Gödel, Cohen, mathematical platonism Galindo, Franklin Alzate, Randy El axioma de elección en el quehacer matemático contemporáneo |
| thumbnail | https://rediab.uanl.mx/themes/sandal5/images/article.gif |
| title | El axioma de elección en el quehacer matemático contemporáneo |
| title_alt | The axiom of choice in contemporary mathematical work |
| title_full | El axioma de elección en el quehacer matemático contemporáneo |
| title_fullStr | El axioma de elección en el quehacer matemático contemporáneo |
| title_full_unstemmed | El axioma de elección en el quehacer matemático contemporáneo |
| title_short | El axioma de elección en el quehacer matemático contemporáneo |
| title_sort | el axioma de eleccion en el quehacer matematico contemporaneo |
| topic | Axioma de elección, quehacer matemático, Gödel, Cohen, platonismo matemático. axiom of choice, mathematical work, Gödel, Cohen, mathematical platonism |
| topic_facet | Axioma de elección, quehacer matemático, Gödel, Cohen, platonismo matemático. axiom of choice, mathematical work, Gödel, Cohen, mathematical platonism |
| url | https://aitias.uanl.mx/index.php/a/article/view/31 |
| work_keys_str_mv | AT galindofranklin theaxiomofchoiceincontemporarymathematicalwork AT alzaterandy theaxiomofchoiceincontemporarymathematicalwork AT galindofranklin elaxiomadeeleccionenelquehacermatematicocontemporaneo AT alzaterandy elaxiomadeeleccionenelquehacermatematicocontemporaneo AT galindofranklin axiomofchoiceincontemporarymathematicalwork AT alzaterandy axiomofchoiceincontemporarymathematicalwork |