General recursive function: Revision history

5 March 2025

• curprev 13:4513:45, 5 March 2025 D.Lazard talk contribs 17,924 bytes −17 →Normal form theorem: no need of a pipe undo
• curprev 12:2912:29, 5 March 2025 Oversleep9 talk contribs m 17,941 bytes +21 No edit summary undo Tag: Visual edit

12 October 2024

• curprev 14:1814:18, 12 October 2024 Chiddle00 talk contribs m 17,920 bytes −5 No edit summary undo Tag: Visual edit

19 September 2024

• curprev 07:4907:49, 19 September 2024 Wnbeser talk contribs m 17,925 bytes 0 Removed unusual language ("operator" instead of "relation"), even though there is no risk of misunderstanding in this context, waters down the terminology unnecessarily undo

24 June 2023

• curprev 14:5914:59, 24 June 2023 2a01:cb08:b31:d500:329c:23ff:fea2:df4f talk 17,925 bytes −5 →Normal form theorem: use consistent notation undo

23 June 2023

• curprev 08:1808:18, 23 June 2023 Bunyk talk contribs 17,930 bytes +4 →Definition undo

23 May 2023

• curprev 16:1316:13, 23 May 2023 D.Lazard talk contribs 17,926 bytes +23 →Definition: providing clarification undo
• curprev 14:5614:56, 23 May 2023 Canavalia talk contribs 17,903 bytes +11 {{Clarify}} - "minimisation" is nowhere defined or explained undo

25 November 2022

• curprev 10:2210:22, 25 November 2022 Citation bot talk contribs 17,892 bytes +15 Add: s2cid. | Use this bot. Report bugs. | Suggested by BorgQueen | Category:All articles needing examples | #UCB_Category 36/701 undo

15 June 2022

• curprev 01:3101:31, 15 June 2022 Cedar101 talk contribs m 17,877 bytes +7 →Examples: Adding wikilink undo

13 June 2022

• curprev 07:0907:09, 13 June 2022 Cedar101 talk contribs m 17,870 bytes +71 →Examples: \operatorname undo

19 February 2022

• curprev 13:1113:11, 19 February 2022 2a02:8109:a380:b58:b5fa:9d09:892e:dc22 talk 17,799 bytes +55 Add reference to article on computable functions undo

2 February 2022

• curprev 16:2616:26, 2 February 2022 Winter Aconite talk contribs m 17,744 bytes +1 →Definition: Fix typo undo

23 November 2021

• curprev 22:0922:09, 23 November 2021 AnomieBOT talk contribs m 17,743 bytes +19 Dating maintenance tags: {{Example needed}} undo
• curprev 21:4821:48, 23 November 2021 Jochen Burghardt talk contribs 17,724 bytes −2 →Examples: make it a section undo
• curprev 21:4421:44, 23 November 2021 Jochen Burghardt talk contribs 17,726 bytes +152 →Examples: explain use of Not undo
• curprev 21:4121:41, 23 November 2021 Jochen Burghardt talk contribs 17,574 bytes −10 →Examples: fix link to def undo
• curprev 21:3321:33, 23 November 2021 Jochen Burghardt talk contribs 17,584 bytes +1,311 →Examples: give a 1st simple example of \mu; prepare for more examples, including properly general recursive ones undo
• curprev 20:5120:51, 23 November 2021 Jochen Burghardt talk contribs 16,273 bytes +107 →Definition: rm "Note"; put note in own paragraph; start Examples section undo

14 November 2021

• curprev 10:1810:18, 14 November 2021 Cedar101 talk contribs m 16,166 bytes −26 →Definition: #:: undo

13 November 2021

• curprev 10:0410:04, 13 November 2021 Jochen Burghardt talk contribs 16,192 bytes −16 →Symbolism: ditto; rm "we" undo
• curprev 10:0110:01, 13 November 2021 Jochen Burghardt talk contribs 16,208 bytes −4 →Normal form theorem: ditto undo
• curprev 10:0010:00, 13 November 2021 Jochen Burghardt talk contribs 16,212 bytes −20 →Definition: per MOS:BOLD undo
• curprev 08:2308:23, 13 November 2021 Cedar101 talk contribs 16,232 bytes −151 →Definition: #:: {{mvar}} undo
• curprev 08:1908:19, 13 November 2021 Cedar101 talk contribs m 16,383 bytes +11 →Definition: \ undo

17 October 2021

