Timeline for Between mu- and primitive recursion
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 30, 2015 at 16:19 | comment | added | ARi | Suppose you do add a function f to PR. If f is already in PR then the resulting class is same, if f is not then while you do gets different class but only by the virtue of the \mu\ operator present in f.Can one define a non PR function without mu recursion. | |
| Nov 18, 2010 at 10:37 | comment | added | user10891 | Ok, it surely seems I got the mathematical background well explained in these answers. Thanks to everybody for that. I'm not sure about the usual policy about the points and stuff, but as the fast growing hierarchy pointer happens to be pretty much what I was looking for I'll mark it as an answer. | |
| Nov 17, 2010 at 15:06 | history | edited | Carl Mummert | CC BY-SA 2.5 |
addendum
|
| Nov 17, 2010 at 14:51 | comment | added | Carl Mummert | Yes, and Max also had the same insight, just in a more preliminary form. | |
| Nov 17, 2010 at 14:48 | comment | added | Joel David Hamkins | Carl, it seems we came to the same conclusion. | |
| Nov 17, 2010 at 14:45 | history | answered | Carl Mummert | CC BY-SA 2.5 |