Primitive recursive function: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 17:3017:30, 27 April 2025 Wws talk contribs 39,293 bytes 0 →Some common primitive recursive functions: Correct Kleene page number (reL 1971 editionn on archive.org) undo

curprev 07:3607:36, 25 February 2025 Citation bot talk contribs 39,293 bytes +119 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 undo

curprev 03:5803:58, 3 February 2025 OAbot talk contribs m 39,174 bytes +21 Open access bot: doi updated in citation with #oabot. undo

curprev 08:1308:13, 27 January 2025 David Eppstein talk contribs 39,153 bytes +591 first templated citation (in early 2014) was cs2, so standardize on that; templatize more refs to fix harv linking errors undo

curprev 12:1012:10, 21 January 2025 EmilJ talk contribs 38,562 bytes +170 →Pure recursion: correction, I misread the statement of Severin's result undo

curprev 11:5911:59, 20 January 2025 EmilJ talk contribs 38,392 bytes −7 →References undo
curprev 11:5411:54, 20 January 2025 EmilJ talk contribs 38,399 bytes +264 →Variants: The Fischer, Fischer, Beigel paper is complete rubbish. They reprove things known decades earlier, and conjecture things also refuted decades earlier. undo Tag: harv or sfn error

curprev 04:1704:17, 13 October 2024 Jochen Burghardt talk contribs 37,467 bytes −1 Undid revision 1250446855 by Pedro A L Barbosa (talk): both descriptions are identical on natural numbers, and this is where these functions are defined on undo Tag: Undo

curprev 13:2813:28, 10 October 2024 Pedro A L Barbosa talk contribs 37,468 bytes +1 Up to this section, the true value was associated with 1 and the false value was associated with 0. Then, the truth value of a variable x is undefined, as well as S(x). But the truth value of 0 is defined as false. Therefore, phrasing the sentence in terms of false (or 0) makes the behavior of the If function well defined. undo Tags: Reverted Mobile edit Mobile web edit

curprev 14:0614:06, 19 August 2024 Mearrcteell talk contribs 37,467 bytes −42 Nevermind, this is clarified by the section "Computer language definition". undo Tags: Manual revert Visual edit
curprev 14:0214:02, 19 August 2024 Mearrcteell talk contribs 37,509 bytes +42 If we don't exclude functions recursively calling themselves, the restriction to for-loops is useless in delimiting the PR functions. undo Tags: Reverted Visual edit

curprev 00:2300:23, 18 May 2024 C7XWiki talk contribs 36,578 bytes −9 Possible better wording undo Tags: Mobile edit Mobile web edit

curprev 09:5909:59, 24 January 2024 Jochen Burghardt talk contribs 41,614 bytes +5 Undid revision 1198359985 by AlbertHNL (talk): projections see item 3 undo Tag: Undo

curprev 22:4722:47, 23 January 2024 AlbertHNL talk contribs m 41,609 bytes −5 Fixed typo for projection functions in Definition section, and named accordingly. undo Tag: Reverted