Topic summary

Uncomputable number

Uncomputable number

Extracted from the Wikipedia article Computable number.

Non-computable numbers

Both of these examples in fact define an infinite set of definable, uncomputable numbers, one for each universal Turing machine. A real number is computable if and only if the set of natural numbers it represents (when written in binary and viewed as a characteristic function) is computable.