filmov
tv
Lorenzo Sauras-Altuzarra - Generalization of Arithmetical Proofs (Gödel Conference)
Показать описание
This talk is part of the "Celebrating 90 Years of Gödel's Incompleteness Theorems" conference, organized by the Carl-Friedrich-von-Weizsäcker Center, the Kurt Gödel Society and the ERC-funded project Gödel Enigma.
Divided into nine workshops, Sauras-Altuzarra's talk was part of the "Cut-elimination and Herbrand's Theorem" section. In this talk, Sauras-Altuzarra explains how to apply Baaz’s generalization method to proofs of universal sentences from elementary number theory. This procedure has resulted to have a considerable potential in revealing arithmetical patterns, that got reflected in theorems (for example, sufficient conditions for a value to be a divisor of an arbitrary Fermat number) and conjectures (mainly about integer sequences).
To learn more about the conference and speakers, click here:
Divided into nine workshops, Sauras-Altuzarra's talk was part of the "Cut-elimination and Herbrand's Theorem" section. In this talk, Sauras-Altuzarra explains how to apply Baaz’s generalization method to proofs of universal sentences from elementary number theory. This procedure has resulted to have a considerable potential in revealing arithmetical patterns, that got reflected in theorems (for example, sufficient conditions for a value to be a divisor of an arbitrary Fermat number) and conjectures (mainly about integer sequences).
To learn more about the conference and speakers, click here:
0:22:26
0:43:34
1:10:47