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.



Are the Millennium Prize Problems all decidable?
There are very few results which allow us to know that a mathematical claim will be provable or disprovable within ZFC without actually proving or disproving it. To the best of my knowledge, the only exceptions are theories which have [quantifier elimination](http://en.wikipedia.org/wiki/Quantifier_elimination). Few1 open mathematical problems which people are interested in are of this sort, and none of the Millenium problems are. So any of the Millenium problems could be independent of ZFC (except for the Poincare conjecture, because it has been proved!)


You might be particularly interested in [Scott Aaronson's survey](http://www.scottaaronson.com/papers/pnp.pdf) on whether or not it is likely that $P \neq NP$ is independent of ZFC.


1 Here is an example of a question which I know is decidable in ZFC, yet whether the answer is "yes" or "no" is open.



> 
> Do there exist $44$ vectors $(u\_i,
> > v\_i, w\_i, x\_i, y\_i)$ in
>  $\mathbb{R}^5$, each with length $1$,
>  and with the dot product between each
>  pair $\leq 1/2$? See [Wikipedia](http://en.wikipedia.org/wiki/Kissing_number) for background.
> 
> 
> 


This is the a first order question about real numbers, so it is decidable by [Tarski's theorem](http://en.wikipedia.org/wiki/Real_closed_field). The analogous result for four dimensional vectors was only obtained in [2003](http://mr.crossref.org/iPage/?doi=10.1070%252FRM2003v058n04ABEH000651); if you can get the answer for $5$ dimensions, it should be publishable in a good journal. I think this about as interesting a question as one can find which is definitely settleable in ZFC, yet still open. Most questions mathematicians care about are not of this form (and, in my opinion, are much more interesting).


