Antonio Casares Santos explica cómo su investigación en lógica matemática e informática teórica busca comprender los límites de la computación y determinar qué problemas pueden resolverse automáticamente mediante algoritmos. Su trabajo se centra en el estudio de distintos sistemas lógicos y juegos combinatorios para analizar la complejidad de las estrategias necesarias para demostrar teoremas. Estas investigaciones contribuyen a comprender la dificultad de los problemas computacionales y ofrecen herramientas para la verificación formal de programas informáticos. El matemático también aborda grandes desafíos de su disciplina, como el problema P frente a NP, y reflexiona sobre la importancia de la precisión del razonamiento matemático para afrontar los retos tecnológicos, sociales y ambientales del siglo XXI.
Casares Santos ha sido galardonado con el Premio de Investigación Matemática V
Antonio Casares Santos explica cómo su investigación en lógica matemática e informática teórica busca comprender los límites de la computación y determinar qué problemas pueden resolverse automáticamente mediante algoritmos. Su trabajo se centra en el estudio de distintos sistemas lógicos y juegos combinatorios para analizar la complejidad de las estrategias necesarias para demostrar teoremas. Estas investigaciones contribuyen a comprender la dificultad de los problemas computacionales y ofrecen herramientas para la verificación formal de programas informáticos. El matemático también aborda grandes desafíos de su disciplina, como el problema P frente a NP, y reflexiona sobre la importancia de la precisión del razonamiento matemático para afrontar los retos tecnológicos, sociales y ambientales del siglo XXI.
Casares Santos ha sido galardonado con el Premio de Investigación Matemática Vicent Caselles 2026, concedido por la Real Sociedad Matemática Española y la Fundación BBVA, por sus contribuciones en el ámbito de la lógica matemática y la teoría de la computación.
00:00 Presentación
00:08 ¿Podrías explicar, para que lo pueda entender el público general, en qué consiste tu investigación sobre la búsqueda de algoritmos para la demostración automática de teoremas matemáticos?
01:14 ¿Cómo definirías la relevancia de tu investigación para la sociedad? ¿Cómo puede contribuir su trabajo tanto al avance del conocimiento básico, como al posible desarrollo de futuras aplicaciones en investigación científica y desarrollo tecnológico?
02:21 ¿Qué retos presentes y futuros consideras los más importantes en tu campo?
04:28 ¿Cómo nació tu vocación por las matemáticas? ¿Qué o quién te inspiró a dedicarte a la investigación en esta disciplina científica?
05:53 ¿Qué aspectos de tu trabajo te resultan más motivadores, y cuáles son los más difíciles?
07:25 ¿Cuál crees que es la clave del éxito en la investigación matemática?
08:35 ¿Cómo ves la situación de las matemáticas en España, en particular para los jóvenes investigadores? ¿Crees que estamos a la altura que nos corresponde como país europeo?
09:48 ¿Cómo defenderías la importancia de las matemáticas para la sociedad del siglo XXI?
11:00 ¿Qué significa este premio para ti?
