Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
L. Sauras Altuzarra:
"Generalization of arithmetical proofs";
Vortrag: Celebrating 90 Years of Gödel´s Incompleteness Theorems,
Nürtingen, Deutschland;
05.07.2021
- 09.07.2021.
Kurzfassung englisch:
In this talk, I will explain 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).
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.