This is an old revision of the document!
Sets, binary sequences and real numbers
Explain that in computability theory, the tradition is to work up to coding, and therefore to identify sets of integers, infinite binary strings, real numbers. Explain that there is a topological difference, but that from a computational viewpoint, it does not matter.