Afaik, no one has identified the problem clearly before. (Maybe I just missed it?) That part seems brilliant.
-
-
Uh, sorry, primitive recursive, I mean. https://en.wikipedia.org/wiki/Primitive_recursive_function …
-
Besides mathematical curiosity, one reason I ask is while PR procs are guaranteed to halt, they can take *effectively* forever
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.