Demostraciones con o sin lemas: el papel de la regla de corte en el razonamiento lógico y matemático.

Ponente(s): Favio Ezequiel Miranda Perea

En el cálculo de secuentes de Gentzen la regla de corte juega un papel técnico primordial. Este patrón de inferencia modela la práctica matemática de usar lemas para estructurar una demostración. El bien conocido teorema de eliminación de corte o Hauptsatz nos dice que el corte es prescindible, lo cual corresponde a que el uso de lemas también lo es. En esta charla presentaré algunas aplicaciones de esta poderosa regla, en particular en relación a distintos esquemas de razonamiento usando el condicional y discutiré la problemática de eliminar el uso de lemas en las demostraciones matemáticas rutinarias. Investigación realizada bajo el proyecto PAPIIT-UNAM IN119920