Muñoz Sandoval, Carlos Matias
(Universidad de Concepción., 2023)
After the algorithm concept was formalized in the 1930’s, it was possible to prove that the first-order theory of the semi-ring N of the natural numbers is undecidable: There is no algorithm that takes an arithmetic statement ...