Function is considered as different things for CS professionals and mathematicians. (piece of code and reflection)

Halting problem is one not CT computable.