Some arithmetical problems that are obtained by analyzing proofs and infinite graphs
Number Theory
2020-02-11 v1 Combinatorics
Logic
Abstract
Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, sufficient conditions for a number to be a divisor of a Fermat number are provided. The accuracy of such observations is asked in several subsequent problems.
Cite
@article{arxiv.2002.03075,
title = {Some arithmetical problems that are obtained by analyzing proofs and infinite graphs},
author = {Lorenzo Sauras-Altuzarra},
journal= {arXiv preprint arXiv:2002.03075},
year = {2020}
}
Comments
19 pages, 11 figures