Gregory Chaitin'sMeta Math! The Quest For Omega "Okay, what I was able to find, or construct, is a funny area of pure mathematics where things are true for no reason, they're true by accident... It's a place where God plays dice with mathematical truth. It consists of mathematical facts which are so delicately balanced between being true or false that we're never going to know, and so you might as well toss a coin." From Paradoxes of Randomness.
"In my opinion, Omega suggests that even though maths and physics are different, perhaps they are not as different as most people think. To put it bluntly, if the incompleteness phenomenon discovered by Gödel in 1931 is really serious — and I believe that Turing's work and my own work suggest that incompleteness is much more serious than people think — then perhaps mathematics should be pursued somewhat more in the spirit of experimental science rather than always demanding proofs for everything." From Omega and why maths has no Theory Of Everythings.
[previously, seealso, via]
posted by MetaMonkey
on Apr 13, 2006 -