Logic Seminar

The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science.

All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 214 (“Google”) of the Faculty of Mathematics and Computer Science, University of Bucharest, but can also be occasionally held remotely.

To receive announcements about the seminar, please send an email to logic-seminar@ilds.ro.

Organizers: Laurențiu Leuștean, Andrei Sipoș

Past Talks in 2024-2025

Thursday, June 26, 2025

Lorenzo Sauras-Altuzarra (Kurt Gödel Society, Vienna)

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.

Past Seminars