Algebra and Logic Seminar - 19/11/2014

Wednesday, 19 November 2014, 2:00 p.m.

Lecturer: Jesse Alama (Technical University of Vienna) 

Title: "New results on Hilbert's 24th problem"

Local: Room 1.13, Edifício VII
Faculdade de Ciências e Tecnologia, Quinta da Torre, Caparica

Abstract: Hilbert's 24th problem asks for criteria of simplicity of mathematical proofs. The problem (which was never published and discovered in Hilbert's notebooks only in the 1990s) is admittedly somewhat vague; it is formulated less precisely than Hilbert's other famous problems and can be understood in various ways. With the help of automated theorem provers and new results in structural proof theory, fruitful new perspectives and techniques for tackling Hilbert's problem become available. In this talk we illustrate these new approaches by highlighting recent results in simplifying axiom systems and formal proofs, and by posing problems that are likely solvable with the help of the new techniques.