Saltar para: Post [1], Comentários [2], Pesquisa e Arquivos [3]



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


1 comentário

Sem imagem de perfil

De glauber brocha a 25.02.2014 às 00:06

esse é o único blog que eu cúmento antes de explorar

o conteúdo exige barriga cheia
dai que prefiro ejacular

e após cigarrinho pensativo
prossigo a me educar.

best fucking sci digest ever

Comentar post




Pesquisar

Pesquisar no Blog




Sitemeter