E tem outra complicação: precisamos de uma enumeração das máquinas polinomiais. Tem jeito de fazê-la recursivamente. Só que a enumeração em ZFC não bate (nos subconjuntos) com a no modelo standard para a aritmética...
2011/1/8 Francisco Antonio Doria <[email protected]> > Tem uma rule of thumb: > > ao fazer qualquer demonstração, desça o detalhe a dois níveis abaixo do > óbvio. Mais fácil detectar erros assim. > > 2011/1/8 Joao Marcos <[email protected]> > > Proofs By Contradiction (in particular of P \neq NP) >> And Other Dangers >> >> http://rjlipton.wordpress.com/2011/01/08/proofs-by-contradiction-and-other-dangers/ >> >> O "open problem" ali mencionado me parece especialmente interessante: >> Como saber, em geral, se a *contradição* vem da hipótese que você >> *quer contradizer*, e não de outro ponto qualquer do raciocínio? >> >> JM >> _______________________________________________ >> Logica-l mailing list >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > fad > > ahhata alati, awienta Wilushati > > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
