On June 26, 2025 at 14:00 EEST, Lorenzo Sauras-Altuzarra (Kurt Gödel Society, Vienna) will give a talk in the Logic Seminar.
Title: Exploring Baaz’s generalization method and its geometric insights
Abstract:
In 1999, Baaz introduced a novel approach to proof mining and, as a case study, examined a particular case of factorization of Fermat numbers. Around twenty years later, by again applying this strategy to different inputs, a geometric description of these factors was reached, along with a conjecture concerning lattice points. After discussing this question at various conferences, several partial answers and new related problems were obtained, in connection with the theories of unimodular matrices and generalized Pillai equations. In this presentation, I will elucidate Baaz’s technique and showcase the aforementioned results.
The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.