Matemáticas

Frase célebre 1: "Después de todo, ¿qué es la matemática sino la poesía de la mente, y qué es la poesía sino la matemática del corazón?". DAVID EUGENE SMITH. (1860—1944). Matemático estadounidense, educador, coleccionista, editor e historiador de las matemáticas. Frase célebre 2 : "Quizá lo más extraño de la ciencia moderna sea su regreso al Pitagorismo". Bertrand RUSSELL. (1872-1970). Matemático, Lógico, Filósofo, etc. Frase célebre 3: "Las Matemáticas son tanto un aspecto de la Cultura como una colección de algoritmos". C.B. BOYER (1906-1976). History of the Calculus and its conceptual development. Dover, New York. 1949. Frase célebre 4: "Conferimos a las ciencias matemáticas el poder dialéctico de ascender de la caverna a la luz, de lo visible a lo inteligible, de los sentidos a la esencia, por medio de la inteligencia". PLATÓN. República (532c). Frase célebre 5: "El poder que mueve la invención matemática no es (solo) el razonamiento sino la imaginación". AUGUSTUS DE MORGAN (1806−1871). Matemático y lógico británico nacido en la India. Frase célebre 6: "EL LIBRO DE LA NATURALEZA ESTÁ ESCRITO EN LENGUAJE MATEMÁTICO". GALILEO GALILEI (1564–1642), EL PADRE DEL MÉTODO CIENTÍFICO. Frase célebre 7: “Muchas personas que no han estudiado MATEMÁTICAS las consideran una ciencia árida e infructuosa. En realidad, sin embargo, es una CIENCIA que requiere un gran dosis de IMAGINACIÓN.” Sofia Kovalévskaya (1850-1891). Matemática rusa. Frase célebre 8: "La Matemática es la reina de las ciencias y la Aritmética es la reina de las Matemáticas". JOHANN CARL FRIEDRICH GAUSS (1777–1855). Matemático, Astrónomo, Geodesta, y Físico alemán. Frase célebre 9: "El número es el lazo de unión de la eterna persistencia de las cosas". PLATÓN. Timeo. Frase célebre 10: "La matemática ha avanzado más por aquellos que se distinguieron por su intuición que por pruebas rigurosas". Félix KLEIN. (1849-1925). Matemático alemán de gran trascendencia teórica, histórica y metodológica. Frase célebre 11: "Las matemáticas puras son, a su manera, la poesía de las ideas lógicas". Albert EINSTEIN (1879–1955).

La Hipótesis del Continuo de Cantor ¿Cuál es el cardinal del continuo?

La Hipótesis del Continuo de Cantor ¿Cuál es el cardinal del continuo?
¿ (En la actualidad) Estamos cerca de una solución del problema del cardinal del conjunto de los números reales ? ¿Estamos cerca de saber cuál es dicho cardinal o falta mucho todavía? Los intentos por determinar la cardinalidad del conjunto de los números reales (el cardinal del continuo) han contribuido sustancialmente con el desarrollo de la Teoría de Conjuntos. Hacia 1878 G. Cantor conjeturó que tal cardinal es el menor cardinal mayor que el cardinal de los números naturales (Alef_0), es decir, Alef_1. Esta hipótesis se denomina Hipótesis del continuo (HC) y Cantor no pudo demostrar la misma. Para David Hilbert la HC era tan importante que la colocó de primera en la lista de problemas presentada al Congreso Internacional de Matemáticas realizado en París en 1900; y uno de los resultados más destacados al respecto es la prueba de su independencia de los axiomas estándar de la Teoría de Conjuntos, la cual se debe a K. Gödel (1938) y a P. Cohen (1963-64), es decir, tales autores demostraron que si los axiomas estándar de la Teoría de Conjuntos son consistentes, entonces no se puede deducir de ellos la HC, ni la negación de la HC. Considerando esta independencia y además que (desde un punto de vista platonista) la HC es una proposición significativa la cual es verdadera o falsa, una de las investigaciones actuales más relevantes sobre el tema consiste en la búsqueda de nuevos axiomas que permitan decidir el cardinal del continuo. Vale la pena destacar que algunos de los candidatos a nuevos axiomas dicen que Cantor estaba equivocado, pues ellos implican que el cardinal del continuo es Alef_2, el menor cardinal mayor que Alef_1 (Gödel había intuido este resultado años antes). ¿ Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964) ? Intentos de responder esta pregunta pueden encontrarse en los artículos del Prof. José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", del Prof. Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y del Prof. Joan Bagaria, "Natural axioms of set and the continuum problem" , que se encuentran en la biblioteca digital de este blog que aparecerá al hacer clic en la imagen. También se puede encontrar más información al respecto en dicha biblioteca, en las otras bibliotecas digitales referidas en este blog y en una entrada específica de este blog dedicada al tema (por favor leer esta entrada de primero). Y también en la siguiente entrada web ("The Continuum Hypothesis") de la Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto: https://plato.stanford.edu/entries/continuum-hypothesis/

Cardinales grandes

