Assertion: ackermann function | /r/HasProperty | ackermann
Facets:
Source sentences:
text: In On the Infinite, David Hilbert hypothesized that the Ackermann function was not primitive recursive, but it was Ackermann, Hilbert's personal secretary and former student, who actually proved the hypothesis in his paper