Se o teste pede para explicitarmos a regra de formação (computacional) da sequência, dados n termos iniciais (n finito ***e*** standard), então vale qualquer coisa, porque os n termos podem estar no segmento inicial de qualquer função recursiva total. A sequência inicial só determina univocamente se (a) codificar o programa para uma função recursiva total, e (b) dermos explicitamente uma regra de decodificação para tal programa.
Mas aí pode dar zorra. Porque se estivermos raciocinando explicita ou explicitamente no quadro de um sistema axiomático (p.e., a teoria dos conjuntos) pode ser que seja impossível provar ou desprovar que a sequência é total, devido à incompletude - se a teoria for uma teoria consistente. (Se a regra for não computacional, então sai de baixo - exemplos, o Busy Beaver, a função e(n) de Chaitin, a função contraexemplo para P=NP.) Ou seja, o teste de inteligência é burro.
_______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
