Sudan Function

High Quality Content by WIKIPEDIA articles! In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive. This is also true of the better-known Ackermann function. The Sudan function was the first function having this property to be published. It was discovered in 1927 by Gabriel Sudan, a Romanian mathematician who was a student of David Hilbert. It was published in.The theory of computation or computer theory is the branch of computer science and mathematics that deals with whether and how efficiently problems can be solved on a model of computation, using an algorithm. The field is divided into two major branches: computability theory and complexity theory, but both branches deal with formal models of computation.... Mehr