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)

Tags:

navegação

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

Seguir

foto do autor

Pesquisar

Pesquisar no Blog

Arquivo

subscrever feeds

Sitemeter