Primitive Recursion

In an interesting thread titled “Recursive” on FOM last week there was a discussion on the history of primitive recursive functions. Of course, already Grassmann, Dedekind, and Peano gave primitive recursive definitions of individual functions such as addition and multiplication, and Skolem’s 1923 article

Leave a Reply

Your email address will not be published. Required fields are marked *