Nuestro Encuentro

Charla 107: The Mechanization of Mathematics

Conferencista: Yésica Mesa. Estudiante de Matemáticas, Uptc. Fecha: Miércoles 14 de diciembre de 2022, 3:00 p.m. Lugar: C-119 Resumen: En informática, se utilizan métodos formales para especificar, desarrollar y verificar hardware y software. Jeremy Avigad, en su artículo The Mechanization of Mathematics, publicado en Notices of the AMS en 2018, da su opinión de cómo estos métodos pueden ayudar a probar conjeturas matemáticas. En esta charla se describe parte de la historia y se presentarán algunos ejemplos donde fue necesario el uso de la computadora para probar y verificar algunas conjeturas matemáticas.

Charla 106: The Monte Carlo method: a fresh approach to teaching probabilistic concepts

Conferencista: Alejandra Turga. Estudiante de Matemáticas, Uptc. Fecha: Miércoles 30 de noviembre de 2022, 3:00 p.m. Lugar: C-119 Resumen: El método de Monte Carlo propuesto por John von Neumann y Stanislaw Ulam, proporciona soluciones aproximadas a una gran variedad de problemas. Con base en el artículo publicado en 1981 por Kenneth Travers y Kenneth Gray en The Mathematics Teacher, en esta charla se presentarán varias aplicaciones de este método que se pueden usar en el aula de clases, para enseñar conceptos probabilísticos a estudiantes de bachillerato.

Charla 105: Estudio de las correlaciones de Coulomb en moléculas artificiales

Conferencista: Carlos Bohórquez. Estudiante de Física, Uptc. Fecha: Miércoles 23 de noviembre de 2022, 3:00 p.m. Lugar: C-119 Resumen: En la actualidad, las nanoestructuras tienen una amplia gama de aplicaciones, desde facilitar el estudio experimental de los principios de la teoría cuántica a escala mesoscópica, hasta el desarrollo de la informática cuántica y la optoelectrónica. Por causa de su enorme potencial, es importante contar con herramientas que permitan calcular con precisión los estados energéticos de los portadores de carga confinados en este tipo de sistemas.

Charla 104: De lo concreto a lo abstracto

Conferencista: José Nicolás Nájar Salinas. Universidad de América. Egresado Uptc. Fecha: Miércoles 16 de noviembre de 2022, 3:00 p.m. Lugar: C-119 Resumen: En esta charla se hará una introducción a la teoría de modelos de las Clases Elementales Abstractas (AECs por su sigla en inglés) haciendo un recorrido por algunos resultados clásicos de lógica matemática y de la teoría de modelos clásica con ayuda de algunos ejemplos algebraicos. Se presentarán algunos resultados clásicos y otros recientes que han permitido el desarrollo de la teoría de las AECs.

Charla 103: Aplicaciones de cálculo de variaciones

Conferencista: Gilvar Bautista Diaz. Estudiante de Matemáticas, Uptc. Fecha: Miércoles 09 de noviembre de 2022, 3:00 p.m. Lugar: C-119 Resumen: Leonhard Euler fue el primer matemático en desarrollar la rama de las matemáticas hoy conocida como cálculo de variaciones, el cual estudia los métodos de optimización de funcionales. En esta charla se presentarán algunos ejemplos de problemas abordados en el cálculo de variaciones como el problema de la braquistócrona (o curva del descenso más rápido).

Charla 102: Historia de la formalización del cálculo

Conferencista: Leonardo Joya. Estudiante de Matemáticas, Uptc. Fecha: Miércoles 19 de octubre de 2022, 3:00 p.m. Lugar: C-119 Resumen: En 1800, matemáticos y físicos habían desarrollado el cálculo infinitesimal como una herramienta indispensable para el estudio del mundo natural. Sin embargo, las críticas del Obispo Berkeley a su base lógica seguían sin respuesta, abundaban las paradojas lógicas, incluso se cuestionaba el significado de función. Eviden- temente, estas circunstancias insatisfactorias no podían continuar indefinidamente.

Charla 101: Más allá de Euclides, las otras geometrías

Conferencista: Natalia Sánchez Sandoval Estudiante de Matemáticas, Uptc. Fecha: Miércoles 12 de octubre de 2022, 3:00 p.m. Lugar: C-119 Resumen: Dada una recta L y un punto P fuera de ella, ¿se puede trazar una única recta paralela a L que pase por P? o equivalentemente, ¿la suma de los ángulos de un triángulo es 180? Esto se conoce como el quinto postulado de Euclides. Para la época de Euclides, se consideraba que éste no podía ser un postulado, dado que no era algo simple y por tanto debía ser demostrado.

Charla 100: Aristóteles, ¿matemático?

Anuncio en la página de la Uptc Anuncio en Twitter Anuncio en Facebook Conferencista: Álvaro Calvache, PhD. Gestor de Nuestro Encuentro. Fecha: Miércoles 28 de septiembre de 2022, 3:00 p.m. Lugar: Paraninfo Resumen: Al revisar la historia de la matemática, en ningún momento se menciona a Aristóteles como un gran matemático, pues él no presenta escritos sobre mediciones, cálculos aritméticos, relaciones geométricas; elementos principales de la matemática de la Grecia antigua.

Charla 99: Una introducción a los cimientos de la matemática moderna

Conferencista: Viviana Pinilla Moreras, Estudiante de Matemáticas, Uptc Fecha: Miércoles 21 de septiembre de 2022, 3:00 p.m. Lugar: C-119 Resumen: A medida que la matemática fue creciendo en ramas de su ciencia, surgieron algunos problemas sobre hipótesis falsas. Estos problemas hicieron ver que era necesario ponerle más atención a cómo definir elementos matemáticos, y cómo asumir propiedades que no necesariamente se tienen. Los matemáticos empezaron a ahondar en las propiedades y construcciones de los números desde los reales, racionales, enteros y naturales.

Charla 98: Una breve introducción a la historia de la topología

Conferencista: José Alfredo Ochoa Camacho, Estudiante de Matemáticas, Uptc Fecha: Miércoles 14 de septiembre de 2022, 3:00 p.m. Lugar: C-119 Resumen: Hasta el siglo XVIII, los problemas asociados a la geometría estuvieron vinculados a la noción de medida. A partir de esa época, se empezaron a plantear cuestiones en las que ese aspecto perdió relevancia, como en el caso del problema de los puentes de Königsberg, que constituyó lo que podríamos llamar el origen de la topología.