LÓGICA MATEMÁTICA Y LOS FUNDAMENTOS DE LAS MATEMÁTICAS....Cualquier pregunta sobre los temas planteados en este blog me la pueden hacer llegar por mis correos electrónicos franklingalindo178@gmail.com o franklingalindo178@yahoo.es, si está a mi alncance responderla lo haré con mucho gusto. Saludos cordiales.

¿ 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 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) ? Para enterarse se pueden leer 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.

Ciencia y Matemáticas. Galileo Galilei (1564-1642).

Ciencia y Matemáticas. Galileo Galilei (1564-1642).
Ciencia y Matemáticas...Galileo Galilei (1564-1642): Astrónomo, filósofo, ingeniero, matemático y físico italiano. Albert Einstein lo llamó "padre de la ciencia moderna" y "para Stephen Hawking, Galileo probablemente sea, más que cualquier otro, el máximo responsable del nacimiento de la ciencia moderna" (Fuente: Internet). Según algunas referencias se le atribuye las expresiones "Las matemáticas son el lenguaje en el que Dios escribió el universo", "La Naturaleza está escrita en lenguaje matemático" y "La filosofía -decía Galileo (en Il Saggitario, 1623)- está escrita en ese grandísimo libro que continuamente está abierto ante nuestros ojos (a saber, el universo), pero no puede entenderse si antes no se procura entender su lenguaje y conocer los caracteres en que está escrito. Este libro está escrito en lenguaje matemático, y sus caracteres son triángulos, círculos, y otras figuras geométricas, sin las cuales es totalmente imposible entender humanamente una palabra, y sin las cuales nos agitamos vanamente en un oscuro laberinto" ... La fuente de las dos primeras referencias anteriores es internet y la tercera aparece en el artículo "La matemática como lenguaje" de Jesús Mosterín, Tecnos, 1973, y en el "Diccionario de Filosofía" de Ferrater Mora, Ariel, 2001. Es conocida la enorme importancia de la matemática para la ciencia, y también que el problema de la relación de la matemática con el mundo físico (espacio tiempo) es un tema de estudio en filosofía de la matemática: ¿Cuál es la relación exacta entre las matemáticas y el mundo espacio-tiempo? ¿Por qué se pueden predecir hechos del mundo físico usando a las matemáticas? ¿Cuál es el rango metafísico (ontológico) de las entidades matemáticas? son preguntas que se investigan hoy en día.

Propiedades combinatorias de conjuntos perfectos de números reales:Ramsey,Polarizada,Bernstein,etc.

Propiedades combinatorias de conjuntos perfectos de números reales:Ramsey,Polarizada,Bernstein,etc.
Propiedades combinatorias de conjuntos perfectos de números reales: Propiedad de Ramsey, Propiedad de Subretículo, Propiedad de Partición Polarizada y Propiedad de Bernstein. Todas las relaciones de implicación entre dichas propiedades ya están determinadas y demostradas matemáticamente en el contexto de la Lógica Matemática. Para más información ver artículo, " Perfect set properties in models of ZF". Autores: Carlos Augusto Di Prisco y Franklin C. Galindo. Fundamenta Mathematicae 208(2010), 249-262. MSC: 03E02, 03E25, 03E35.

sábado, 13 de julio de 2013

UN BREVE COMENTARIO SOBRE FORMA NORMAL PRENEXA, FORMA NORMAL DE SKOLEM, VALIDEZ, TAUTOLOGÍA, EL TEOREMA DE INDECIBILIDAD DE CHURCH (1936) y COMPUTABILIDAD. Autor: Franklin Galindo.

(Última actualización de esta entrada 04-04-2017)



--------------------------------THORALF AALBERT SKOLEM (1887–1963)-------------



----------------------------------------ALONZO CHURCH (1903-1995)-------------

Un resultado clásico de LÓGICA MATEMÁTICA es el Teorema que relaciona la VALIDEZ de la Lógica de Primer Orden con la TAUTOLOGICIDAD de la Lógica proposicional en el sentido de que permite caracterizar la "validez" en la Lógica de Predicados Poliádicos usando "tautologicidad" en la Lógica Proposicional. Un enunciado de dicho teorema puede leerse en la imagen (escaneada) que se anexa al final de este párrafo, y una prueba del mismo puede hacerse (hay otras pruebas más clásicas, por ejemplo tal resultado se puede obtener como un colorario de Teorema de completitud original de Gödel, la cual usa forma normal de Skolem, ver texto de Church "Introduction to mathematical logic" de 1956) usando resultados sobre FORMA NORMAL PRENEXA, FORMA NORMAL DE SKOLEM y EL TEOREMA DE HERBRAND (1930), así lo demuestran los Profesores Anil Nerode y Richard Shore en su texto LOGIC FOR APPLICATIONS, Springer-Verlag, 1993, libro que se puede encontrar y bajar en la biblioteca digital de este blog.



