Matemaatilisi lahendusi on aina raskem tõestada

Aina suuremat hulka viimasel ajal esitletud matemaatiliste probleemide lahendusi ei ole võimalik absoluutselt ümberlükkamatult tõestada ja kontrollida, vahendab New Scientist matemaatikute väidet. Osaliselt muudab tõestamise ja kontrollimise võimatuks tõik, et lahenduste leidmisel kasutatakse üha enam arvutikoode. Nii näiteks esitas Pittsburghi ülikooli teadur Thomas Hales 1998. aastal 1611. aastal kirja pandud Kepleri hüpoteesi lahenduse, mis võttis enese alla enam kui 300 lehekülge ning sisaldas 40.00 rida arvutikoode. 12 spetsialisti üritasid antud lahendust viie aasta vältel kontrollida, ent pidid siiski viimaks möönma, et on selle õigsuses veendunud vaid 99% ulatuses. Mõnes mõttes on mittemõõdetavus matemaatikale kui teadusharule siiski positiivne, sest "muudab selle senisest inimlikumaks", arvas tekkinud olukorda kommenteerinud Keith Devlin Stanfordi ülikoolist.