Una prueba matemática que sacudió los cimientos
El cálculo de secuentes de Gerhard Gentzen revolucionó las pruebas de consistencia. Esto impactó profundamente las bases de las matemáticas y la informática.
En la década de 1930, Gerhard Gentzen creó el cálculo de secuentes. Este sistema estructuró las pruebas lógicas de una nueva forma. Ayudó a abordar el desafío de David Hilbert. Este buscaba probar la consistencia de la aritmética. Así se aseguraba la fiabilidad de las matemáticas.
Hay más sobre esta historia — abre la app para seguir leyendo.
Seguir Leyendo en la App
2 párrafos más · más un cuestionario de 3 preguntas