Revision as of 12:16, 15 June 2025 edit Guhhhh (talk \| contribs) 3 edits m →Definition: \(f\) was missing the \(y'\) argument -- that's what makes it loop downward in the first place. ← Previous edit		Revision as of 08:08, 28 June 2025 edit undo 2a02:8108:2c2f:900:8966:3881:401d:564e (talk) →Predicate "Is zero" Next edit →
Line 138: As an example for a primitive recursive predicate, the 1-ary function <math>IsZero</math> shall be defined such that <math>IsZero(x) = 1</math> if <math>x = 0</math>, and <math>IsZero(x) = 0</math>, otherwise. This can be achieved by defining <math>IsZero = \rho(C_1^0,C_0^2)</math>. Then, <math>IsZero(0) = \rho(C_1^0,C_0^2)(0) = C_1^0(0) = 1</math> and e.g. <math>IsZero(8) = \rho(C_1^0,C_0^2)(S(7)) = C_0^2(7,IsZero(7)) = 0</math>. === Predicate "Less or equal" ===

Primitive recursive function: Difference between revisions