Me pergunto se ele não está trabalhando num fragmento muito especial, e doido, de PRA (ou mesmo de PA). A chave pode ser a extensão dessas funções polinomiais.
Bom, tem galho aí: tem classes de funções polinomiais no modelo standard que PA não prova nem desprova o serem polinomiais. 2011/9/28 Rodrigo Freire <[email protected]> > -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 > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
