“He showed that was computable, but since only countably many real numbers are computable, most real numbers are not computable.”

“We build an uncountably categorical but not countably categorical theory whose only computably presentable model is the saturated one.”

“There are uncountably many subsets of N, but since there are only countably many Turing machines, there can be only countably many decidable sets.”