Template:Are You Sure/June 22

From Gnomon Chronicles

... that mathematician Gabriel Sudan discovered the Sudan function, an important example in the theory of computation, similar to the Ackermann function?