Cardinales grandes
En este blog existe una entrada referida a este tema donde se colocan algunas referencias clásicas. Hacer clic sobre la imagen para tener acceso a dicha entrada.

Matemática aplicada

Matemática aplicada
Matemática Aplicada. Esquema del "Proceso de Modelación Matemática". Es muy interesante el tema de las aplicaciones de la matemática (en todas sus ramas) a las ciencias naturales y sociales. Hacer clic sobre la imagen para ver un video de youtube que presenta un resumen de diversas aplicaciones de la matemática a las ciencias, el video es del canal "EduMates". También en el siguiente video de youtube se puede ver una interesante entrevista al profesor de matemáticas Marcus du Sautoy realizada por Eduar Punset, en la cual el profesor Marcus habla sobre el tema de la aplicación matemática, el video se llama "Las Simetrías del Universo": https://www.youtube.com/watch?v=jegmxU9YS-s Un ejemplo de cómo crear un modelo matemático usando Ecuaciones Diferenciales (video de youtube del canal "MateFacil") es el siguiente: https://www.youtube.com/watch?v=V9UE2QmnDjw Otro ejemplo se puede ver en el siguiente video de youtube de "MateFacil": https://www.youtube.com/watch?v=WgWcxansYCs&t=18s Y otro ejemplo se puede ver en el siguiente video de youtube del canal "Matemáticas y física con tilde": https://www.youtube.com/watch?v=jXVJJoFTbeQ Es conocido que en internet (por ejemplo en "youtube") se pueden encontrar muchos otros videos tutoriales con ejemplos de aplicaciones matemáticas (de todas las ramas de las matemáticas). En el siguiente video de youtube se puede ver dos ejemplos de modelos (o fenómenos) estocásticos o probabilísticos: https://www.youtube.com/watch?v=8hHevhITp-c . En la biblioteca digital de este blog se pueden conseguir algunos libros con diferentes aplicaciones matemáticas.

sábado, 23 de abril de 2011

¿ Qué ha pasado con el problema del cardinal del continuo de Cantor después de Gödel (1938) y Cohen (1964) ?.

(Agosto 2017)



Saharon Shelah. Uno de los destacados matemáticos que ha investigado el Problema del cardinal del continuo de Cantor después de los resultados de Gödel (1938) y de Cohen (1964).



Stevo Todorčević. Otro destacado matemático que ha investigado el Problema del cardinal del continuo de Cantor después de los resultados de Gödel (1938) y Cohen (1964).



Hipótesis del continuo de Cantor (1878): EL CARDINAL DE CONJUNTO DE LOS NÚMEROS REALES ES Alef_1 (Alef_1 el menor cadinal mayor que el cardinal del conjunto de los números naturales, Afef_0).

¿La Hipótesis del continuo de Cantor (HC) es verdadera o falsa?



Es conocido, por los resultados de Gödel (1938) y Cohen (1963-1964), que la HC es independiente de los axiomas estándar de la Teoría de conjuntos. Gödel probó que la negación de la HC no se puede demostrar de los axiomas estándar creando y usando la técnica de los conjuntos constructibles, y Cohen probó que la HC no se puede demostrar de los axiomas estándar creando y usando el método de forcing. Pero, ¿Qué ha pasado con el problema del cardinal del continuo de Cantor después de Gödel (1938) y Cohen (1964)?. Vale la pena resaltar que destacados conjuntintas contemporáneos consideran que Cantor estaba equivocado y que el cardinal del conjunto de los números reales no es Alef_1, si no que es el menor cardinal mayor que Alef_1, Alef_2, el mismo Gödel ya había planteado esta posibilidad años antes, y una de la razones por la cual tales conjuntistas (los contemporáneos) consideran que es Alef_2 es que varias de las proposiciones que se consideran candidatos a nuevos axiomas de la teoría de conjuntos contemporánea deciden que el cardinal del continuo es Alef_2, es decir, con tales candidatos a nuevos axiomas se demuestra que el cardinal del conjunto de los números reales es Alef_2. Dos ejemplos de candidatos a nuevos axiomas de este tipo son EL AXIOMA DE FORCING PROPIO (PFA) (El "forcing propio" fue introducido por Shelah en 1982 y 1998, y el "Axioma de forcing propio" fue introducido por Baumgartner en 1984) y EL AXIOMA DE MARTIN MÁXIMO (MM) (formulado por Foreman, Magidor y Shelah en 1988), los cuales son generalizaciones del AXIOMA DE MARTIN (AM), (Donald Martin, 1970), el AM es una proposición relacionada con la combinatoria infinita, la topología y el forcing que tiene importantes consecuencias en diversas áreas de las matemáticas como la Combinatoria, el Análisis, la Topología y el Álgebra (por ejemplo una consecuencia del AM es el conocido Teorema de Categoría de Baire y una generalización de tal teorema también se puede demostrar a partir del AM).



--------------------------------Donald Martin. Matemático y Filósofo----------------------

