Once computers get fast enough, can't we just have all problems

Chaitin constant

>>8428244
>>8428250
:D ?

>>8428262

I already solved the halting problem senpai. You can use this function free of charge, just make sure to credit me in your program's readme file:

if (won't halt)
{
print("no");
}
else
{
print("yes");
}

>>8428281
Of the original seven Millennium Prize Problems set by the Clay Mathematics Institute, six have yet to be solved, as of 2016:
P versus NP
Hodge conjecture
Riemann hypothesis
Yang–Mills existence and mass gap
Navier–Stokes existence and smoothness
Birch and Swinnerton-Dyer conjecture

>>8428286

>P versus NP
P is NP, solved.
>Hodge conjecture
Hodge is wrong, solved.
>Riemann hypothesis
Riemann's right, solved.
>Yang–Mills existence and mass gap
It exists, solved.
>Navier–Stokes existence and smoothness
Doesn't exist, solved.
>Birch and Swinnerton-Dyer conjecture
They're right, solved.

File: 4db.png (72KB, 680x514px) Image search: [Google]

72KB, 680x514px

>>8428305

>>8428244
Aren't computers already at this point?

>>8428244
Yep. Why continue to use a generalize machine when you can build a more efficient specialized one that's actually good at the task natively.

OP, you're right but no one wants to admit it. We're getting closer and closer to that point but it's not yet there.

Quantum computers at this point is just guess and check machines. Get ready for mathematics enthusiasts to start using the term "Monte Carlo Method"

File: 1477004241204.jpg (14KB, 369x226px) Image search: [Google]

14KB, 369x226px

>>8428559
monte carlo method isn't just guessing.

>>8428286
>Riemann hypothesis
Wasn't it proven that it was independent of ZFC?

>>8428559
>Quantum computers at this point is just guess and check machines. Get ready for mathematics enthusiasts to start using the term "Monte Carlo Method"
Given the vast number of subjects you appear to be clueless about, it might be best if you just stop posting.