[ 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: 52 KB, 313x287, ORLY.jpg [View same] [iqdb] [saucenao] [google]
1346927 No.1346927 [Reply] [Original]

Goldbach's Conjecture can be proven by checking a finite number of cases.

http://en.wikipedia.org/wiki/Busy_beaver#Applications

>> No.1346958

That actually blew my mind, thanks.

S(6)>10^21132 lol

>> No.1346979

I wish I knew what the fuck that page was talking about.

>> No.1347035

holy fucking shit.

>> No.1347057

lies

>> No.1347066

Wait, I thought it was impossible to determine whether a Turing machine will halt?

>> No.1347101

>>1346927
Wait, so did Goldbach's Conjecture get proven?

>> No.1347108

>>1347101

No, read the link.