Edição Editar a página e depois clicar em Guardar. Ajuda, RECREIO Selecção de ficheiros FIXME **Esta página não está completamente traduzida ainda. Por favor ajude a completar sua tradução.**\\ //(remova este parágrafo assim que a tradução tenha terminado)// == Freefall 2820 == **As panquecas são sempre uma boa ideia**\\ [!0.987]2016-06-06 {cnav} {{cotan>2820.png}} @9,19,291,101 # ~ @109,57,205,20 # ~ @69,10,20,20 # ~ @5,18,288,128 [sam]O que pensa de tudo isto com os robôs? Os humanos são os que têm mais a perder. Estes tipos vão fazer coisas que não só você não compreende, como também não consegue compreender. ~ @8,346,269,121 # ~ @130,374,212,21 # ~ @4,348,264,150 [mad]Fazem-no desde 2014. Os computadores têm criado provas matemáticas demasiado grandes para serem verificadas pelos humanos. A dada altura, é preciso confiar nas máquinas ou ser retido. ~ @6,648,321,119 # ~ @126,671,275,20 # ~ @2,651,313,144 [sam]No início foi uma ideia das famílias. Depois mostraram-me que existe um limite difícil para o quão longe se pode chegar se não se pode confiar em coisas que não se compreende. Gosto destes estranhos, vindos de fora da lama, mas de vez em quando dão-me dores de cabeça. ~ {{<cotan}} \\ Cor por George Peterson\\ \\ Examples:\\ February 2014: for the Erdös mismatch problem [[http://www.computerra.ru/95029/the-evidence-which-validity-a-human-can-not-check/|generated file size 13 GB]].\\ May 2016: [[https://geektimes.ru/post/276468/|200 TB solution]] of the Boolean Pythagorean triples problem.\\ P.S.: Leo Tolstoy's novel [[enw>War and Peace]] of about 1900 pages is only about 3MB. Continue após a edição de verão Nome deste site, inglês, apenas em minúsculas Por favor mantenha este campo vazioGuardar Pré-visualizar Cancelar Sumário da Edição Nota: Ao editar esta página você aceita disponibilizar o seu conteúdo sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International