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.