Skip to main content
MathOverflow

Return to Question

edited body
Source Link
Qfwfq
Qfwfq
  • 23.4k
  • 14
  • 122
  • 225

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.

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.

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.

Post Closed as "off topic" by Gerald Edgar, Harry Gindi, user6976, Zev Chonoles, Mariano Suárez-Álvarez
Source Link
Vijay Viswanathan
Vijay Viswanathan
  • 133
  • 1
  • 5

Are the Millennium Prize Problems all decidable?

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.