Palestra 4a feira 3/7, Coppe, sala F110, 9 hs da manhã, a convite de Laura Bahiense.
O problema P vs NP e a lógica matemática. Formulação intuitiva do problema. Formalizações para o problema; dificuldades. Impossibilidade de se caracterizar alguns conjuntos infinitos de máquinas polinomiais no tempo em teorias axiomáticas usuais. A função contraexemplo para a hipótese P=NP e o Busy Beaver. Hipóteses e perspectivas. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