• curprev 03:0903:09, 17 October 2021 Citation bot talk contribs 16,372 bytes +197 Alter: template type. Add: doi, publisher, year, chapter, title, chapter-url, authors 1-1. Removed or converted URL. Changed bare reference to CS1/2. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | Linked from User:BrownHairedGirl/Articles_with_bare_links | #UCB_webform_linked 321/2197 undo

24 September 2021

• curprev 06:5606:56, 24 September 2021 ZephyrP talk contribs m 16,175 bytes +1 Minsky (1972) should use existing ref anchor undo
• curprev 06:4806:48, 24 September 2021 ZephyrP talk contribs m 16,174 bytes −37 Explicitly cite Minsky's μ-recursion equivalence quote undo

31 August 2021

• curprev 14:4414:44, 31 August 2021 Tom.Reding talk contribs m 16,211 bytes +23 +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

23 June 2021

• curprev 13:5513:55, 23 June 2021 Jochen Burghardt talk contribs 16,188 bytes −25 Undid revision 1029929385 by 24.48.214.74 (talk): linked in the lead undo Tag: Undo
• curprev 13:5413:54, 23 June 2021 Jochen Burghardt talk contribs 16,213 bytes −4 →Definition: use ((su)) undo

22 June 2021

• curprev 21:3821:38, 22 June 2021 24.48.214.74 talk 16,217 bytes +25 →Examples undo Tag: Reverted

6 May 2021

• curprev 00:3700:37, 6 May 2021 OAbot talk contribs m 16,192 bytes +18 Open access bot: doi added to citation with #oabot. undo

26 April 2021

• curprev 22:5722:57, 26 April 2021 Jordan Mitchell Barrett talk contribs m 16,174 bytes −38 rephrase "total" undo Tag: Visual edit

12 April 2021

• curprev 14:0914:09, 12 April 2021 2a02:1205:5035:9860:4594:b3d6:37b3:19a9 talk 16,212 bytes 0 Fix typo undo

9 April 2021

• curprev 17:5917:59, 9 April 2021 D.Lazard talk contribs 16,212 bytes −47 →Definition: clarification that fixes the preceding edit undo
• curprev 17:4117:41, 9 April 2021 Robin S talk contribs m 16,259 bytes +4 →Definition: corrected "[some] text" -> "argument" undo

8 April 2021

• curprev 01:3801:38, 8 April 2021 Ton Cirt talk contribs 16,255 bytes −9 No edit summary undo Tag: Visual edit

7 April 2021

• curprev 12:1812:18, 7 April 2021 Jochen Burghardt talk contribs 16,264 bytes +38 →Definition: uniquely use "normal form"; make (unavoidable) forward reference explicit undo
• curprev 11:0511:05, 7 April 2021 D.Lazard talk contribs 16,226 bytes +3 →top: as primitive recursive implies total, the assertion is not useful for partial functions undo
• curprev 11:0111:01, 7 April 2021 D.Lazard talk contribs 16,223 bytes +4 →top: "often" is too strong, as AFIK, this is generally "general recursive function" that is commonly shortened as "recursive function" undo
• curprev 10:2510:25, 7 April 2021 AnomieBOT talk contribs m 16,219 bytes +16 Dating maintenance tags: {{Cn}} undo
• curprev 10:0410:04, 7 April 2021 Jochen Burghardt talk contribs 16,203 bytes +200 →Total recursive function: flesh out a little bit undo
• curprev 09:5709:57, 7 April 2021 Jochen Burghardt talk contribs 16,003 bytes +142 →Total recursive function: start section, to have a link target for the recurect total recursive function, see talk undo

18 February 2021

• curprev 03:0303:03, 18 February 2021 WikiCleanerBot talk contribs m 15,861 bytes 0 v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

14 February 2021

• curprev 13:3513:35, 14 February 2021 TricksterWolf talk contribs 15,861 bytes +206 In lede, clarified "recursive function" implies totality when not preceded by "general", "partial", or "mu-", and explicitly defined "partial recursive function". undo

18 December 2020

• curprev 13:5813:58, 18 December 2020 Monkbot talk contribs m 15,655 bytes +11 Task 18 (cosmetic): eval 7 templates: hyphenate params (11×); undo Tag: AWB

23 August 2020

• curprev 21:4721:47, 23 August 2020 PohranicniStraze talk contribs m 15,644 bytes +1 space undo

13 August 2020

• curprev 10:2010:20, 13 August 2020 FrescoBot talk contribs m 15,643 bytes −27 Bot: link specificity and minor changes undo

22 April 2020

• curprev 12:3812:38, 22 April 2020 John of Reading talk contribs m 15,670 bytes +1 →Definition: Typo fixing, replaced: Univerity → University undo Tag: AWB