Se ofrecen asesorías o clases particulares (vía web o presencial) sobre Precálculo, Cálculo, Geometría, Lógica matemática, Fundamentos de la matemática. Interesados por favor escribir al correo electrónico franklingalindo178@gmail.com, se le responderá con prontitud. Se garantiza experiencia docente, y vocación académica para enseñar y aprender.

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).

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 la biblioteca digital de este blog se pueden conseguir algunos libros con diferentes aplicaciones.

jueves, 3 de septiembre de 2020

Se dictan clases particulares de matemáticas (vía web o presencial): PRECÁLCULO, CÁLCULO y GEOMETRÍA.


Se dictan clases particulares de matemáticas (vía web o presencial) :   PRECÁLCULO (MATEMÁTICAS PARA EL CÁLCULO), CÁLCULO  y GEOMETRÍA:

Precálculo (Matemáticas para el Cálculo): Números reales, Funciones, Funciones polinomiales y racionales, Funciones exponenciales y logarítmicas, Funciones trigonométricas de números reales, Funciones trigonométricas de ángulos, Trigonometría analítica, Coordenadas polares y vectores, Sistemas de ecuaciones lineales y Matrices, Geometría  analítica, Sucesiones y series, Límites: Presentación preliminar del cálculo.

Cálculo:  Números reales, Funciones reales, Límites, Continuidad, Diferenciación, Técnicas de derivación, Aplicaciones de la derivada, La integral indefinida, Técnicas de integración, La integral definida, Aplicaciones de la integral definida, Integrales impropias y algunas funciones especiales, Ecuaciones paramétricas, Coordenadas polares, Sucesiones infinitas, Series infinitas, Series de potencias, Funciones vectoriales, Cálculo diferencial de funciones de más de una variable, Integración múltiple, Introducción al cálculo de campos vectoriales. 

Geometría:  La recta real, Medida de un segmento de recta, Ángulos y su medida, Congruencia y Semejanza de triángulos, Interpretación geométrica de la suma, resta, multiplicación, división y orden de los números reales, Repaso de trigonometría, Resolución de triángulos obtusángulos y acutángulos (Teorema del seno y Teorema del coseno), Relaciones métricas en la circunferencia, Conceptos básicos en el espacio, Polígonos y poliedros, Transformaciones: Traslaciones, rotaciones, simetrías y semejanzas, Grupos de transformaciones, Áreas y volúmenes, Cuerpos redondos, Secciones cónicas, Teorema de Dandelin, Coordenadas en el plano: Sistema de coordenadas cartesianas, Coordenadas en el espacio, Transformaciones en coordenadas, Transformaciones lineales en el plano, Transformaciones lineales en el espacio, Transformaciones afines, Cambios de coordenadas.

Para mayor información escribir por el correo electrónico: franklingalindo178@gmail.com. Se le responderá con prontitud.  Se garantiza vocación académica para enseñar y aprender, y experiencia docente.


 






lunes, 17 de agosto de 2020

El Centro de Estudios de Lógica Matemática George Boole ofrece Asesorías y clases particulares sobre Lógica Matemática.

EL  CENTRO DE ESTUDIOS DE LÓGICA MATEMÁTICA GEORGE BOOLE OFRECE  ASESORÍAS Y CLASES PARTICULARES SOBRE LÓGICA MATEMÁTICA (vía web o presencial): Lógica proposicional, Lógica de primer orden, Teoría de conjuntos, Álgebra booleana, Teoría de modelos, y otros temas de lógica matemática. Nivel básico, medio y avanzado. 

Más información por el correo electrónico logicamatematica.gb@gmail.com  o franklingalindo178@gmail.com. Se le responderá con prontitud. Se garantiza  experiencia docente y vocación académica para enseñar y aprender.


jueves, 26 de marzo de 2020

Texto digital de Geometría y curso web sobre el mismo

Un excelente texto  sobre  Geometría- plana y del espacio- es el del  profesor Enrique Planchart (de la Universidad Simón Bolívar, USB). Editorial Equinoccio. 2008.  Tal  libro  se puede encontrar (y bajar) en PDF  del siguiente enlace:  https://www.ma.usb.ve/inicio/cursos/geometr%C3%ADa . Aparece identificado por el siguiente nombre: Geometría MA1511. Para acceder al curso web  de Geometría (MA1511) de la USB (que se basa en el texto mencionado), puede utilizarse  el siguiente enlace web:


