Revision as of 06:44, 8 September 2020 edit Programinfo (talk \| contribs) 7 edits mNo edit summary ← Previous edit		Revision as of 06:44, 8 September 2020 edit undo 1997kB (talk \| contribs) Edit filter helpers, Extended confirmed users, Page movers, New page reviewers, Pending changes reviewers, Rollbackers 33,484 edits m Reverted edits by Programinfo (talk) to last revision by Trovatore: addition of unnecessary/inappropriate external links Tags: Rollback SWViewer [1.4] Next edit →
Line 109: * Who introduced the concept, and for which purpose (AFIK, this is [[Gödel]] for the purpose of [[decidable problem\|decidability theory]], which is now a part of [[computability theory]]). * Equivalence with [[lambda calculus]] and [[Turing machine]]s (AFIK, this is due to [[Kleene]]), relationship with [[Church–Turing thesis]]. * History of the terminology (AFIK, "μ-recursive function" is relatively recent, and Kleene used "general ~~[https://www.chlopadhe.com/recursion-in-c/~~ recursive function]"). I ignore whether Gödel used "general recursive function" or simply "recursive function"). See also next thread. Such an historical section seems the best way for explaining the choice of not imposing "total" for the minimization operator.

Talk:General recursive function: Difference between revisions