Recursive definitions had been used more or less formally in mathematics before, but the construction of primitive recursion is traced back to Richard Dedekind's theorem 126 of his Was sind und was sollen die Zahlen? (1888).
Рекурзивне дефиниције су се мање више формално користиле у математици и раније, али изградња примитивне рекурзије се пратит уназад до теореме 126 Ричарда Дедекинда од његовог Was sind und was sollen die Zahlen? (1888) (1888).