Son 20 clases introductorias (en youtube) sobre los 20 capítulos del texto, cada clase dura aproximadamente 10 minutos. 
Entre el contenido del texto se encuentran los siguientes temas:  La recta real, Medida de un segmento de recta, Ángulos y su medida, Congruencia y Semejanza de triángulos, Interpretación geométrica de la suma, resta, multiplicación, división y orden de los números reales, Repaso de trigonometría, Resolución de triángulos obtusángulos y acutángulos (Teorema del seno y Teorema del coseno), Relaciones métricas en la circunferencia, Conceptos básicos en el espacio, Polígonos y poliedros, Transformaciones: Traslaciones, rotaciones, simetrías y semejanzas, Grupos de transformaciones, Áreas y volúmenes, Cuerpos redondos, Secciones cónicas, Teorema de Dandelin, Coordenadas en el plano: Sistema de coordenadas cartesianas, Coordenadas en el espacio, Transformaciones en coordenadas, Transformaciones lineales en el plano, Transformaciones lineales en el espacio, Transformaciones afines, Cambios de coordenadas. 
A continuación se presenta una imagen del libro mencionado.



Otro texto excelente sobre Geometría - plana y del espacio- cuyo contenido coincide en algunos capítulos con el mencionado anteriormente es el  siguiente: GEOMETRÍA I, profesora Edith Ricabarra, Universidad Central de Venezuela, UCV, 1995. Una versión digital (PDF) de este texto (y también del anteriormente mencionado del profesor Planchart) puede encontrarse y bajarse de la biblioteca digital de este blog. 

¿Cómo utilizar el Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibilidad de Church?



                                                        Jacques Herbrand (1908-1931)



"¿Cómo utilizar el Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibilidad de Church?" es el título de un artículo que recientemente publiqué junto con María Alejandra Morgado en la revista "Apuntes filosóficos" de la Escuela de Filosofía de la Universidad Central de Venezuela (en el volumen 28 que se llama "Lógica, Filosofía de la Matemática y Perspectivas analíticas"), un resumen de dicho artículo es el siguiente:

"Resumen: El objetivo de este artículo es presentar cuatro ejemplos de aplicación del Teorema de Herbrand para decidir la validez de razonamientos en lenguaje de primer orden, en conformidad con el Teorema de Indecidibiliad de Church. Y además decir cuál es el principal problema que se presenta al respecto. En este artículo se trabaja con el cálculo lógico por resolución, un método utilizado en inteligencia artificial.


Palabras clave: Decidibilidad, Herbrand, Indecidibilidad, Church, Cálculo por Resolución."

Tal artículo se puede conseguir y bajar en versión PDF en el siguiente enlace web de la revista:

                  http://saber.ucv.ve/ojs/index.php/rev_af/article/view/17768/144814484155


La referencia es Apuntes filosóficos, Vol 28, N° 55 (2019), páginas 67-86.

Una demostración del Teorema de Herbrand  puede conseguirse en el siguiente texto:




miércoles, 25 de marzo de 2020

Algunas notas introductorias sobre la Teoría de conjuntos



Georg Cantor (1845-1918)






"Algunas notas introductorias sobre la Teoría de conjuntos" es el título de un documento que publiqué recientemente en la revista "Apuntes filosóficos"  de la Escuela de Filosofía de la Universidad Central de Venezuela (en el  volumen 28 llamado "Lógica, Filosofía de la Matemática y Perspectivas Analíticas"), un resumen de dicho documento es el siguiente:

