http://www.metafilter.com/tags/chaitin Posts tagged with 'chaitin' at MetaFilter. Thu, 13 Apr 2006 03:32:13 -0800 Thu, 13 Apr 2006 03:32:13 -0800 en-us http://blogs.law.harvard.edu/tech/rss 60 http://www.metafilter.com/50874/Meta%2DMath <a href="http://www.cs.auckland.ac.nz/CDMTCS/chaitin/">Gregory Chaitin's</a> <a href="http://xxx.lanl.gov/abs/math.HO/0404335">Meta Math! The Quest For Omega</a> <br />"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 <a href="http://www.cs.auckland.ac.nz/CDMTCS/chaitin/summer.html">Paradoxes of Randomness</a>.<br /> "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&#0246;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 <a href="http://plus.maths.org/issue37/features/omega">Omega and why maths has no Theory Of Everythings</a>.<br /> [<a href="http://www.metafilter.com/comments.mefi/6396">previously</a>, <a href="http://www.metafilter.com/mefi/43130">see</a> <a href="http://www.metafilter.com/mefi/43828">also</a>, <a href="http://reddit.com/info/4aoh/comments">via</a>] tag:metafilter.com,2006:site.50874 Thu, 13 Apr 2006 03:32:13 -0800 batshitinsane chaitin math maths meta meta-mathematics omega random MetaMonkey