Computable real function

A computable real function is a mathematical function that maps real numbers to real numbers and can be effectively computed by a Turing machine or equivalent computational model (like a computer).