Saltar para: Posts [1], Pesquisa e Arquivos [2]



"Wikipedia-size maths proof too big for humans to check"

20.02.14

 

 

If no human can check a proof of a theorem, does it really count as mathematics? That's the intriguing question raised by the latest computer-assisted proof. It is as large as the entire content of Wikipedia, making it unlikely that will ever be checked by a human being.

"It might be that somehow we have hit statements which are essentially non-human mathematics,"

 

Autoria e outros dados (tags, etc)



Pesquisar

Pesquisar no Blog


subscrever feeds



Sitemeter