Course-of-values recursion: Revision history

1 April 2024

• curprev 16:0516:05, 1 April 2024 82.25.27.218 talk 7,102 bytes +26 →References undo

9 June 2023

• curprev 10:5010:50, 9 June 2023 AksharVarma talk contribs 7,076 bytes +85 #suggestededit-add 1.0 undo Tags: Mobile edit Mobile app edit Android app edit

6 August 2022

• curprev 22:4122:41, 6 August 2022 Mgkrupa talk contribs 6,991 bytes +25 Added {{Mathematical logic}} undo

13 September 2021

• curprev 23:5723:57, 13 September 2021 169.233.146.6 talk 6,966 bytes +1 Undid revision 1044177671 by 169.233.146.6 (talk) undo Tag: Undo
• curprev 23:5623:56, 13 September 2021 169.233.146.6 talk 6,965 bytes −1 No edit summary undo Tag: Reverted

16 October 2020

• curprev 03:2103:21, 16 October 2020 31.147.118.150 talk 6,966 bytes 0 Everything below follows the convention of starting from zero (which is usual in computability). So this should be consistent. undo

15 January 2019

• curprev 18:3018:30, 15 January 2019 Dough34 talk contribs m 6,966 bytes +2 →Limitations: add missing space undo

6 May 2018

• curprev 19:1419:14, 6 May 2018 Hayazin talk contribs m 6,964 bytes +50 →Definition and examples: Harmonized style undo

10 May 2017

• curprev 06:5806:58, 10 May 2017 2001:984:9396:1:f521:e689:e2c5:27de talk 6,914 bytes 0 fixed typo undo

18 June 2016

• curprev 09:5409:54, 18 June 2016 Dan Gluck talk contribs 6,914 bytes +754 Limitations undo

17 June 2016

• curprev 21:2321:23, 17 June 2016 Dan Gluck talk contribs 6,160 bytes +376 →Equivalence to primitive recursion: some elaboration undo
• curprev 21:1121:11, 17 June 2016 Dan Gluck talk contribs 5,784 bytes +209 abstract: what is primitive recursive; also, moved to convention where 0 in N (earlier convention was non uniform across article) undo

15 January 2013

• curprev 09:0609:06, 15 January 2013 130.230.181.211 talk 5,575 bytes 0 Earlier change that changed the sequence start from 0 instead of 1 didn't change the next element to 1 undo

30 January 2012

• curprev 12:5412:54, 30 January 2012 Marc van Leeuwen talk contribs 5,575 bytes +173 →Equivalence to primitive recursion: modifications to this section corresponding to previous edit undo
• curprev 12:2812:28, 30 January 2012 Marc van Leeuwen talk contribs 5,402 bytes +591 →Definition and examples: primitive recursion starts with a value for 0, not 1; also some complements undo
• curprev 12:0612:06, 30 January 2012 Marc van Leeuwen talk contribs 4,811 bytes +20 →Definition and examples: precision undo

26 May 2011

• curprev 13:2113:21, 26 May 2011 Ruud Koot talk contribs 4,791 bytes +23 Category:Recursion undo

15 May 2011

• curprev 13:4613:46, 15 May 2011 Lambiam talk contribs m 4,768 bytes +24 →Application to primitive recursive functions: wikilink undo

14 February 2011

• curprev 19:5919:59, 14 February 2011 Cydebot talk contribs m 4,744 bytes +4 Robot - Moving category Recursion theory to Computability theory per CFD at Wikipedia:Categories for discussion/Log/2011 February 5. undo

19 February 2010

• curprev 19:0219:02, 19 February 2010 64.131.105.185 talk 4,740 bytes 0 Article stated N is {1,2,...}, but defined 0! undo

9 April 2009

• curprev 04:3504:35, 9 April 2009 SmackBot talk contribs m 4,740 bytes +18 Date maintenance tags and general fixes undo

11 June 2008

• curprev 06:5006:50, 11 June 2008 98.214.63.236 talk 4,722 bytes +11 No edit summary undo

8 May 2008

• curprev 00:4200:42, 8 May 2008 Brentsmith101 talk contribs m 4,711 bytes +31 Changed link from Recursion to Recursion (computer science) undo

6 March 2008

• curprev 22:4422:44, 6 March 2008 Andreas Kaufmann talk contribs 4,680 bytes −23 del Category:Algorithms undo

8 January 2008

• curprev 16:4616:46, 8 January 2008 213.175.73.210 talk 4,703 bytes 0 →Definition and examples undo

13 November 2007

• curprev 19:0519:05, 13 November 2007 Iridescent talk contribs m 4,703 bytes −2 Typo fixing & cleanup , typos fixed: auxilliary → auxiliary (2) using AWB undo

23 February 2007

• curprev 13:5113:51, 23 February 2007 CBM talk contribs m 4,705 bytes −35 →Application to primitive recursive functions: copyedit undo
• curprev 13:4913:49, 23 February 2007 CBM talk contribs m 4,740 bytes +24 →Equivalence to primitive recursion: copyedit undo
• curprev 13:4413:44, 23 February 2007 CBM talk contribs 4,716 bytes +182 →Equivalence to primitive recursion: add recurson equations for f-bar undo
• curprev 13:3713:37, 23 February 2007 CBM talk contribs 4,534 bytes +323 →Application to primitive recursive functions: comment undo
• curprev 13:3313:33, 23 February 2007 CBM talk contribs 4,211 bytes −5 →Definition and examples: copyedit undo
• curprev 00:0000:00, 23 February 2007 CBM talk contribs m 4,216 bytes 0 moved Course-of-value recursion to Course-of-values recursion: The adjective in this phrase is ordinarily plural; thre is no course if there is only one value undo

22 February 2007

• curprev 23:5723:57, 22 February 2007 CBM talk contribs 4,216 bytes +3,334 expand into a real article undo

6 January 2007

• curprev 13:3913:39, 6 January 2007 SmackBot talk contribs m 882 bytes −2 Date/fix the maintenance tags using AWB undo

28 October 2006

• curprev 13:3913:39, 28 October 2006 MarshBot talk contribs m 884 bytes +8 converting {{linkless}} to {{linkless-date}} template undo

26 October 2006

• curprev 16:3016:30, 26 October 2006 Rajah talk contribs 876 bytes +14 {{linkless}} undo

29 August 2006

• curprev 23:2823:28, 29 August 2006 Michael Hardy talk contribs 862 bytes +38 intro undo

15 July 2006

• curprev 02:0402:04, 15 July 2006 WinBot talk contribs m 824 bytes +213 BOT - Template substitution undo

6 June 2006

• curprev 14:0214:02, 6 June 2006 JonHarder talk contribs 611 bytes +99 Clean up. undo

19 March 2006

• curprev 15:3915:39, 19 March 2006 JoeBot talk contribs m 512 bytes −1 typo fix: "preceeding" to "preceding" using AWB undo

7 February 2006

• curprev 13:1513:15, 7 February 2006 Macha talk contribs m 513 bytes +9 No edit summary undo
• curprev 10:3710:37, 7 February 2006 Macha talk contribs 504 bytes +504 No edit summary