Elementary number-theoretical statements proved by Language Theory

José Manuel Rodríguez Caballero

We introduce a method to derive theorems from Elementary Number Theory by means of relationships among formal languages. Using $\sigma$-algebras, we define what a proof of a number-theo…