semicomputable
Look at other dictionaries:
John V. Tucker — John Vivian Tucker (born 1952) is a British computer scientist and expert on computability theory, also known as recursion theory. His work has focussed on generalizing the classical theory to deal with all forms of discrete/digital and… … Wikipedia
Computable number — In mathematics, particularly theoretical computer science and mathematical logic, the computable numbers, also known as the recursive numbers or the computable reals, are the real numbers that can be computed to within any desired precision by a… … Wikipedia
Computable function — Total recursive function redirects here. For other uses of the term recursive function , see Recursive function (disambiguation). Computable functions are the basic objects of study in computability theory. Computable functions are the formalized … Wikipedia
Jan Bergstra — Jan A Bergstra is a Dutch computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the… … Wikipedia
