Ackermann function
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 "On Hilbert's Construction of the Real Numbers".