User:IssaRice/Computability and logic/Computability of the uncountable

From Machinelearning

talk about:

  • computability of individual objects (e.g. a single real number or single rational number)
  • computability of sets of objects
  • computability of functions between sets