most recent 30 from http://mathoverflow.net 2013-05-23T02:05:41Z http://mathoverflow.net/feeds/user/14484 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/62144/are-the-millennium-prize-problems-all-decidable Vijay Viswanathan 2011-04-18T16:01:57Z 2011-04-18T19:28:27Z

<p>I am an inexperienced logician, so I may be completely missing something major in this question. I also may be misconstruing the idea of decidability. However, I was wondering if all 6 of the remaining Millennium Prize Problems are decidable in the sense of Gödel. If any of the associated theories were not decidable, wouldn't that have far-reaching applications in the world of mathematics? Thanks in advance, and I hope that my question makes sense.</p>