# Primitive Recursive Function

• December 2nd 2010, 04:31 AM
Apprentice123
Primitive Recursive Function
How to show that integer subtraction is primitive recursive function?
• December 2nd 2010, 12:24 PM
Soroban
Hello, Apprentice123!

To make it easier (for me), I'll consider positive integers only.

Quote:

Show that integer subtraction is primitive recursive function.

Consider the subtraction: . $a - b$

Let $a_0 = a$

Then: . $a_n \:=\:a_{n-1} - 1\;\text{ for }n = 1,2,3,\hdots\:b.$

. . The answer is: . $a_b$