10/14/2022, 05:39 PM
Yeah, I now think a (naive) successor function doesn't exists. I thought that the Ackermann function might be accessible from a doubly recursive function, but it seems a diagonalization argument could be used to disprove this.
Daniel

