A história foi a seguinte: recebi de Alain Lewis o manuscrito do artigo sobre teoria dos jogos e graus de indecidibilidade, e não percebi que podíamos estender aquele resultado como o Tsuji fez. O mérito do resultado é portanto do Tsuji.
Como assinalou o Walter, trata-se de uma codificação do Halting Problem dentro de diversas áreas da matemática, mas essa codificação é complicada, e nos deu muito trabalho, a Newton e a mim. Depois fizemos a extensão do resultado para graus de insolubilidade arbitrários, o que nos permitiu formular um teorema tipo Rice para linguagens formais variadas, e com dificuldades arbitrárias. Na minha opinião, é um resultado simples mas muito interessante porque, digamos, mexe com uma espécie de nervo ideológico exposto. Talvez seja isto o que se está vendo na discussão agora sendo feita no Nassif. -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
