Lógica
Explora los artículos de matemáticas sobre el tema lógica.
42 de 42: este alumno de 17 años logra un resultado perfecto en las Olimpiadas
Alex Chui, alumno británico de 17 años, obtuvo una puntuación perfecta en la Olimpiada Internacional de Matemáticas de 2026 y consiguió, de paso, un récord de siete medallas en siete participaciones.
¿Piensa con palabras al resolver una ecuación?
Las neurociencias revelan que el cerebro procesa las matemáticas mediante redes distintas de las del lenguaje natural, lo que cuestiona nuestra concepción de la cognición matemática.
Premios Tangente: Turing, Matilda y Flatland
Ya se conocen los ganadores de los premios Tangente de ESO y bachillerato. Cerca de 3 000 alumnos han votado por sus obras matemáticas favoritas.
Premios SMF 2025: d’Alembert y Jacqueline-Ferrand
La Sociedad Matemática de Francia concede sus premios de 2025 a la exposición «Ça résonne» de la MMI de Lyon, a la compañía L’île logique y al proyecto ResCo de pedagogía colaborativa.
Leibniz: ¿inventó realmente el antepasado del ordenador?
El artículo desmitifica la imagen de Leibniz como precursor del ordenador y analiza la realidad histórica de su proyecto de lengua universal.
Esperanto y matemáticas: una lengua universal coherente
El esperanto, creado por Zamenhof en 1887, comparte con las matemáticas un ideal de coherencia perfecta. Descubre por qué esta lengua construida fascina a lógicos y matemáticos.
Terence Tao alerta: la IA escribe pruebas ilegibles
Terence Tao alerta de un nuevo umbral: la IA acelera la formalización de las demostraciones, pero genera resultados demasiado verbosos para que los humanos los comprendan.
Cuando la IA «resuelve» una conjetura sin demostración: la respuesta de los matemáticos
La comunidad matemática se moviliza ante los anuncios de la IA. La Declaración de Leiden traza los límites entre la generación y la verificación de las demostraciones.
Matemáticos y ateísmo: Laplace, Erdős y Hardy
Laplace, Erdős y Hardy: tres anécdotas sobre matemáticos que cuestionaron la existencia de Dios mediante la lógica y las matemáticas.
Leibniz y el mejor de los mundos posibles
Cómo utiliza Leibniz las matemáticas para justificar la existencia del mejor de los mundos posibles, entre cálculo infinitesimal, simetría y filosofía.
Descartes: las tres certezas de su física
Cómo Descartes construyó su filosofía sobre tres certezas: la existencia del sujeto pensante, la bondad divina y el rigor matemático.
Simbolismo de los números en la Biblia: 2, 3 y 4
Explore el sentido espiritual de los números 2, 3 y 4 en la Biblia: alianza divina, Trinidad y totalidad del mundo creado.
Leibniz, Yi Jing y el sistema binario
Descubra cómo Leibniz, al estudiar el Libro de las mutaciones chino, encontró en él una prefiguración del sistema binario que revolucionaría la informática moderna.
Whitehead y la armonía lógica entre matemáticas y filosofía
Inmersión en el pensamiento de Alfred North Whitehead, quien fundó los Principia Mathematica con Russell y desarrolló una metafísica del cosmos en la que Dios y las matemáticas colaboran en el devenir del mundo.
Apuesta de Pascal: probabilidad y fe
Explicación del célebre razonamiento de Blaise Pascal sobre la apuesta de la fe, que aplica la teoría de probabilidades a la cuestión de la existencia de Dios.
Conjetura abc: por qué la verificación por ordenador podría resolver el mayor escándalo matemático
Desde 2012, la demostración de la conjetura abc de Shinichi Mochizuki divide a la comunidad matemática. Investigadores recurren a la verificación formal asistida por ordenador para zanjar el asunto de una vez por todas.
Busy Beaver: la función que supera a toda función calculable
La función Busy Beaver crece más rápido que cualquier función calculable. Descubre por qué algunos números son matemáticamente inaccesibles.
Terence Tao y la inteligencia artificial: cómo están transformando las matemáticas
Terence Tao, medallista Fields, comparte su experiencia con la IA en la investigación matemática: un compañero de exploración que transforma la manera de plantear los problemas.
Concurso Alkindi 2026: final de criptoanálisis para estudiantes de secundaria en la École des Mines
Veinte equipos de estudiantes de secundaria y bachillerato se enfrentan el 13 de mayo en la École des Mines de Paris para alzarse con el título de mejor criptoanalista júnior de Francia.
Michèle Audin: matemática, escritora y oulipiana
En la vida de Michèle Audin confluyeron varios compromisos. La matemática profesional, la escritora, la activista social y política: todo se entrelazaba y se enriquecía mutuamente.