primitive recursive
91Sudan function — 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… …
92Metatheorem — In logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory …
93Gabriel Sudan — (born c. 1899) was a Romanian mathematician, known for the Sudan function (1927), an important example in the theory of computation, similar to the Ackermann function (1928).Gabriel Sudan received his Ph.D. from the University of Göttingen in… …
94Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… …
95Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …
96Logic — For other uses, see Logic (disambiguation). Philosophy …
97Список терминов, относящихся к алгоритмам и структурам данных —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не устанавливается на информационные списки и глоссарии …
98Список терминов — Список терминов, относящихся к алгоритмам и структурам данных   Это сл …
99Aristotle — For other uses, see Aristotle (disambiguation). Ἀριστοτέλης, Aristotélēs Marble bust of Aristotle. Roman copy after a Gree …
100Ludwig Wittgenstein — Wittgenstein redirects here. For other uses, see Wittgenstein (disambiguation). Ludwig Wittgenstein Photographed by Ben Richards Swansea, Wales, 1947 Born 26 April 1889 …
