Debates sobre las demostraciones matemáticas, cómo aplicar las matemáticas a la biología y el relato de Cédric Villani sobre su trabajo, en enero en ‘Café y Teoremas’

10 February, 2022

El artículo que inauguraba el nuevo año en ‘Café y teoremas’, el espacio que el ICMAT coordina en la sección ‘Materia’ del diario El País, se centraba en un debate sobre la validez de un método de demostración matemática conocido como reducción al absurdo. Su autor, Carlos M. Madrid Casado, nos contaba la historia de esta técnica de demostración y el debate sobre su uso, que tuvo lugar el siglo pasado entre David Hilbert y L. E. J. Brouwer.

En la sección también se publicaba un texto, firmado por Juan F. Poyatos, del Centro Nacional de Biotecnología (CNB) e investigador visitante del ICMAT, en el que se explicaba el papel que las matemáticas pueden tener en uno de los problemas clave dentro de la biología: cómo predecir el funcionamiento de los sistemas biológicos (fenotipo) a partir de los componentes elementales (genotipo).

Por último, Manuel de León, profesor de investigación del CSIC en el ICMAT, y Laura Moreno Iraola, miembro de la Unidad de Cultura Matemática del Instituto, reseñaban el libro de divulgación del medallista Fields Cédric Villani, Cómo nace un teorema. Una aventura matemática, del que en 2021 se publicó la traducción al español, por la editorial Los Libros de la Catarata. En él, el matemático narra, a modo de diario, los pasos que fue dando hasta obtener el resultado que le valió el prestigioso premio y, de manera general, da a conocer lo que hay detrás del trabajo de las y los matemáticos.

 

El mes de enero en ‘Café y Teoremas’

“¿Qué métodos de demostración matemática son válidos?”

Autoría: Carlos M. Madrid Casado.

Fecha de publicación: 6 de enero de 2022.

Resumen: Una demostración es un razonamiento que, a partir de unos principios o axiomas que se consideran correctos, permite deducir un resultado o teorema. Son el pegamento que mantiene unidas las matemáticas, pero ¿qué métodos de demostración son válidos? En este artículo, el autor escribe sobre las demostraciones y la confrontación que hubo hace un siglo entre los matemáticos David Hilbert y L. E. J. Brouwer por la validez de uno de los métodos de demostración en boga, el llamado reducción al absurdo. Estas dos formas de hacer matemático los llevó a adentrarse en el mundo de la filosofía.

Enlace

 

“Matemáticas para hacer frente a los retos de la medicina personalizada”

Autoría: Juan F. Poyatos, director del Laboratorio de Lógica de los Sistemas Genómicos en el Centro Nacional de Biotecnología (CNB), integrado en la conexión LifeHUB del CSIC, e investigador visitante en el ICMAT.

Fecha de publicación: 12 de enero de 2022.

Resumen: El problema de cómo predecir el funcionamiento de los sistemas biológicos (su “fenotipo”) a partir de los componentes elementales (genes, el “genotipo”) es una cuestión central en biología. El estudio de este problema también está ligado al desarrollo y aplicación de nuevas técnicas matemáticas. En este artículo se muestra cómo el estudio de esta problemática está experimentando una enorme transformación ligada a la gran disponibilidad de datos actual y en qué medida esto nos permitirá en un futuro desentrañar la complejidad biológica que nos rodea.

Enlace

 

“Las vidas detrás de los teoremas”

Autoría: Manuel de León, profesor de investigación del CSIC en el ICMAT, y Laura Moreno Iraola, miembro de la Unidad de Cultura Matemática del ICMAT.

Fecha de publicación: 22 de enero de 2022.

Resumen: “A menudo me preguntan cómo es la vida de un matemático, en qué empleamos nuestro tiempo, cómo se lleva a cabo nuestro trabajo”, escribe el matemático y medallista Fields Cédric Villani en su libro Cómo nace un teorema. Una aventura matemática. Congresos, seminarios, viajes, compartir los avances con colegas, trabajo colaborativo, recuperar la inspiración… En este artículo se cuenta cómo son las vidas de las personas que hay detrás de los teoremas y cuáles son los pasos que en la investigación matemática se suelen dar hasta obtener un resultado y que este sea validado y reconocido.

Enlace

 

Todos los textos cuentan con la edición y coordinación de Ágata Timón G. Longoria.

 

Archives

Categories