Back to the 2021 paper

Module 4: Turing machines

20217m

Show that the sum function

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

is primitive recursive.

Similar questions