Týden na ScienceMag.cz: Nejdelší matematický důkaz, 200 TB dat (diskuse)

3.7.2016 02:36 Kurama | skóre: 3
Rozbalit Rozbalit vše Re: Týden na ScienceMag.cz: Nejdelší matematický důkaz, 200 TB dat

Odpovědět | Sbalit | Link | Blokovat | Admin

200 terabytový důkaz? To je nějakých 100 miliard normostran. Kdybych dokázal číst rychlostí stránka za vteřinu, tak to budu číst přes 3000 let.

Ten důkaz bude platnej asi jako bžiliontá číslice π =)

3.7.2016 20:26 Jendа | skóre: 78 | blog: Jenda | JO70FB
Rozbalit Rozbalit vše Re: Týden na ScienceMag.cz: Nejdelší matematický důkaz, 200 TB dat

Třeba k tomu dodávají automatický dokazovač, který to přechroupe rychleji.