Talks and Poster Presentations (without Proceedings-Entry):
L. Sauras Altuzarra:
"Generalization of arithmetical proofs";
Talk: Celebrating 90 Years of Gödelīs Incompleteness Theorems,
Nürtingen, Deutschland;
2021-07-05
- 2021-07-09.
English abstract:
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).
Created from the Publication Database of the Vienna University of Technology.