Revision as of 07:36, 25 February 2025 edit Citation bot (talk \| contribs) Bots 5,863,224 edits Altered pages. Add: issue, jstor, pages. Formatted dashes. \| Use this bot. Report bugs. \| Suggested by Dominic3203 \| Linked from User:Mathbot/Most_linked_math_articles \| #UCB_webform_linked 1796/1913 ← Previous edit		Revision as of 17:30, 27 April 2025 edit undo Wws (talk \| contribs) Extended confirmed users 1,109 edits →Some common primitive recursive functions: Correct Kleene page number (reL 1971 editionn on archive.org) Next edit →
Line 189: === Some common primitive recursive functions === The following examples and definitions are from {{harvtxt\|Kleene\|1952\|pp=~~223–231~~222–231}}. Many appear with proofs. Most also appear with similar names, either as proofs or as examples, in {{harvtxt\|Boolos\|Burgess\|Jeffrey\|2002\|pp=63–70}} they add the logarithm lo(x, y) or lg(x, y) depending on the exact derivation. In the following the mark " ' ", e.g. a', is the primitive mark meaning "the successor of", usually thought of as " +1", e.g. a +1 =<sub>def</sub> a'. The functions 16–20 and #G are of particular interest with respect to converting primitive recursive predicates to, and extracting them from, their "arithmetical" form expressed as [[Gödel number]]s.

Primitive recursive function: Difference between revisions