"Resumen: El objetivo de este documento es presentar tres notas introductorias sobre la Teoría de conjuntos: En la primera nota se presenta una panorámica general sobre dicha disciplina desde sus orígenes hasta la actualidad, en la segunda nota se hacen algunas consideraciones sobre la evaluación de razonamientos aplicando la Lógica de primer orden y los teoremas de Löwenheim, Indecidibilidad de Church, Completitud e Incompletitud de Gödel, es conocido que las teorías axiomáticas de conjuntos más usadas en la actualidad se escriben en un lenguaje de primer orden específico, es decir, se desarrollan en el marco de la Lógica de primer orden, por eso es relevante esta nota; y la tercera nota se refiere a la presencia del platonismo matemático en los axiomas de ZFC y en los axiomas de “cuerpo ordenado completo”, se sabe que los últimos axiomas mencionados caracterizan (salvo isomorfismo) al sistema de los números reales y que se utilizan actualmente para desarrollar el Análisis real en el contexto de la teoría de conjuntos. Se aspira que este artículo sea de utilidad pedagógica para estudiantes interesados en la teoría de conjuntos y en la filosofía de la matemática (que se estén iniciando en el tema).

Palabras clave: Teoría de Conjuntos, Lógica de Primer Orden, Cuerpo Ordenado Completo, Análisis Real, Platonismo Matemático, Constructivismo."

Recomiendo leer  tal documento a todos los interesados en la Teoría de conjuntos y en la Filosofía de la Matemática que se estén iniciando en el tema. El enlace web de la revista de donde se puede bajar el PDF del documento es el siguiente:

               http://saber.ucv.ve/ojs/index.php/rev_af/article/view/17775/144814484162

La referencia es Apuntes filosóficos, Vol 28, N° 55 (2019), páginas 201-232.

Nota: Una copia en PDF del artículo también se puede encontrar y bajar de mi  página en Academia.edu, el enlace es el siguiente:
https://ucv.academia.edu/FranklinGalindo

lunes, 24 de junio de 2019

El Principio de Inducción Matemática. Algunas versiones y aplicaciones del mismo para probar teoremas en Lógica Matemática.

                                 

He escrito  unas notas en el 2014 que contienen: (a)  dos  demostraciones clásicas (distintas) del Teorema de Completitud de Gödel, (b) una demostración clásica del Teorema del Colapso transitivo de Mostowski, y (c)  una demostración clásica del Principio de Reflexión.
Se aspira que el estudio de tales demostraciones (que se han escrito de manera detallada) sea  útil para profundizar en los  importantes teoremas  Lógico-Matemáticos que se están probando.
También se aspira que el estudio de dichas pruebas sea de utilidad para profundizar en los métodos demostrativos que se utilizan en las mismas como por ejemplo  el "Principio de Inducción Matemática en varias versiones (finitas o transfinitas)",  y otros métodos demostrativos  propios de la Lógica matemática como es el caso (entre otros) de la "técnica de  construcción de modelos a partir de constantes"  de Henkin.
Las notas se llaman así:

El Teorema de completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión.

Resumen de las notas: 

"Es conocido que el Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión son resultados muy útiles en las investigaciones de Lógica matemática y/o los Fundamentos de la matemática. El objetivo de este trabajo es presentar algunas demostraciones clásicas de tales resultados: Dos del Teorema de Completitud de Gödel, una del Teorema del Colapso Transitivo de Mostowski y una del Principio de Reflexión. Se aspira que estas notas sean de utilidad para estudiar dichas pruebas. Vale la pena resaltar que entre los métodos matemáticos que se utilizan en tales demostraciones se encuentran: (1) La técnica de construcción de modelos a partir de constantes (o  "método del conjunto maximal consistente  con un conjunto de testigos" de Henkin) y (2) el Principio de inducción matemática en varias versiones [ (2.1) Inducción matemática sobre los números naturales y (2.2) Inducción transfinita ((2.2.1) Inducción transfinita sobre conjuntos bien ordenados cualesquiera, por ejemplo sobre un cardinal infinito Alef_alfa, (2.2.2) Inducción transfinita sobre una clase de conjuntos bien ordenada, por ejemplo  sobre la "clase de todos los ordinales, finitos o infinitos", y (2.2.3) Inducción transfinita sobre relaciones bien fundamentadas, por ejemplo sobre la "relación de pertenencia" entre conjuntos)]".
Las notas se pueden conseguir y bajar en el siguiente enlace de "Saber UCV": 


