¿ Cuál es el cardinal del continuo? ¿ Cuál es el cardinal del conjunto de los números reales?

¿ Cuál es el cardinal del continuo? ¿ Cuál es el cardinal del conjunto de los números reales?
¿ (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 o nunca lo sabremos? 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 (propuestos recientemente) 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), del Prof. Carlos Di Prisco y del Prof. Joan Bagaria 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.

domingo, 17 de junio de 2012

Cardinales grandes

(Fecha de la entrada 20-07-2017.)

Cardinales grandes: (entre otros) Cardinales inaccesibles, cardinales débilmente compactos, cardinales Ramsey, cardinales medibles, cardinales Woodin, cardinales lambda-supercompactos, cardinales supercompactos, cardinales enormes, cardinales super-enormes.

SE colocran aquí algnos (ejemplos) de sesultados sobre cardinales inccsesibles , cardinales dédilmente compactos, y cardinales medibles.

Importante información sobre este interesante tema de "cardinales grandes" puede encontrarse (entre otros) en los textos "Teoría de conjuntos" de Carlos Di Prisco, "Set Theory" de Jech, "Model Theory" de Chang y Keisler, "The Higher Infinite" de Kanamori. Tales textos estan en la biblioteca digital de este blog (y se pueden bajar). También (por ejemplo) en las notas "Inmersiones elementales y cardinales grandes" de Carlos Di Prisco, y en los textos "Set Theory. An Introduction to large cardinals" de Drake y "The Theory of Ultrafilters" de Comfort y Negrepontis (se pueden conseguir en la web estos dos últimos textos). Además: En las bibliografías de tales referencias se mencionan otros importantes textos y artículos sobre el tema.



No hay comentarios:

Publicar un comentario

Nota: solo los miembros de este blog pueden publicar comentarios.