Douglas_Knight comments on Open thread, August 26 - September 1, 2013 - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (148)
The inverse of the Ackermann function grows very slowly but is not primitive recursive. That is, the function f where f(n) is the smallest m such that A(m) exceeds n. Of course, this is hardly a different method of proof.