¿Y el resultado mencionado arriba no contradice al Teorema de indecibilidad de Alonzo Church ("La Lógica de primer Orden es indecidible", 1936), ya que la lógica proposicional es decidible?: La respuesta es que NO, porque a los n términos mencionados no hay cómo elegirlos de manera efectiva, es decir, se sabe que existen pero no hay un procedimiento mecánico y efectivo que permita determinarlos.

En el siguiente enlace se puede leer (y bajar) un interesante artículo del Profesor Jesús Mosterín sobre el problema de la decisión (un resumen general de su estado actual), en el mismo se presentan varios problemas abiertos sobre fragmentos decidibles o indecidibles de la Lógica de Primer Orden, dicho artículo también se puede encontrar y bajar en la biblioteca digital de este blog, se llama "El Problema de la decisión en la lógica de predicados" (Convivium, Núm. 39, 1973):

http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&ved=0CDUQFjAB&url=http%3A%2F%2Fwww.raco.cat%2Findex.php%2FConvivium%2Farticle%2Fdownload%2F76430%2F98646&ei=Jh4YUsrNGIi92gXO0YHYDQ&usg=AFQjCNExXuJfr4QclWzcHD8zHf_DY0UlTQ&sig2=4mhHkOkEgGSi0gfjI1RWlg&bvm=bv.51156542,d.b2I&cad=rja"

Otras dos conocidas aplicaciones importantes del procedimiento efectivo de Forma Normal de Skolem son las siguientes: (a) Como se dijo anteriormente en la prueba original del Teorema de Completitud de Gödel para la lógica de primer orden (1930) se usó este procedimeto (Ver libro de Church antes mencionado), y (b) En el "Cálculo de Resolución" se usa este procedimiento, tal cálculo es muy importante en PROLOG (Programación con Lógica), es decir, en el campo de la Inteligencia Artificial, ver texto LOGIC FOR APPLICATIONS anteriormente mencionado y el texto "Lógica para principiantes" de María Manzano y Antonia Huertas, el cual está en la biblioteca digital de este blog y se puede bajar. Aunque la versión que está actualmente en la biblioteca digital no es la más actualizada del dicho libro "Lógica para principiantes" y ella no tiene el Cálculo por Resolución, la más actualizada es la que tiene Cálculo por resolución, tal vez se pueda conseguir por la web esta versión, la que está en la biblioteca digital actualmente es sólo de María Manzano, ella tiene una exposición sistemática del Cálculo por Tablas (árboles) semánticas, el cual también es de utilidad en computabilidad y para trabajar manualmente lógica elemental, por ejemplo para decidir la validez o no validez de razonamientos formalizables en primer orden hasta predicados monádicos. Los fundamentos matemáticos del método de Cálculo lógico de Tablas (árboles) semánticas pueden encontrarse en el texto mencionado anteriormente, LOGIC FOR APPLICATIONS, también en dicho texto se extiende tal método (árboles semánticos) a la Lógica Modal y a la lógica intuicionista y se demuestra matemáticamente que todo funciona bien en ambos sistemas lógicos(las estructuras de Kripke juegan un papel fundamental allí para definir la semántica en ambos sistemas lógicos y probar el teorema de completitud del Cálculo referido). Vale la pena resaltar que un Teorema importante para fundamentar matemáticamente el Cálculo por Resolución es el TEOREMA DE HERBRAND (1930), también el "ALGORITMO DE UNIFICACIÓN" es fundamental en tal método de cálculo (y en Tablas-árboles-semáticos también). Por ejemplo los procedimientos efectivamente computables de "Forma normal prenexa, "Forma normal de Skolem", "Forma normal conjuntiva" y "Unificación" permiten pasar todo el lenguaje de la lógica de primer orden a "lenguaje clasusular", y así poder aplicar la "Regla de Resolución", única regla del Cálculo por Resolución. Ver texto referido anteriormente "LOGIC FOR APPLICATIONS".

LOGIC FOR APPPLICATIONS. Autores: Anil Nerode, Richard A. Shore. Springer. 1997.



En la bilioteca digital de este blog se puede encontrar y bajar una versión digital de dicho texto.

(Última actualización de esta entrada 04-04-2017)

No hay comentarios:

Publicar un comentario

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