ABSTRACT
For convenience, we need to decide on one type of mathematical object — functions, relations or sets — to discuss the computability of. We choose computable functions to describe first, and then get notions of computability for sets and relations as an immediate consequence.
