Sure reals are uncountably infinite, but they're (mostly) not specifiable. Even with Turing machines I'm are afraid you're limited to countable numbers, and on

Sure reals are uncountably infinite, but they're (mostly) not specifiable. Even with Turing machines I'm are afraid you're limited to countable numbers, and on these measly finite state machines they call computers these days you're even worse off.