Primitive recursive functions and characteristic functions. Methods of proof- examples. Illumination.
I am puzzling over a sentence in an example in a textbook, showing that a function $f$, defined by cases, is primitive recursive. Let $E$ be the set of even natural numbers. The function $f$ defined ...