¿De verdad podemos amar de manera infinita? ¿O es posible ir "al infinito y más allá" como dice la famosa frase del cine?

En este octavo episodio de Antes del Teorema, el podcast de matemáticas para estudiantes y mentes curiosas, exploramos uno de los conceptos más alucinantes de la ciencia. Viajamos en el tiempo para descubrir cómo Galileo Galilei intentó comparar cantidades infinitas, y cómo, siglos después, el matemático Georg Cantor revolucionó para siempre nuestra forma de entender el universo con su Teoría de Conjuntos. A través de un experimento mental (una fiesta donde los números salen a bailar), comprobaremos de manera rigurosa que existen infinitos mucho más grandes que otros.

En este episodio analizaremos:

• La visión de Galileo Galilei sobre el infinito y los cuadrados perfectos.

• Georg Cantor y su revolucionaria Teoría de Conjuntos.

• ¿Qué son los conjuntos numerables? El "baile" entre números naturales y enteros.

• El truco diagonal de Cantor: la demostración matemática de que los números reales forman un infinito inalcanzable.

🎧 Apoya el proyecto: ¿Lograste visualizar cómo un infinito puede ser más grande que otro? Déjanos tus conclusiones en los comentarios. Si este episodio hizo que te volara la cabeza, suscríbete, comparte y califícanos con 5 estrellas. ¡Ayuda muchísimo a que la comunidad siga creciendo!

📚 Referencias:

Cantor, G. (1882). Fundamentos para una Teoría General de Conjuntos. Una Investigación Matemática-Filosófica sobre la Teoría del InfinitoReid, Constance. Del cero al infinito ¿Por qué son interesantes los números?. CONACULTA/Dirección general de publicaciones, 2008

¿Te has dado cuenta de la facilidad con la que usamos palabras como "todos", "siempre" o "nunca" en nuestro día a día? ¿Sabías que en el mundo de la lógica matemática usar un término absoluto es prácticamente jugar con fuego?

En este séptimo episodio de Antes del Teorema, el podcast de matemáticas para estudiantes y mentes curiosas, exploramos por qué los matemáticos somos tan precisos con el lenguaje. Descubrimos la fascinante historia de los cuantificadores lógicos y cómo estas "tazas medidoras" nos ayudan a evaluar argumentos. Analizamos por qué el uso de absolutos nos expone al temido "contraejemplo" y demostramos cómo la sabiduría popular —y las frases reconfortantes de nuestras tías— esconden una estructura matemática perfecta.

En este episodio analizaremos:

• La trampa de la ambigüedad en el lenguaje y el origen de los símbolos lógicos (Gottlob Frege y Bertrand Russell).

• El Cuantificador Universal ("Para todo"): cómo un solo caso rebelde (un contraejemplo) puede destruir una verdad absoluta.

• El Cuantificador Existencial ("Existe al menos uno"): el "tío buena onda" de las matemáticas que solo exige una comprobación.

• La traducción de frases cotidianas y discusiones de pareja a estructuras matemáticas exactas.

🎧 Apoya el proyecto: ¿Lograste identificar cuántas veces usaste un absoluto el día de hoy? Cuéntanos en los comentarios. Si este episodio te ayudó a mejorar tus argumentos y tu pensamiento analítico, suscríbete, comparte y califícanos con 5 estrellas. ¡Ayuda muchísimo a que la comunidad siga creciendo!

📚 Referencias: Suppes, P., & Hill, S. (1988). Introducción a la lógica matemática. Editorial Reverté.

Amor Montaño, J. A. (2005). Lógica proposicional dentro de la lógica de primer orden. Las Prensas de Ciencias, UNAM.

¿Alguna vez has escuchado un argumento que suena perfectamente lógico, pero que en el fondo esconde una trampa? ¿Cómo podemos tener la certeza absoluta de que una afirmación es verdadera en cualquier escenario posible?

En este sexto episodio de Antes del Teorema, el podcast de matemáticas para estudiantes y mentes curiosas, entramos al laboratorio de la lógica formal. Exploramos cómo funciona una tabla de verdad, una herramienta fascinante que actúa como una máquina de rayos X capaz de analizar todos los "universos paralelos" de un argumento. Dejamos las operaciones de lado para desmenuzar las estructuras de nuestro lenguaje, descubriendo cómo los matemáticos identifican verdades a medias, mentiras absolutas y certezas inquebrantables.

En este episodio analizaremos:

• Qué es una tabla de verdad y cómo nos permite evaluar múltiples realidades simultáneas.

• La Contingencia: por qué nuestros debates cotidianos y discursos políticos casi siempre dependen del contexto.

• El poder de la Contradicción: cómo provocar un colapso lógico intencional para demostrar verdades matemáticas (método de reducción al absurdo).

• Las Tautologías: qué son estas verdades blindadas y por qué forman el esqueleto indestructible de cualquier teorema.

🎧 Apoya el proyecto: Y tú, ¿ya descubriste la regla matemática para saber cuántos universos paralelos se forman con 4 o 5 proposiciones? Déjanos tu respuesta en los comentarios. Si este episodio te ayudó a blindar tus argumentos, suscríbete, comparte y califícanos con 5 estrellas. ¡Ayuda muchísimo a que la comunidad siga creciendo!

📚 Referencias:

Amor Montaño, J. A. (2005). Lógica proposicional dentro de la lógica de primer orden. Las Prensas de Ciencias, UNAM.

Suppes, P., & Hill, S. (1988). Introducción a la lógica matemática. Editorial Reverté.