How is the set of all programs countable?
math.stackexchange.com