Back to the 2021 paper

Module 5: Undecidability

20217m

Show that the function:

f(x,y)=x+y f(x,y) = x + y

is primitive recursive.

Similar questions