Computability and Decidability

The idea of recursionRecursion and complete inductionComplete induction is very old. But it was not until the 19th century that Richard DedekindDedekind, Richard with his books “Continuity and irrational numbers” and “What are and what should the numbers be?” established the fundamental properties of natural numbers on a solid foundation and defined the construction of the number system with integers, rational and real numbers from natural numbers. One of his most important achievements was the discovery and proof of the recursion theoremRecursion.