-Nelson afirma que há funções primitivas recursivas que não são totais.
-PRA e, com mais razão, PA prova que todas funções primitivas recursivas são totais. -Exponenciação não é total segundo Nelson. -O algoritmo para calcular 2^n não para em algum argumento n. -Pergunta: para onde vai o algoritmo recursivo primitivo que calcula 2^n em termos das potências anteriores? Como esse algoritmo pode não parar? Abraço Rodrigo _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
