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 22:5422:54, 2 September 2004 Timwi talk contribs m 8,052 bytes +20 →Relation to the recursive functions: rephrase undo
curprev 22:3122:31, 2 September 2004 68.82.29.89 talk 8,032 bytes 0 →Example primitive recursive function definitions undo

curprev 20:4820:48, 21 July 2004 Timwi talk contribs m 8,032 bytes −173 make source more readable, and fix some surprise links undo

curprev 08:1908:19, 20 July 2004 Bethenco talk contribs m 8,205 bytes 0 →Limitations of the primitive recursive functions undo

curprev 12:4212:42, 30 May 2004 219.121.52.210 talk 8,205 bytes +113 →Example primitive recursive function definitions undo
curprev 12:2512:25, 30 May 2004 219.121.52.210 talk 8,092 bytes 0 →Example primitive recursive function definitions undo
curprev 12:2312:23, 30 May 2004 219.121.52.210 talk 8,092 bytes −77 →Example primitive recursive function definitions undo

curprev 11:3011:30, 20 May 2004 Kelson talk contribs m 8,169 bytes +38 fr: undo

curprev 23:3323:33, 21 February 2004 82.83.0.53 talk 8,131 bytes +44 de undo

curprev 23:3323:33, 5 February 2004 Modster talk contribs m 8,087 bytes +2 No edit summary undo

curprev 20:5020:50, 25 January 2004 Timwi talk contribs m 8,085 bytes −1 No edit summary undo

curprev 09:3409:34, 27 December 2003 T2l3r talk contribs m 8,086 bytes +3 Corrected a misspelled "recursive" undo

curprev 18:2818:28, 19 December 2003 Populus talk contribs m 8,083 bytes −22 no links in headers undo
curprev 18:2518:25, 19 December 2003 Populus talk contribs m 8,105 bytes +2 replace double quotes with italics undo
curprev 18:2418:24, 19 December 2003 Populus talk contribs 8,103 bytes −47 rm link to nowhere undo

curprev 10:4010:40, 3 December 2003 212.95.104.72 talk 8,150 bytes +3 n+1 must be rewritten in sub to S(n) to be formal correct undo

curprev 21:4321:43, 1 October 2003 Zoicon5 talk contribs m 8,147 bytes +19 No edit summary undo
curprev 02:0702:07, 1 October 2003 Michael Hardy talk contribs 8,128 bytes +29 No edit summary undo
curprev 02:0702:07, 1 October 2003 Michael Hardy talk contribs 8,099 bytes +7 No edit summary undo
curprev 02:0602:06, 1 October 2003 Michael Hardy talk contribs 8,092 bytes +29 No edit summary undo

curprev 14:0714:07, 15 September 2003 193.67.187.139 talk 8,063 bytes +17 fixed link to primality testing undo

curprev 21:1121:11, 30 August 2003 The Anome talk contribs 8,046 bytes −1 Cantor's diagonalization argument undo

curprev 20:5220:52, 11 August 2003 130.132.145.29 talk 8,047 bytes +4 No edit summary undo

curprev 09:3209:32, 21 July 2003 Zundark talk contribs m 8,043 bytes +1 Therfore -> Therefore undo

curprev 06:2606:26, 31 March 2003 212.201.46.9 talk 8,042 bytes +2 No edit summary undo

curprev 23:1823:18, 25 July 2002 Tobias Hoevekamp talk contribs m 8,040 bytes −54 -/talk undo

curprev 05:3305:33, 1 March 2002 210.55.230.17 talk 8,094 bytes 0 No edit summary undo
curprev 05:2905:29, 1 March 2002 210.55.230.17 talk 8,094 bytes +9 'composition' linked to 'operator', where it is explained. undo
curprev 05:1105:11, 1 March 2002 210.55.230.17 talk 8,085 bytes 0 No edit summary undo
curprev 05:0105:01, 1 March 2002 210.55.230.17 talk 8,085 bytes 0 No edit summary undo

curprev 16:0616:06, 28 February 2002 199.17.234.96 talk 8,085 bytes +99 clarifying that total computable functions cannot be recursively enumerated. undo
curprev 13:5613:56, 28 February 2002 Darius Bacon talk contribs m 7,986 bytes +22 No edit summary undo
curprev 13:4213:42, 28 February 2002 Darius Bacon talk contribs 7,964 bytes +99 this said the computable functions aren't recursively enumerable; they are too! undo

curprev 15:5115:51, 25 February 2002 Conversion script talk contribs m 7,865 bytes +9 Automated conversion undo

curprev 01:3101:31, 2 January 2002 Wmorgan talk contribs 7,856 bytes +181 miscellanous small changes undo
curprev 01:1901:19, 2 January 2002 24.60.144.xxx talk m 7,675 bytes −3 No edit summary undo

curprev 15:2815:28, 17 December 2001 Wmorgan talk contribs m 7,678 bytes +63 more small changes in the interest of clarity undo

curprev 22:5822:58, 14 December 2001 AxelBoldt talk contribs 7,615 bytes +415 minor copyedit, link to Ackermann function undo
curprev 17:4017:40, 14 December 2001 Wmorgan talk contribs 7,200 bytes +3,716 added example definitions and proof that p.r. functions are a subset of recursive ones; other minor changes. undo

Primitive recursive function: Revision history

2 September 2004

21 July 2004

20 July 2004

30 May 2004

20 May 2004

21 February 2004

5 February 2004

25 January 2004

27 December 2003

19 December 2003

3 December 2003

1 October 2003

15 September 2003

30 August 2003

11 August 2003

21 July 2003

31 March 2003

25 July 2002

1 March 2002

28 February 2002

25 February 2002

2 January 2002

17 December 2001

14 December 2001

7 December 2001