MM es un fortalecimiento de PFA y a su vez PFA es un fortalecimiento del AM. Tanto PFA como MM implican que el cardinal del conjunto de los números reales es Alef_2. Sin embargo, tales candidatos a nuevos axiomas (PFA, MM, entre otros no mencionados en este breve escrito) no han sido aceptados totalmente como nuevos axiomas de la Teoría de conjuntos hasta los momentos, quizá esto se deba (en parte) a que ellos tienen al menos las siguientes dos caraterísticas: (a) Ellos son muy poco "intuitivos" (vale la pena resaltar que actualmente no hay un acuerdo sobre las nociones de "intuitivo" y "natural"), y (b) Las pruebas de la consistencia relativa de los mismos con los axiomas estándar que se han realizado hasta los momentos suponen la existencia de hipótesis fuertes de la teoría de conjuntos como por ejemplo que existen cardinales inaccesibles, por ejemplo las pruebas de la consistencia relativa con los axiomas estándar de PFA y de MM suponen la existencia cardinales supercompactos, y la existencia de estos grandes cardinales no se puede probar con los axiomas estándar como consecuencia del Segundo Teorema de Incompletitud de Gödel (1931)....Para profundizar sobre el tema del Problema del cardinal del continuo de Cantor se puede empezar leyendo los artículos divulgativos sobre el asunto de los profesores José Alfredo Amor (1946-2011, Departamento de Matemáticas de la Facultad de Ciencias de la Universidad Nacional de México (UNAM)) y Carlos Di Prisco (Instituto Venezolano de Investigaciones Científicas (IVIC)-Escuela de Matemáticas de la Facultad de Ciencias de la Universidad Central de Venezuela (UCV)) que se encuentran en la biblioteca digital de este blog y se pueden bajar, sus referencias son las siguientes:

(1) Artículo 1: EL PROBLEMA DEL CONTINUO DESPUÉS DE COHEN (1964-2004). Autor: JOSÉ ALFREDO AMOR. Aportaciones Matemáticas. Memorias 35 (2005) 71-80.

Resumen del artículo: "En este trabajo se expone en que consiste el nuevo axioma llamado Martin Máximo Acotado (BMM), el cual es un axioma que puede considerarse "natural" en cierto sentido y que junto con la teoría ZFE decide el problema del continuo de Cantor. El llamado Axioma de Martin (AM) es un conocido enunciado relacionado con la topología, la combinatoria infinita y el forcing, planteado por Donald Martin en 1970. En 1988 Foreman, Magidor y Shelah, formularon una versión fuerte maximal de AM y lo llamaron Martin Máximo (MM). También demostraron la consistencia de MM relativa a la existencia de un cardinal supercompacto. BMM es una modificación acotada de MM que resulta más débil y que decide el problema del continuo, en el sentido de que el cardinal del continuo es Alef_2. "

(2) Artículo 2: ARE WE CLOSER TO A SOLUTION OF THE CONTINUUM PROBLEM ?. Autor: Carlos Di Prisco. Re.Int.Fil., 28, Nº 2, Campinas, 2005, 331-350.

Resumen del artículo: "La Hipótesis del continuo ha motivado un desarrollo considerable de la teoría axiomática de conjuntos por más de un siglo. Presentamos de manera muy esquemática algunos resultados que suministran información referente al problema del continuo de Cantor."

Nota: Vale la pena resaltar que se puede encontrar más información al respecto en la biblioteca digital de este blog, por ejemplo allí se encuentra (y se puede bajar) el artículo del Profesor Joan Bagaria (Departament de Lógica, História i Filosofía de la Ciéncia. Universitat de Barcelona-Institució Catalana de Recerca i Estudis Avacats (ICREA)) que se titula: "NATURAL AXIOMS OF SET THEORY AND THE CONTINUUM PROBLEM". 2004. También, para estudiar las demostraciones de muchos de los teoremas sobre el tema, se encuentran en la biblioteca digital (y se pueden bajar) los libros "SET THEORY" de Jech (2000) y "SET THEORY" de Kunen (2006). Y también en la siguiente entrada web ("The Continuum Hypothesis") de la Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto: https://plato.stanford.edu/entries/continuum-hypothesis/ . También se puede ver la siguiente (interesante) conferencia en youtube: "Problema 1 de Hilbert: La Hipótesis de continuo". Ponente: Ph.D. en Matemáticas Antonio Montalbán. University of California. Berkeley. Fecha: Septiembre 2021. Resumen del ponente sobre la charla: "La hipótesis del continuo dice que no hay ningún conjunto cuya cardinalidad esté estrictamente entre la de los números naturales y la de los números reales. Esta charla, parte de una serie sobre los problemas de Hilbert, organizada por la Universidad de la República en Uruguay, contamos lo que se sabe y lo que no sobre esta hipótesis. Contamos un poco sobre el resultado de Gödel quien prueba que no es refutable en ZFC, y el de Cohen, quien desarrolla la técnica de forcing para probar que no es demostrable en ZFC." El enlace para ver la ponencia es el siguiente: https://www.youtube.com/watch?v=wtA1VQ-UkPM