[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

View post   
File: 129 KB, 314x278, questionmarkanimegirl.png [View same] [iqdb] [saucenao] [google]
8428244 No.8428244 [Reply] [Original]

Once computers get fast enough, can't we just have all problems solved through guess and check instead of needing math anymore? Will math eventually become a historical relic like the I Ching or bodybuilding?

>> No.8428250
File: 38 KB, 362x346, 1476719130299.jpg [View same] [iqdb] [saucenao] [google]
8428250

>> No.8428262

Chaitin constant

>> No.8428280

>>8428244
>>8428250
:D ?

>> No.8428281

>>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");
}

>> No.8428286

>>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

>> No.8428305

>>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.

>> No.8428348
File: 72 KB, 680x514, 4db.png [View same] [iqdb] [saucenao] [google]
8428348

>>8428305

>> No.8428385

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

>> No.8428387

>>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.

>> No.8428559

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"

>> No.8428660
File: 14 KB, 369x226, 1477004241204.jpg [View same] [iqdb] [saucenao] [google]
8428660

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

>> No.8428676

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

>> No.8428697

>>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.