5 ms·
What does it take to think of a number? We can certainly refer to particular uncomputable numbers - choose an enumeration of Turing machines, and let x be the r
by karatinversion 4y ago
What does it take to think of a number? We can certainly refer to particular uncomputable numbers - choose an enumeration of Turing machines, and let x be the real number whose binary expansion has 1 at the i-th place if the i-th Turing machine halts, and 0 otherwise.