Recursive function theory: Revision history

3 June 2019

• curprev 23:1923:19, 3 June 2019‎ HowardBGolden talk contribs‎ 13,037 bytes +47‎ →‎Bibliography: Add link to online book on author's website

2 June 2019

• curprev 20:3020:30, 2 June 2019‎ Waynee95 talk contribs‎ 12,990 bytes +168‎ link to web.archive.org version as the website is no longer available

29 January 2012

• curprev 13:1313:13, 29 January 2012‎ Simon04 talk contribs‎ 12,822 bytes +74‎ →‎Implementations: link to archive.org-archived version as the website is no longer available

22 October 2006

• curprev 09:3009:30, 22 October 2006‎ EndreyMark talk contribs‎ 12,748 bytes +233‎ →‎Recursive functions: ``Homogenous'' version of generalized composition

17 August 2006

• curprev 14:5614:56, 17 August 2006‎ EndreyMark talk contribs‎ m 12,515 bytes +216‎ Mentioning Kleene's s^m_n theorem in the context of currying

6 May 2006

• curprev 21:0621:06, 6 May 2006‎ EndreyMark talk contribs‎ m 12,299 bytes +168‎ typographic corrections, formatting, some more words at not-clear sentences
• curprev 17:1417:14, 6 May 2006‎ EndreyMark talk contribs‎ m 12,131 bytes +59‎ Making reference to fixed point theorem a link (to the appropriate section of David Madore's Selfrep/Quine page)
• curprev 17:0217:02, 6 May 2006‎ EndreyMark talk contribs‎ 12,072 bytes +1,195‎ New section →‎Notations: , with also some remarks on type safety relating to partial functions
• curprev 16:3416:34, 6 May 2006‎ EndreyMark talk contribs‎ 10,877 bytes +268‎ Lack of variables gives a feeling resembling to pointfree style
• curprev 15:3215:32, 6 May 2006‎ EndreyMark talk contribs‎ 10,609 bytes +1,078‎ Rewriting a section and renaming it to →‎Motivations: . It discusses the (mainly only indirect) relatedness of this page to Haskell.

30 April 2006

• curprev 13:2013:20, 30 April 2006‎ EndreyMark talk contribs‎ 9,531 bytes +860‎ Adding link to Dr Matt Fairtlough's lecture notes, as they contain theoretical texts, implementations written in Haskell, and further useful links. Using also his term ,,initial functions''
• curprev 09:3709:37, 30 April 2006‎ EndreyMark talk contribs‎ m 8,671 bytes +56‎ Typographic corrections and clearer choice of words
• curprev 09:3009:30, 30 April 2006‎ EndreyMark talk contribs‎ 8,615 bytes +1,297‎ →‎Constant: : Arguing for another choice of base functions
• curprev 01:3501:35, 30 April 2006‎ EndreyMark talk contribs‎ m 7,318 bytes +8‎ typographic correction
• curprev 01:3101:31, 30 April 2006‎ EndreyMark talk contribs‎ 7,310 bytes +171‎ →‎Partial recursive functions: : Operations on partial functions are total
• curprev 00:1600:16, 30 April 2006‎ EndreyMark talk contribs‎ m 7,139 bytes −27‎ Partial revert: Removing a superfluous, ,,hypercorrect'' (in fact, incorrect) ,,correction''
• curprev 00:1100:11, 30 April 2006‎ EndreyMark talk contribs‎ m 7,166 bytes +228‎ →‎Partial recursive functions: : mistype corrections in the formulas, better wording, more precise question

24 April 2006

• curprev 03:0903:09, 24 April 2006‎ EndreyMark talk contribs‎ 6,938 bytes 0‎ Small typographic correction
• curprev 03:0603:06, 24 April 2006‎ EndreyMark talk contribs‎ 6,938 bytes +619‎ Formulating and explaining the definition of ,,special'' property'

23 April 2006

• curprev 19:4619:46, 23 April 2006‎ EndreyMark talk contribs‎ 6,319 bytes +494‎ Connection between two separate things: (1) defining zero(x)=0 in terms of the ,,pure'' 0 approach (2) allowing 0-arity cases in composition
• curprev 19:1619:16, 23 April 2006‎ EndreyMark talk contribs‎ 5,825 bytes −87‎ Reverting ,,zero-arity case excluded'' -- zero arity cases can be fruitful
• curprev 18:2818:28, 23 April 2006‎ EndreyMark talk contribs‎ 5,912 bytes +87‎ A zero arity case excluded -- arity of the result is undefinable
• curprev 17:4017:40, 23 April 2006‎ EndreyMark talk contribs‎ m 5,825 bytes +25‎ Typos and typesettings (italics)
• curprev 17:1717:17, 23 April 2006‎ EndreyMark talk contribs‎ m 5,800 bytes −29‎ Headline hierarchy is simpified -- a ,,singleton'' level eliminated
• curprev 17:1117:11, 23 April 2006‎ EndreyMark talk contribs‎ 5,829 bytes +71‎ Categorizing under Category:Theoretical foundations. And some minor rephrasings.
• curprev 17:0517:05, 23 April 2006‎ EndreyMark talk contribs‎ 5,758 bytes +5,758‎ New notations introduced, and simplifications made (zero-arity generalizations are presupposed). Plans for incarnating recursion theory concepts as a programming laguage. Ref: Monk: Mathematical Logic