También las notas se pueden conseguir (y bajar)  en la biblioteca digital de este blog.



                                              Blaise Pascal (1623-1662)
              (Principio de Inducción matemática, sobre los números naturales, N)



                                                           Georg Cantor (1845-1918)
(Principio de Inducción Transfinita, por ejemplo en la prueba del Teorema de Cantor-Bendixon [1883] se usó dicho principio sobre clase de los números ordinales (finitos o infinitos), Ord. Teorema de Cantor-Bendixon: "Si F es un subconjunto no numerable de números reales, entonces F contiene un subconjunto perfecto".)


Kurt Gödel (1906-1978)
(Primera demostración del Teorema de completitud, usando los procedimientos efectivos de Forma Normal Prenexa y Forma normal de Skolem, 1930)


Leon Henkin (1921-2006)
(Demostración del Teorema de completitud de Gödel usando la técnica del conjunto maximal consistente con un conjuntos de testigos, 1949)


Andrzej Mostowski (1913-1975)
(Demostración del Teorema del Colapso Transitivo, 1949)


Azriel Lévy (nació en 1934)
(Principio de Reflexión, 1960)


    Richard Montague (1930-1971)
  (Principio de Reflexión, 1961)

lunes, 30 de octubre de 2017

Álgebras booleanas, órdenes parciales y el axioma de elección



                                                  George Boole (1815-1864)



Un artículo  que he realizado   sobre la interesante relación  que existe entre las álgebras booleanas, los órdenes parciales y el axioma de elección  es el siguiente: "Álgebras booleanas, órdenes parciales y  axioma de elección".   "Divulgaciones Matemáticas", Vol. 18, N 1 (2017), pp. 34-54. Se puede encontrar (en PDF) y bajar  del siguiente enlace web  http://divmat.demat-fecluz.org/vol-18-no-1-2017

Resumen del artículo:

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y órdenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado "forcing"(con álgebras booleanas completas o con órdenes parciales), y  para demostrar (en Combinatoria infinita) que el Axioma de Martin es equivalente al Axioma de Martin restringido a álgebras booleanas completas. El teorema que se prueba es el siguiente: "Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)". Donde extender significa "sumergir densamente". Tal demostración se realiza utilizando cortaduras de Dedekind siguiendo el texto "Set Theory" de Jech, y otras ideas propias del autor de este artículo. [Vale la pena resaltar que la primera demostración de este teorema fue realizada por Marshel Stone en 1936]. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar como  el cuerpo ordenado y no arquimediano de los Hiper-Reales del Análisis no estándar de Robinson,  etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de  cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema.



                                                        Marshel Stone (1903-1989)



Vale la pena resaltar que una  parte del tema de álgebras booleanas (entre otras) que no está presentada en el artículo mencionado anteriormente son las aplicaciones muy útiles de los polinomios booleanos como modelos de circuitos eléctricos o de Barrera (con compuertas lógicas). La siguiente imagen presenta un circuito con compuertas lógicas asociado a un polinomio booleano, es decir, el polinomio booleano que está a mano derecha  es un modelo matemático del circuito de compuertas lógicas que está a mano izquierda:

La siguiente imagen presenta ejemplos con circuitos eléctricos asociados a polinomios booleanos:



Más información sobre este tipo de aplicaciones de las álgebras booleanas puede encontrarse en los siguientes textos (entre otros), dos  de ellos están en la biblioteca digital de este blog y se pueden bajar (el 2 y el 5):
(1)   “Matemáticas discreta y combinatoria. (Una introducción   con aplicaciones)”. Ralph Grimaldi. Addison Wesley Longman de México, S.A. de CV. 1998. 
(2)  “Matemáticas discretas”. Seymour Lipschutz y Marc Lipson. McGraw-Hill. 2009. 
(3)   “Álgebra 1”. Armando Rojo. Librería “El Ateneo” editorial. 1978.  
(4)   “Álgebra Moderna”. Frank Ayres. McGraw-Hill. Tercera impresión.    
(5)   “Teoría de conjuntos y temas afines”. Seymour Lipshutz. McGraw-Hill. 1969.
(6) Algebra de Boole . https://es.slideshare.net/1971karlos/algebra-de-boole-libro

(En la web existe bastante información al respecto)