De qualquer modo, parece que o terceiro resultado acima implica que P=NP
não é Pi_1.
O Lipton coloca como open problem na última linha do artigo dele: "Is P=NP
Pi_1?"
Por isso estou meio confuso.
Abraço
Rodrigo
___
Logica-l mailing list
Logica-l@dima
O terceiro resultado me foi passado por um grande nome. Gozado, recebo muita
msg desse tipo, soube que vc está interessado em assunto tal. Sabia do
seguinte?
Deixa eu esclarecer a coisa do Lipton. Se alguma teoria, p.e. ZFC + grandes
cardinais seletos, prova P
> De qualquer modo, parece que o te
Agora acho que entendi. O resultado só diz que se P≠NP é independente de ZFC
então P=NP não é Pi_1.
Sim, se você coneguir uma função de Skolem demonstravelmente recursiva você
reduz para Pi_1. Hipoteses de grandes cardinais podem de fato garantir mais
funções de Skolem.
Abraço
Rodrigo
___
Só que o Newton e eu achamos que nem com grandes cardinais. O que pensamos é
que a função de Skolem é o passo decisivo. Alguem descobriu, não sei quem,
seu crescimento rápido. Isso nos foi comunicado em 94, coisa assim. Levamos
uns três anos para descobrir a prova, que exige um truque.
Deixa eu se
Jogadores decifram mistério que desafiava ciência havia 10 anos
20 de setembro de 2011 • 10h07
Um grupo de jogadores de games para computador, através do jogo Foldit,
conseguiu decifrar a estrutura de uma proteína presente nos retrovírus em
apenas três semanas. A ciência busca a solução para
Há vários artigos neste pacote da Plus Magazine que podem interessar
aos membros desta lista:
http://plus.maths.org/content/teacher-package-game-theory
JM
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo
Eu vi no terra João... esqueci da fonte.
http://noticias.terra.com.br/ciencia/noticias/0,,OI5359811-EI8147,00-Jogadores+decifram+misterio+que+desafiava+ciencia+havia+anos.html
Abraço
Rodrigo
> Date: Tue, 20 Sep 2011 23:36:17 -0300
> Subject: Re: [Logica-l] Jogadores decifram mistério que desafia
2011/9/20 Rodrigo Oliveira :
>
> Jogadores decifram mistério que desafiava ciência havia 10 anos
Muito bacana a notícia, Rodrigo.
Acrescento, pro pessoal da lista que possa estar interessado em saber
mais, alguns links:
Descrição do Foldit:
http://en.wikipedia.org/wiki/Foldit
A ciência por trás
