Acho desperdício publicar sozinho um trabalho que pode servir para um doutoramento interessante, ou seja, que pode ajudar no treino de alguem interessado em física matemática e nos fundamentos das ciências. Assim, se alguem se interessar ***mesmo*** pelo projeto que esboço em seguida, ***responsabilizo-me formalmente pela orientação da tese***, o que é precondição, em certos casos, para admissão em cursos de doutorado. Obviamente o candidato deverá passar pela seleção; o projeto que apresentar, no entanto, terá minha assinatura como coautor, porque afinal é de meu interesse.
Repetindo: trata-se de dar outra demonstração para o teorema de Wayne Myrvold sobre a indecidibilidade dos emaranhamentos quânticos. A tese conteria: - exposição do resultado de Myrvold, detalhando-se suas condições. - uso do teorema de Rice para a análise clássica, e prova da indecidibilidade (e, subsidiariamente, numa axiomatização adequada dadas certas condições) prova da incompletude da teoria do emaranhamento [entanglement]. Em particular, no caso, pode-se exibir explicitamente um sistema S tal que a sentença formal que significa ``S é um sistema emaranhado de dois fótons'' é indecidível, por exemplo. A etapa crucial é uma nova prova do teorema de Rice para a análise, estendido a graus hiperaritméticos (aqui uma das novidades). Tambem acho importante contrastar as condições do teorema de Myrvold com as de nossos resultados. OK? Interessa a alguem?
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
