| http://www.w3.org/ns/prov#value | - Terminology coined by these texts, such as the words bijection, injection, and surjection, and the set-theoretic foundations the texts employed, were widely adopted throughout mathematics.The study of computability came to be known as recursion theory, because early formalizations by G??del and Kleene relied on recursive definitions of functions.
|
