[darkmighty]

I love this kind of argument. It is of course very simple that every real number is uncomputable -- real numbers have greater cardinality than the integers. So if you had a program (which can be described by a finite sequence of integers) capable of producing each real, you would have a finite integer sequence for each real, contradiction.

Note though that quantum mechanics adjusts this notion of real numbers in classical mechanics. A full quantum description of our world in theory requires only finitely many bits, because the quantum state is finite. But then measurements in quantum mechanics are non-deterministic, so impossibility of perfect prediction is still true :P